proposizione inversa

Enciclopedia della Matematica (2013)

proposizione inversa


proposizione inversa di una data implicazione logica quale A ⇒ B, è l’implicazione B ⇒ A, che si ottiene scambiando tra loro la proposizione antecedente e quella conseguente. Una proposizione e la sua inversa non sono logicamente equivalenti. Per esempio, la proposizione «se n è multiplo di 4 allora n è pari» è vera, mentre la sua inversa «se n è pari allora n è multiplo di 4» non lo è (→ proposizione).

Tag
Vocabolario
invèrso¹
inverso1 invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare...
propoṡizióne
proposizione propoṡizióne s. f. [dal lat. propositio -onis, propr. «il mettere innanzi», der. di proponĕre: v. proporre]. – 1. In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato. In partic.:...