Date le proposizioni a: 8 è multiplo di 2 e b: 8 e dispari determina il valore di verità di
[math]a->notb[/math]
[math]a->notb[/math]
Se 8 è multiplo di 12, 8 è pari
[math]a[/math]
[math]b[/math]
[math]notb[/math]
[math]a->notb[/math]
V V F F
V F V V Questo è il caso della proposizione perchè a=v e b=F
F V F V
F F V V