1.− [( p . q ) ⊃ r ] .

( q ⊃ r )

Diagrama de árbol: Sub-formulas:

1
[ ( p . q) ⊃ r ] . ( q ⊃ r ) 6: Negación de r

5: Negación de q
2 4
4: Implicación de 5 y 6
( p . q ) ⊃r q⊃ r
3: Conjunción de p y q

2: implicación de 3 y r
3 5 6
¿r
p.q q r 1: Conjunción de 2 y 4

¿p ¿q ¿q ¿r

Tablas de verdad:

6 5 4 3 2 1
p q r r q 5 ⊃ 6 p . q 3 ⊃ r 2 . 4

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

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

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

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

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

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

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

F F F V F V F V V V F F F F V F V V V
2.− [( p ≡ q ) ∙r ] ⊃ ( q ≡ r )

Diagrama de árbol: Sub-formulas:

1
[ ( p ≡q ) ∙ r ] ⊃ ( q ≡ r ) 6: Negación de r

5: Negación de q
2 4
4: Equivalencia de 5 y 6
( p ≡q ) ∙ r q≡ r
3: Equivalencia de p y q

2: conjunción de 3 y r
3 5 6
¿r
p ≡q q r 1: Implicación de 2 y 4

¿p ¿q ¿q ¿r

Tablas de verdad:

6 5 4 3 2 1
p q r r q 5 ≡ 6 p ≡ q 3 . r 2 ⊃ 4

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

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

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

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

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

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

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

F F F V F V F V V V F V F V F F F V V
3.− [ [( p . q) ⊃ ( p . q ) ] . p]

Diagrama de árbol:
1
[ [( p . q )⊃ ( p . q)] . p ]

2
[( p . q )⊃ ( p . q)] . p

3 10
[( p . q )⊃( p . q)] p

4
( p . q) ⊃ ( p . q) p

5 6
p. q p. q

7 8 9
p q p q

q p q

Sub-fórmulas:
10: Negación de p 5: Conjunción de p y 7
9: Negación de q 4: Implicación de 5 y 6
8: Negación de p 3: Negación de 4
7: Negación de q 2: Conjunción de 3 y 10
6: Conjunción de 8 y 9 1: Negación de 2
Tablas de verdad:

10 =
9 =7 6 5 4 3
8
p q p q 8 . 9 p . 7 5 ⊃ 6 4

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

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

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

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

2 1
3 . 10 2

F F V V F

F F F V F

V V V F V

F F F V F
4.−[( p . q V r )⊃(p ≡ s) . q]

Diagrama de árbol: Sub-formulas:

1 7: Negación de s
( p . q V r)⊃( p ≡ s) .q
6: Equivalencia de p y 7

5: Conjunción de 6 y q
2 5
( p . q V r)( p ≡ s). q 4: Negación de p

3: Conjunción de 4 y q
3 6
p.qr p≡ s q 2: Disyunción de 3 y r

1: Implicación de 2 y 5
4 7
pq p s

p s
Tablas de verdad:

7 6 5 4 3 2 1
p q r s s p ≡ 7 6 . q p 4 . q 3 V r 2 ⊃ 5

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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