TAVOLE DI VERITÀ

TAVOLE DI VERITÀ
I) METODO ANALITICO
UNA PROPOSIZIONE
A ↔ ~~A
A ~A ~~A A ↔ ~~A
________________________________________
V
F
F
V
V
F
V
V
A ∨ ~A
A
~A
A ∨ ~A
_______________________________
V
F
F
V
V
V
DUE PROPOSIZIONI
~(A ∧ B) ↔ ~A ∨ ~B
A B ~A ~B A ∧ B ~(A ∧ B) ~A ∨ ~B ~(A∧B)↔~A∨~B
__________________________________________________________________________________________________________________
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
F
F
F
F
V
V
V
F
V
V
V
V
V
V
V
~(A ∨ B) ↔ ~A ∧ ~B
A B ~A ~B A ∧ B ~(A ∧ B) ~A ∨ ~B ~(A∧B)↔~A∨~B
__________________________________________________________________________________________________________________
V
V
F
F
V
F
V
F
F
F
V
V
F
V
F
V
V
F
F
F
F
V
V
V
F
V
V
V
V
V
V
V
TRE PROPOSIZIONI (A → B ∧ C) → (A ∧ B → C)
A B C B ∧ C (A → (B ∧ C)) A ∧ B ((A ∧ B) → C) →
_____________________________________________________________________________________
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
F
F
F
V
F
F
F
V
F
F
F
V
V
V
V
V
V
F
F
F
F
F
F
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
II) METODO ABBREVIATO
UNA PROPOSIZIONE
A ↔~~ A
A ∨ ~A
V V V F V
F V F V F
V V FV
F V V F
DUE PROPOSIZIONI
~( A ∧ B ) ↔ ~ A ∨ ~ B
~( A ∨ B ) ↔ ~ A ∧ ~B
F
V
V
V
F
F
F
V
V
V
F
F
V
F
F
F
V
F
V
F
V
V
V
V
FVF
FVV
VFV
VFV
FV
VF
FV
VF
V VV
VVF
FVV
FFF
V
V
V
V
FV F F V
FVFVF
VFFFV
VFVVF
TRE PROPOSIZIONI
( A → ( B ∧ C )) → (( A ∧ B) → C )
V
V
V
V
F
F
F
F
V
F
F
F
V
V
V
V
VV V
V F F
F F V
F F F
V V V
V F F
F F V
F F F
V
V
V
V
V
V
V
V
V V V V V
V V V F F
V F F V V
V F F V F
F F V V V
F F V V F
F F V V V
F F V V F