L'implicazione materiale

L'implicazione materiale è una proposizione composta che mette in relazione una proposizione antecedente (A) con un'altra proposizione conseguente (B). Se la proposizione A è vera allora anche la proposizione B è vera. E' rappresentata con il simbolo di una freccia $$ A \rightarrow B $$ oppure $$ A \Rightarrow B $$

La precedente notazione si legge "A implica B", "da A segue B" oppure "se A allora B".

L'implicazione materiale è anche detta condizionale.

Questa è la tavola di verità dell'implicazione logica.

la tavola di verità dell'implicazione materiale

L'implicazione materiale A→B è equivalente all'enunciato ¬A ∨ B

$$ A→B \Longleftrightarrow ¬A ∨ B $$

E' un'equivalenza logica perché si ottengono gli stessi valori di verità con entrambi gli enunciati.

Nota. L'implicazione materiale è falsa (F) solo quando la proposizione antecedente (A) è vera e la proposizione seguente (B) è falsa. In tutti gli altri casi l'implicazione materiale A→B è vera (V). $$ \begin{array}{cr|c} A & B & A→B \\ \hline V & V & V \\ \color{red}V & \color{red}F & \color{red}F \\ F & V & V \\ F & F & V \end{array} $$ Pertanto, nell'implicazione materiale A è condizione sufficiente per B mentre B è condizione necessaria per A.

La differenza tra l'implicazione nella logica e nel linguaggio comune

La logica matematica indaga solo sulla correttezza formale delle proposizioni. Non indaga sul contenuto. Quindi, non occorre che le proposizioni siano vere o false, né che ci sia una relazione di causa effetto tra le proposizioni A e B.

C'è una differenza tra l'implicazione nella logica e nel linguaggio comune.

  1. Linguaggio comune. Nel linguaggio comune quando dico "se A allora B" lascio intendere una relazione di causa ed effetto tra la proposizione antecedente e conseguente.

    Esempio. Se "piove" allora "prendo l'ombrello".

  2. Logica matematica. Nella logica matematica conta soltanto la correttezza formale del ragionamento. Non si indaga se le proposizioni sono vere o false, né se esiste una relazione di causa-effetto tra loro.

    Esempio. Se "piove" allora "squilla il telefono".

 

Un esempio pratico

Considero due proposizioni A e B

$$ A = \text{8 è un numero pari} $$

$$ B = \text{8 è divisibile per due} $$

L'implicazione materiale A→B è vera (V) perché sia A che B sono vere.

$$ \begin{array}{cr|c} A & B & A→B \\ \hline \color{red}V & \color{red}V & \color{red}V \\ V & F & F \\ F & V & V \\ F & F & V \end{array} $$

Esempio 2

Considero due proposizioni A e B

$$ A = \text{8 è un numero pari} $$

$$ B = \text{8 è divisibile per tre} $$

L'implicazione materiale A→B è falsa (F) perché A è vera ma B è falsa.

$$ \begin{array}{cr|c} A & B & A→B \\ \hline V & V & V \\ \color{red}V & \color{red}F & \color{red}F \\ F & V & V \\ F & F & V \end{array} $$

 

Nota. Se A è vera e B è falsa, l'implicazione A→B è falsa perché viene contraddetta/smentita dai fatti.

Esempio 3

Considero due proposizioni A e B

$$ A = \text{8 è un numero dispari} $$

$$ B = \text{8 è divisibile per due} $$

L'implicazione materiale A→B è vera (V) perché A è falsa. Il valore di verità di B è ininfluente. In questo caso B è vera.

$$ \begin{array}{cr|c} A & B & A→B \\ \hline V & V & V \\ V & F & F \\ \color{red}F & \color{red}V & \color{red}V \\ F & F & V \end{array} $$

 

Nota. Se A è falsa e B è vera o falsa, resta comunque valida l'implicazione A→B. Il fatto che A sia falsa non mi permette di affermare nulla sull'implicazione A→B. Viceversa, se A è vera e B è falsa, l'implicazione A→B è falsa perché non è confermata dai fatti. I fatti dimostrano il contrario.

Esempio 4

Considero due proposizioni A e B

$$ A = \text{8 è un numero dispari} $$

$$ B = \text{8 è divisibile per tre} $$

L'implicazione materiale A→B è vera (V) perché A è falsa. Il valore di verità di B è ininfluente. In questo caso B è falsa.

$$ \begin{array}{cr|c} A & B & A→B \\ \hline V & V & V \\ V & F & F \\ F & V & V \\ \color{red}F & \color{red}F & \color{red}V \end{array} $$

 

 

Nota. Vale lo stesso discorso già fatto per l'esempio 3. Se A è falsa, il valore di verità di B può essere vero o falso. In questo caso l'implicazione A→B non viene smentita, né confermata dai fatti. Pertanto, l'implicazione A→B resta vera.

L'implicazione stretta o formale

La logica greca distingue tra due tipi di implicazioni

  • Implicazione materiale (o filoniana)
    Nella logica greca l'implicazione materiale è anche detta implicazione filoniana da Filone di Megara. $$ \begin{array}{cr|c} A & B & A→B \\ \hline V & V & V \\ \color{red}V & \color{red}F & \color{red}F \\ F & V & V \\ F & F & V \end{array} $$ E' detta filoniana per distinguerla dall'implicazione stretta o formale.
  • Implicazione stretta o formale
    Nell'implicazione stretta è impossibile che A sia vera e B falsa. Se A è vera, allora necessariamente B è vera. E' impossibile il contrario. $$ A \Rightarrow B $$ L'implicazione stretta è usata per affermare una verità logica.

La differenza tra implicazione e deduzione

L'implicazione e la deduzione sono concetti diversi anche se spesso confusi tra loro perché hanno un simbolo simile (una freccia).

  • L'implicazione (A→B)
    L'implicazione (A→B) è un connettivo logico. Se A è vera anche B è vera. Essendo un connettivo logico non devo provare che la proposizione A sia effettivamente vera. Inoltre, nella tavola di verità è ammesso anche il caso contrario (A falsa) $$ \begin{array}{cr|c} A & B & A→B \\ \hline V & V & V \\ V & F & F \\ F & V & V \\ F & F & V \end{array} $$
  • La deduzione (A⇒B)
    La deduzione (A⇒B) non è un connettivo logico ma una forma di ragionamento detta anche modus ponens. Se A è vera anche B è vera. Rispetto all'implicazione ci sono due importanti differenze
    • Essendo un ragionamento, nella deduzione devo dimostrare che le premesse siano effettivamente vere per confermare la conclusione (B), perché partendo da premesse false potrei giungere a una conclusione formalmente corretta ma falsa.
    • Nella deduzione non è considerato il caso contrario. Se la proposizione A è falsa, non posso affermare nulla su B che può essere sia vera che falsa. Pertanto, la deduzione e l'implicazione hanno tavole di verità diverse

    la differenza tra implicazione e deduzione

    Nota. Nella deduzione non sono ammesse le forme di ragionamento del tipo $$ (A \rightarrow B ) ∧ B \Rightarrow A $$ $$ ( A \rightarrow B ) ∧ ¬A \Rightarrow ¬B $$

E così via.

 


 

Segnalami un errore, un refuso o un suggerimento per migliorare gli appunti

FacebookTwitterLinkedinLinkedin
knowledge base

Logica