Consideriamo le proposizioni [math]p:x=3[/math], e [math]q:x+1=4[/math].[br]Diciamo che [math]p[/math] [i]implica [/i][math]q[/math], e scriviamo [math]p\Longrightarrow q[/math] per indicare che quando [math]p[/math] è vera, allora anche [math]q[/math] è vera. [br](Se [math]p[/math] è vera, [math]q[/math] è [i]necessariamente vera[/i]). [br][br]Il simbolo [math]\Longrightarrow[/math] [i]collega [/i]una premessa [math]\left(p\right)[/math] e una conclusione [math]\left(q\right)[/math], ed è molto utilizzato nelle dimostrazioni, perchè rappresenta un modo simbolico di mostrare il ragionamento deduttivo.[br]Scrivere "[math]p[/math] implica [math]q[/math]" è equivalente a dire "se [math]p[/math] allora [math]q[/math]" o più raramente "[math]q[/math] se [math]p[/math]".[br][br]Sembra complicato, vero? No... vediamo qualche esempio di implicazioni.[br][list][*][i]Se [/i]prendi più di 6 nella verifica, [i]allora [/i]passi l'esame.[/*][*]La testa ti farà male [i]se[/i] continui a sbatterla contro il muro.[/*][/list]

Dato un quadrilatero [i]Q[/i], usa l'app di seguito per trovare e verificare le reciproche implicazioni tra le seguenti proposizioni:[br][i]a[/i]: [i]Q[/i] ha un angolo ottuso .[br][i]b[/i]: [i]Q[/i] ha tre angoli acuti.[br][i]c[/i]: [i]Q[/i] non ha angoli retti. [br][br](Trascina i vertici per esplorare quadrilateri di tipo diverso)

Considera questo esempio: [math]10=11\Longrightarrow10\cdot0=11\cdot0[/math][br]Siamo partiti da una premessa falsa e abbiamo ottenuto una conclusione vera.[br][br]Ora considera questo: [math]10=11\Longrightarrow10-1=11-1[/math][br]Siamo partiti - ancora - da una premessa falsa e abbiamo ottenuto una conclusione falsa.[br][br]L'implicazione non vuole premesse false. Se partiamo da una premessa falsa, anche se applichiamo operazioni matematicamente corrette alla premessa, la conclusione che otteniamo può essere sia vera che falsa.

Nell'esempio precedente, avevamo a disposizione le seguenti tre proposizioni relative a un quadrilatero [i]Q[/i]:[br][i]a[/i]: [i]Q[/i] ha un angolo ottuso.[br][i]b[/i]: [i]Q[/i] ha tre angoli acuti .[br][i]c[/i]: [i]Q[/i] non ha angoli retti. [br][br]Possiamo dire che:[br][list][*][i]a[/i] non implica [i]b [/i]perchè un rombo (che non è un quadrato) ha un angolo ottuso, ma non ha 3 angoli acuti.[/*][*][i]a[/i] non implica [i]c[/i] perchè un trapezio rettangolo (che non è un rettangolo) ha un angolo ottuso e due angoli retti.[/*][*][i]c[/i] non implica [i]b[/i] perchè un rombo (che non è un quadrato) non ha angoli retti, ma non ha tre angoli acuti.[/*][/list][br]Abbiamo visto che l'implicazione non vale utilizzando uno "strumento" che in matematica si chiama [i]controesempio[/i].[br]Scopri di più sui controesempi facendo clic [url=https://www.geogebra.org/m/k6djugsq]qui[/url].