conversare - puzzle online

Nella logica, il contrario di una proposizione categorica o implicita è il risultato di invertire le sue due parti. Per l'implicazione P → Q, l'opposto è Q → P. Per la proposizione categoriale Tutti S sono P, l'inverso è Tutti P sono S. In nessuno dei due casi, il contrario segue necessariamente dall'istruzione originale.