Espressioni logiche
pν[q/\r)/\s] p \/ [ (q /\ r) /\ s ]
p=V;q=F;r=F;s=V
q r q/\r s [(q/\r)/\s] p pν[q/\r)/\s]
VERO VERO VERO VERO
FALSO FALSO VERO VERO
VERO VERO VERO VERO VERO FALSO VERO
FALSO FALSO FALSO FALSO
VERO FALSO VERO VERO
FALSO FALSO VERO VERO
VERO FALSO FALSO VERO FALSO FALSO FALSO
FALSO FALSO FALSO FALSO
VERO FALSO VERO VERO
FALSO FALSO VERO VERO
FALSO VERO FALSO VERO FALSO FALSO FALSO
FALSO FALSO FALSO FALSO
VERO FALSO VERO VERO
FALSO FALSO VERO VERO
FALSO FALSO FALSO VERO FALSO FALSO FALSO
FALSO FALSO FALSO FALSO
[1]
[1]
I semi di verità vanno inseriti in queste colonne.