Si se suposa:
«Estudio i no estudio. Per tant aprovo»,
on p = estudio,
¬ p = no estudio i r = aprovo, és fàcil demostrar que la conseqüència -aquesta o qualsevol altra- es dedueix vàlidament (però inútilment, perquè en cap cas té garanties de ser vertadera):
![[image]](www.pensament.com/filoxarxa/imatges/E327-3cat.gif)
Aquesta obra està sota una llicència de Creative Commons.