Salta al contenuto

Ragionamento matematico: le regole di inferenza e deduzione

Agostino Sapienza

Agostino Sapienza

INSEGNANTE DI MATEMATICA

Sono nato a Reggio Calabria il 07/10/85. Mi sono diplomato nel 2005 all'Istituto Magistrale Statale Tommaso Gulli. Ho conseguito la laurea triennale in Relazioni Internazionali a Messina e in Economia Internazionale a Padova. Dopo un pò di anni negli studi commercialisti sono stato chiamato per una supplenza covid nella classe di insegnamento A47. Ho poi conseguito l'abilitazione a Trieste nel sostegno e sono entrato di ruolo nel 2023

Nel campo della matematica e della logica, le regole di inferenza e di deduzione sono strumenti essenziali che guidano il processo di ragionamento e di prova. Queste regole sono il fondamento su cui si basa il ragionamento logico, permettendo di costruire argomentazioni valide e di giungere a conclusioni solide a partire da premesse date.

Le regole di inferenza sono principi che descrivono come si può validamente passare da una o più affermazioni (premesse) a una nuova affermazione (conclusione). Queste regole sono la base della logica deduttiva, dove la verità di determinate premesse garantisce la verità della conclusione. Ad esempio, una regola di inferenza comune è il modus ponens, che afferma che, se abbiamo una premessa “Se P, allora Q" e una seconda premessa “P è vero", possiamo dedurre che “Q è vero".

La deduzione, d’altra parte, è il processo di utilizzo di queste regole di inferenza per costruire catene di ragionamento. In matematica, la deduzione è fondamentale per dimostrare teoremi e risolvere problemi. Partendo da assiomi e definizioni accettati, i matematici utilizzano la deduzione per arrivare a nuove verità matematiche. Questo processo richiede un’attenta applicazione delle regole di inferenza per assicurarsi che ogni passaggio del ragionamento sia valido.

Vediamole!

Ragionamenti validi o assurdi in matematica

Un ragionamento è valido quando dalla premessa vera riusciamo ad arrivare ad una conclusione vera.

Ad esempio:

“I girasoli sono fiori. È un girasole, allora è un fiore’’.

Invece consideriamo il seguente esempio:

“Tutti i gatti sono bianchi. Il mio è un gatto, dunque, è bianco.’’

Sembrerebbe un ragionamento valido almeno formalmente, ma allora, cosa non funziona?

Dato che la premessa non è vera, anche se il ragionamento è corretto, la conclusione è errata: è un ragionamento che porta ad un assurdo.

Regole di deduzione e di inferenza in matematica

Per costruire ragionamenti validi si possono utilizzare delle regole di deduzione:

  • Modus Ponens
  • Modus Tollens.

Sono chiamate anche regole di inferenza e garantiscono la correttezza di un ragionamento.

Modus Ponens: è una regola di inferenza che convalida la premessa per convalidare la conclusione.

Modus Tollens: è una forma di ragionamento che invalida la conclusione per invalidare la premessa.

Si scrivono:

£$ (A \Rightarrow B) \wedge A \Rightarrow B$£;

£$ (A \Rightarrow B) \wedge \overline B \Rightarrow \overline A $£.

Regole di deduzione e di inferenza: modus Ponens

Esempio:

‘‘Se hai una Playstation, ti piace giocare ai videogiochi.’’

‘‘Hai una Playstation.’’

“Quindi ti piace giocare ai videogiochi.’’

Modus Ponens: è una regola di inferenza che convalida la premessa per convalidare la conclusione.

Se £$ A \Rightarrow B $£ è vera, ed è vera anche £$A$£, allora £$B$£ è vera.

In simboli: £$ (A \Rightarrow B) \wedge A \Rightarrow B$£.

Ad esempio:

£$A$£“: “Il mio gelato è al cioccolato."

£$B$£: “Metto sempre la panna."

“Se il mio gelato è al cioccolato, allora metto sempre la panna. Il mio gelato è al cioccolato. Quindi metto la panna."

Regole di deduzione e di inferenza: modus Tollens

Consideriamo adesso un altro esempio:

‘‘Se hai una Playstation, ti piace giocare ai videogiochi.’’

‘‘Non ti piace giocare ai videogiochi.’’

‘‘Quindi non hai una Playstation’’

Questo tipo di ragionamento utilizza il Modus Tollens.

Modus Tollens: è una forma di ragionamento che invalida la conclusione per invalidare la premessa.

Se £$A \Rightarrow B$£ è vera, ed è vera anche £$ \overline B $£ , allora £$ \overline A$£ è vera.

In simboli: £$ (A \Rightarrow B) \wedge \overline B \Rightarrow \overline A$£.

Ad esempio:

  • £$A$£: “Dal ferramenta ho preso tutto il necessario";
  • £$B$£: “Ho tutto quello che serve per riparare l’auto".

“Se dal ferramenta ho preso tutto il necessario, allora ho tutto quello che serve per riparare l’auto. Non ho tutto quello che serve per riparare l’auto, quindi non ho preso dal ferramenta tutto il necessario".

Un altro esempio:

  • £$A$£: “Ho finito le carte minori di £$3$£";
  • £$B$£: “Ho finito gli assi".

“Se ho finito le carte minori di £$3$£, allora ho finito gli assi. Non ho finito gli assi. Allora non ho finito le carte minori di £$3$£".