1) [[( p ⊃  q ) .

( p ⊃  q)] ⊃  p]
#11 negación de q

#10 Negación de p

#9 Implicacion de 9 y 10

#8 Negacion de q

#7 Implicacion de p y 8

#6 Conjuncion de 7 y 9

#5 negacion de 6

#4 negacion de p

#3 negacion de 6

#2 implicacion de 3 y 4

#1 negacion de 2

p q 11 10 9 8 7 6 5 4 3 2 1

V V F F V f F F V F V F V

V F V F F V V F V F V F V

F V F v V F V V F V F V F

f f v V v v v v f v f v F

2) [( p .  q v r) ⊃ ( p ≡ s ).  q]
#8 Negacion de p

#7 Equivalencia de 8 y S

#6 negacion de q

#5 Conjuncion de p y 6

#4 disyuncion incluyente de 5 y r

#3 negacion de q

#2 conjuncion de 7 y 3

#1 Implicacion de 4 y 2
 p q R s 8 7 6 5 4 3 2 1
V V V V F F F F V F F F
F V V V V V F F V F F F
V F V V F F V V V V F F
F F V V V V V F v V V V
V V F V F F F F F F F V
F V F V V V F F F F F V
V F F V F F V V V V F F
F F F V V V V F F V V V
V V V F F V F F V F F F
F V V F V F F F V F F F
V F V F F V V V V V V V
F F V F V F V F V V F F
V V F F F V F F F F F V
F V F F V F F F F F F V
V F F F F V V V V V V V
F f F f V f v F f v f V

3) [( p ≡ q ) . (r ⊃ q)] ≡ ( p ≡ r)
#5 implicacion de r y q

#4 equivalencia de p y q

#3 conjuncion de 4 y 5

#2 equivalencia de p y r

#1 equivalencia de 2 y 3

p q r 5 4 3 2 1
V V V V V V V V
F V V V F F V F
V F V F F F V F
F F V F V F F V
V V F V V V V V
F V F V F F V F
V F F V F F V F
F F f V V V v V