Perché l'inversa e la contraria hanno sempre lo stesso valore di verità?

Guarda la tavola di verità: le colonne di $q \to p$ e $\neg p \to \neg q$ sono identiche in tutte e quattro le righe. Nella prossima lezione vedrai perché: ciascuna è la contronominale dell'altra.

Che cosa significa se e solo se?

Significa che valgono entrambi i sensi: $p \to q$ e $q \to p$. Si scrive $p \leftrightarrow q$. Per esempio, $x + 4 = 10$ se e solo se $x = 6$.

Quanti controesempi mi servono?

Uno solo. Un unico caso in cui l'ipotesi è vera e la tesi è falsa dimostra che l'intero enunciato è falso.

Risorse per insegnanti

Inversa e contraria

Q: Se l'originale è vero, l'inversa può essere vera?

A volte. Se un angolo misura $90^\circ$, allora è retto, e anche l'inversa è vera. Però devi sempre verificarla a parte, non segue mai automaticamente.

Impara a costruire l'inversa e la contraria di un'implicazione e scopri perché un enunciato vero può avere un'inversa falsa.

Intermedio25 minLezione

Scheda da stampare

Definizione

Ogni enunciato condizionale (implicazione) ha la forma

p \to q

: se

p

(l'ipotesi), allora

q

(la tesi). A partire da esso possiamo costruire due nuovi enunciati:

L'inversa scambia le due parti: $q \to p$ (se $q$ , allora $p$ ).
La contraria nega entrambe le parti: $\neg p \to \neg q$ (se non $p$ , allora non $q$ ).

Attenzione ai nomi: l'inversa (

q \to p

) in inglese si chiama converse, la contraria (

\neg p \to \neg q

) si chiama inverse.

Esempio: Originale: Se un numero è divisibile per 4, allora è pari.

Inversa: Se un numero è pari, allora è divisibile per 4. (Falsa: 6 è pari, ma $6 \div 4 = 1{,}5$ .)
Contraria: Se un numero non è divisibile per 4, allora non è pari. (Falsa: di nuovo 6.)

La tavola di verità mostra che l'inversa e la contraria non coincidono sempre con l'originale, ma coincidono sempre tra loro:

\begin{array}{cc|c|c|c} p & q & p \to q & q \to p & \neg p \to \neg q \\ \hline \text{V} & \text{V} & \text{V} & \text{V} & \text{V} \\ \text{V} & \text{F} & \text{F} & \text{V} & \text{V} \\ \text{F} & \text{V} & \text{V} & \text{F} & \text{F} \\ \text{F} & \text{F} & \text{V} & \text{V} & \text{V} \end{array}

Le righe si possono elencare in qualsiasi ordine: la tavola interattiva qui sotto inizia con la riga in cui

p

q

sono entrambi falsi, e ogni riga conserva gli stessi valori.

Per dimostrare che un enunciato è falso basta un solo controesempio. Quando un enunciato e la sua inversa sono entrambi veri, li uniamo in un bicondizionale (equivalenza):

p \leftrightarrow q

, che si legge

p

se e solo se

q

Prova subito

Qual è l'inversa dell'implicazione

p \to q

Esempi svolti

Originale: Se una figura è un quadrato, allora ha quattro lati. Scrivi l'inversa e stabilisci se è vera.

Individuare ipotesi e tesi

$p$ : una figura è un quadrato. $q$ : ha quattro lati. → Originale: $p \to q$ (vero)

Scambiare le due parti

$q \to p$ : Se una figura ha quattro lati, allora è un quadrato. → Questa è l'inversa

Cercare un controesempio

Un rettangolo di 5 cm per 3 cm ha quattro lati, ma non è un quadrato. → L'inversa è falsa

Risposta: Inversa: Se una figura ha quattro lati, allora è un quadrato. È falsa, perché un rettangolo di 5 cm per 3 cm è un controesempio.

Errori comuni

Pensare che l'inversa sia vera perché l'originale è vero

Perché è sbagliato: Scambiando ipotesi e tesi si crea un nuovo enunciato con un proprio valore di verità. Se $x = 3$ , allora $x^2 = 9$ è vero, ma se $x^2 = 9$ , allora $x = 3$ è falso.

Corretto: Verifica sempre l'inversa da sola e cerca un controesempio, qui $x = -3$ .

Confondere l'inversa con la contraria

Perché è sbagliato: Entrambe sono costruite con le stesse due parti, quindi si somigliano. L'inversa cambia l'ordine, la contraria aggiunge due negazioni.

Corretto: Inversa = scambiare: $q \to p$ . Contraria = negare entrambe: $\neg p \to \neg q$ .

Negare una sola parte quando si costruisce la contraria

Perché è sbagliato: Scrivere $\neg p \to q$ (se non è un quadrato, allora ha quattro lati) non dà la contraria. È un enunciato completamente diverso.

Corretto: Metti non davanti all'ipotesi e davanti alla tesi: se non è un quadrato, allora non ha quattro lati.

Usare un esempio che funziona come prova che l'inversa è vera

Perché è sbagliato: Per se $x^2 = 9$ , allora $x = 3$ , l'esempio $x = 3$ funziona, ma $x = -3$ no. Gli esempi che funzionano non dimostrano mai un enunciato generale.

Corretto: Un controesempio dimostra che un enunciato è falso. Per dimostrare che è vero serve un ragionamento che copra tutti i casi.

Visuale interattivo

Tabella di verità

Seleziona operatore

p → q

p	q	p → q
F	F	V
F	V	V
V	F	F
V	V	V

V= VeroF= Falso

Tabella di verità

Seleziona operatore

p → q

p	q	p → q
F	F
F	V
V	F
V	V

V= VeroF= Falso

Sandbox interattivo

Calcolatrice di espressioni

Prova questi:

Cronologia

Ancora nessun calcolo

Esercizi pratici

18 esercizi

Problema 1 di 18

Facile

Qual è l'inversa dell'implicazione $p \to q$ ?

Perché è importante

Confondere un enunciato con la sua inversa è uno degli errori di ragionamento più comuni:

Matematica: che un teorema sia vero non rende vera la sua inversa. Il teorema di Pitagora e il suo inverso si dimostrano separatamente.
Definizioni: una buona definizione è un bicondizionale. Deve funzionare in entrambi i sensi.
Pubblicità: se prendi l'abbonamento premium, hai un servizio più veloce. Questo non significa che chiunque abbia un servizio veloce abbia preso l'abbonamento premium.
Programmazione: se x è divisibile per 6, allora x è pari. Un programma non deve supporre il verso opposto: 8 è pari ma non è divisibile per 6.
Vita quotidiana: se piove, la strada è bagnata. Una strada bagnata non dimostra che abbia piovuto, forse è passata una spazzatrice.

Smascherare un'inversa falsa con un controesempio è un'abilità che userai in ogni dimostrazione.

Applicazioni nel mondo reale

Promozioni nei negozi

I negozi formulano le regole come implicazioni. I clienti spesso le leggono al contrario, ed è proprio l'inversa.

Esempio:

Regola: Se il tuo ordine supera 50 €, allora la spedizione è gratuita. Inversa: Se la spedizione è gratuita, allora il tuo ordine superava 50 €. Anche un codice socio può dare la spedizione gratuita, quindi l'inversa può essere falsa.

1Provaci tu stesso

Un negozio ha questa regola: Se un ordine supera 50 €, allora la spedizione è gratuita. Lena compra 3 libri a 12 € ciascuno e usa un codice socio che dà anch'esso la spedizione gratuita.

L'ordine di Lena mostra che l'inversa della regola è falsa?

Passo 1: Scrivi l'espressione matematica

Scrivi l'espressione del totale di Lena:

Controllare le regole nei programmi

I programmatori scrivono condizioni come se n è divisibile per 6, allora n è pari. Rovesciare una condizione del genere è un errore classico.

Esempio:

Un programma accetta solo numeri divisibili per 6 e li segna come pari. Un programmatore rovescia il controllo e accetta ogni numero pari come divisibile per 6. Il numero 8 passa per errore.

2Provaci tu stesso

La regola è: Se un numero è divisibile per 6, allora è pari. Un programmatore usa l'inversa: Se un numero è pari, allora è divisibile per 6. Verificala con il numero 8.

Il numero 8 fa cadere l'inversa?

Passo 1: Scrivi l'espressione matematica

Scrivi la divisione che confronta 8 con 6:

Buone definizioni

I dizionari e i libri di matematica scrivono definizioni che funzionano in entrambi i sensi. Una definizione è un bicondizionale, un enunciato se e solo se.

Esempio:

Un triangolo è rettangolo se e solo se ha un angolo di $90^\circ$ . Ogni triangolo rettangolo ha un angolo di $90^\circ$ , e ogni triangolo con un angolo di $90^\circ$ è rettangolo.

3Provaci tu stesso

Due angoli di un triangolo misurano $35^\circ$ e $55^\circ$ . La somma degli angoli di un triangolo è $180^\circ$ .

È un triangolo rettangolo?

Passo 1: Scrivi l'espressione matematica

Scrivi l'espressione del terzo angolo:

Punti chiave

1Un'implicazione ha la forma $p \to q$ : se $p$ , allora $q$
2L'inversa scambia le parti: $q \to p$
3La contraria nega entrambe le parti: $\neg p \to \neg q$
4Un enunciato vero può avere un'inversa e una contraria false, per esempio se $x = 3$ , allora $x^2 = 9$
5L'inversa e la contraria hanno sempre lo stesso valore di verità, e basta un controesempio per dimostrare che un enunciato è falso
6Quando un enunciato e la sua inversa sono entrambi veri, formano un bicondizionale $p \leftrightarrow q$ (se e solo se)

Domande frequenti

A volte. Se un angolo misura

90^\circ

, allora è retto, e anche l'inversa è vera. Però devi sempre verificarla a parte, non segue mai automaticamente.

Glossario

Enunciato condizionale (implicazione): Un enunciato della forma se $p$ , allora $q$ , che si scrive $p \to q$
Inversa: L'enunciato che si ottiene scambiando ipotesi e tesi: $q \to p$
Contraria: L'enunciato che si ottiene negando ipotesi e tesi: $\neg p \to \neg q$
Negazione: Il contrario di un enunciato, si scrive $\neg p$ e si legge non $p$
Controesempio: Un singolo caso in cui l'ipotesi è vera ma la tesi è falsa
Bicondizionale (equivalenza): Un enunciato vero in entrambi i sensi, si scrive $p \leftrightarrow q$ e si legge $p$ se e solo se $q$

Scheda formule

Originale (implicazione)

p \to q

Se $p$, allora $q$

Inversa

q \to p

Scambiare ipotesi e tesi

Contraria

\neg p \to \neg q

Negare entrambe le parti, mantenendo l'ordine

Bicondizionale

p \leftrightarrow q

Vero quando $p \to q$ e $q \to p$ sono entrambe vere

Altro su questo argomento

Definizione

Esempi svolti

Errori comuni

Visuale interattivo

Tabella di verità

Tabella di verità

Sandbox interattivo

Calcolatrice di espressioni

Cronologia

Esercizi pratici

Perché è importante

Applicazioni nel mondo reale

Promozioni nei negozi

Controllare le regole nei programmi

Buone definizioni

Punti chiave

Domande frequenti

Glossario

Scheda formule

Originale (implicazione)

Inversa

Contraria

Bicondizionale

Altro su questo argomento

Introduzione al ragionamento logico

Il ragionamento deduttivo

Enunciati se... allora

Contronominale