A = "Studio"
B = "Vengo promosso"
A→B = "Se studio vengo promosso"
¬B→¬A = "Se non sono promosso allora non ho studiato "
¬B∧A = "Non sono stato promosso pur avendo studiato ( non sono stato promosso e ho studiato) "
(A∧B)∨(A∧¬B) = "A volte capita che non si è promossi pur avendo studiato (ho studiato e sono promosso oppure ho studiato e non sono promosso) "
B→A = " se vengo promosso vuol dire che ho studiato"
L'affermazione "Se studio vengo promosso" implica "Se non sono promosso allora
non ho studiato "
| A |
B |
A→B |
¬B→¬A | ¬B∧A | (A∧B)∨(A∧¬B) | B→A |
| V |
V |
V |
V |
F | V | V |
| V |
F |
F |
F |
V | V | V |
| F |
V |
V |
V |
F | F | F |
| F |
F |
V |
V |
F | F | V |