FISICC-GALILEO INFORMÁTICA I

3 de Marzo, 2019 Hoja de Trabajo 4

Pruebe formalmente la validez de los siguientes argumentos.

Serie I

I. 1. q  p
2. p  (q  p )
3. q
 4. q p

II. 1. pq
2. p
3. pr
 4. qr

III. 1. p  q
2. qr
 3. r

IV. 1. pq
 2. (q )

V. 1. p  q
2. q
 3. p

VI. 1. p  q
2. q
 3. p

VII. 1. r  t
2. sr
 3. s

VIII. 1. p  q
2. p  r
3. r
 4. q
Serie II

I. 1. q  p  3. r  p
4. p  (q  p )
5. q
 4. q p IX. 1. pq
 2. (q )
III. 1. pq
2. p
3. pr X. 1. p  q
 4. qr 3. q
 3. p
III. 1. pq
2. r p
XI. 1. p  q
 3. qs
3. q
 3. p
IV. 1. pr
2. q  p XII. 1. r  t
3. r 3. sr
 4. q  3. s

V. 1. q  p
2. r  s XIII. 1. pq
3. q  r 2. t
 4. ps 3. qt
 4. p
VI. 1. pq
2. q  r
XIV. 1. p  q
 3. r  p
4. p  r
5. r
VII. 1. p  q  4. q
3. qr
 3. r XV. 1. p
2. p  q
3. rq
VIII. 1. p  q
 4. r p
2. qr