Condizione necessaria

Date due proposizioni a e b con a che implica b (a → b). Possiamo dire che la conseguenza b è condizione necessaria per la premessa a.


Esempi:
r: «Gianni vive a Torino»
w: «Gianni tifa juventus»
q=r → w: «Se Gianni vive a Torino, allora tifa juventus»
Ovviamente non tutte le persone che vivono a Torino tifano juventus, quindi q è falso solo se Gianni vive a Torino e non tifa juventus, negli altri casi è Vero. Nella logica, r → w implica che w sia condizione necessaria per r, ma nella realtà non ha significato, in quanto per vivere a Torino non è necessario tifare juve.

Vota l'articolo: