P Q P ⊃Q

V V V
V F F
F V V
F F V
1
A.⊃ (B ⊃ C) SENTENÇA VERDADEIRA 11 [ (X ⊃ Y) ⊃ B] ⊃ Z SENTENÇA FALSA
.
A B C B⊃C A ⊃B ⊃C X Y X⊃Y B X⊃Y⊃B Z X⊃Y⊃B⊃Z
V V V V V F F V V V F F

2
A. ⊃ (B ⊃ Z) SENTENÇA FALSA 12 [ (B ⊃ Z) ⊃ B] ⊃ Z SENTENÇA FALSA
.
A B Z B⊃Z A ⊃B⊃Z B Z B⊃Z B B⊃Z⊃B Z B⊃Z⊃B⊃Z
V V F F F V F F V V F F

3
A. ⊃ (Y ⊃ C) SENTENÇA VERDADEIRA 13 [ (X ⊃ A) ⊃ X] ⊃ A SENTENÇA VERDADEIRA

A Y C Y⊃C A ⊃Y ⊃C X A X⊃A X X⊃A ⊃X A X⊃A ⊃X⊃A

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

4
A. ⊃ (Y ⊃ Z) SENTENÇA VERDADEIRA 14 [ X ⊃(Y ⊃ Z)] ⊃ [(X ⊃ Y) ⊃ Z] SENTENÇA FALSA

A Y Z Y⊃Z A ⊃Y ⊃Z Y Z X⊃Z X X⊃Y⊃Z X⊃Y⊃Z X⊃Y⊃Z

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

5 X Y X⊃Y Z X⊃Y⊃Z X⊃Y ⊃Z⊃X⊃Y ⊃Z

X. ⊃ (B ⊃ C) SENTENÇA VERDADEIRA F V V F F F

X B C B⊃C X⊃B⊃C
F V V V V 15 {[ A ⊃ (B ⊃ C)] ⊃ ~X} ⊃{X ⊃ [(A • B) ⊃ B] ⊃ C} SENTENÇA VERDADEIRA
.
6 B C B⊃C A A ⊃B⊃C X ~X A ⊃ B ⊃ C ⊃ ~X A ⊃ B ⊃ C ⊃ ~X X⊃A •B⊃B⊃C
X. ⊃ (B ⊃ Z) SENTENÇA VERDADEIRA V V V V V F V V V V

X B Z B⊃Z X⊃B⊃Z A B A •B B A •B⊃B X C X⊃A •B⊃B⊃C A ⊃ B ⊃ C ⊃ ~X ⊃ X ⊃ A • B ⊃ B ⊃ C

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

7
X. ⊃ (Y ⊃ C) SENTENÇA VERDADEIRA 16 [(A ⊃ Z)•(Z ⊃ A)] ⊃ ~[(A•Z) v (~A v ~Z)] SENTENÇA VERDADEIRA
.
X Y C Y⊃C X⊃Y ⊃C A Z A ⊃Z Z A Z⊃A A ⊃Z•Z⊃A
F F V V V V F F F V V F

8 A Z A •Z A ~A Z ~Z ~A v ~Z A • Z v ~A v ~Z ~(A • Z v ~A v ~Z)
X. ⊃ (Y ⊃ Z) SENTENÇA VERDADEIRA V F F V F F V V V F

X Y Z Y⊃Z X⊃Y ⊃Z A ⊃ Z • Z ⊃ A ~(A • Z v ~A v ~Z)

F F F V V F F

9 A ⊃ Z • Z ⊃ A ⊃ ~A • Z v ~A v ~Z
(A. ⊃ B) ⊃ Z SENTENÇA FALSA V

A B A ⊃B Z A ⊃B⊃Z
V V V F F 17 {[X ⊃ (Y ⊃ Z)] ⊃ [(X • Y) ⊃ Z]} ⊃ [(X ⊃ A) ⊃ (B ⊃ Y)] SENTENÇA FALSA

10 X Y Z Y⊃Z X⊃Y⊃Z X Y X•Y Z X•Y ⊃Z

(X. ⊃ Y) ⊃ Z SENTENÇA FALSA F F F V V F F F F V

X Y Y ⊃Z Z X⊃Y ⊃Z X A X⊃A B Y B⊃Y X⊃Y ⊃Z⊃X•Y ⊃Z X⊃A ⊃B⊃Y X⊃Y ⊃Z⊃X•Y ⊃Z⊃X⊃A ⊃B⊃Y
F F V F F F V V V F F V F F

18 {[A ⊃ (B ⊃ C)] ⊃ [(A • B) ⊃ C]} ⊃ [(A ⊃ B) ⊃ (C ⊃ Z)] SENTENÇA FALSA

A B C A⊃B A ⊃B⊃C A B A •B C A •B⊃C

V V V V V V V V V V

A B A ⊃B C Z C⊃Z A ⊃B⊃C ⊃A •B⊃C A ⊃B⊃C ⊃Z A ⊃B⊃C ⊃A •B⊃C ⊃A ⊃B⊃C ⊃Z

V V V V F F V F F

19 {[(A ⊃ B) • (B ⊃ A)] ⊃ [(A • B) v (~A • ~B)]} ⊃ {[(X ⊃ Y) • (Y ⊃ X)] ⊃ [(~X • ~Y) ⊃ (X • Y)]} SENTENÇA FALSA

A B A ⊃B B A B⊃A A B A •B ~A • ~B
V V V V V V V V V F

X Y X⊃Y Y X Y⊃X ~X ~Y ~X • ~Y X•Y

F F V F F V V V V F

A ⊃B•B⊃A A • B v ~A • ~B X⊃Y •Y ⊃X ~X • ~Y ⊃ X • Y A ⊃ B • B ⊃ A ⊃ A • B v ~A • ~B X ⊃ Y • Y ⊃ X ⊃ ~X • ~Y ⊃ X • Y A ⊃B⊃C ⊃A •B⊃C ⊃A ⊃B⊃C ⊃Z

V V V F V F F

20 {[(X ⊃ Y) • (Y ⊃ X)] ⊃ [(X • Y) v (~X • ~Y)]} ⊃ {[~(A • B ) • ~(A • ~B)] ⊃ [~ (~A • B) ⊃ (~A • ~B)]} SENTENÇA VERDADEIRA

X Y X⊃Y Y X Y⊃X X Y X•Y ~X • ~Y

F F V F F V F F F V

A B A •B A ~B A • ~B ~A B ~A • B ~A • ~B
V V V V F F V V V F

X⊃Y •Y ⊃X X • Y ⊃ ~X • ~Y ~(A • B) • ~(A • ~B) ~(~A • B) ⊃ ~A • ~B X ⊃ Y • Y ⊃ X ⊃ X • Y ⊃ ~X • ~Y ~(A • B) • ~(A • ~B) ⊃ ~(~A • B) ⊃ ~A • ~B A ⊃B⊃C ⊃A •B⊃C ⊃A ⊃B⊃C ⊃Z
V F F V F V V