Le tautologie

Cos'è una tautologia

Una tautologia è una proposizione composta sempre vera, indipendentemente dal valore di verità delle proposizioni da cui è composta. $$ \begin{array}{cr|c} A & ¬A & A \ ∨ \ (¬A) \\ \hline F & V & V \\ V & F & V \end{array} $$

La parola tautologia deriva dal greco "táutó" che significa "lo stesso".

In altre parole, data una forma proposizionale A, questa è sempre vera per ogni valore di verità di una valutazione $ x $. In questi casi si scrive

$$ \models A $$

Dove $ \models $ significa "soddisfa" o "modello di ", ossia A è vera indipendentemente dalla valutazione.

Una valutazione è un'assegnazione di valori di verità (vero o falso) alle variabili proposizionali di una formula logica, utilizzata per determinare se la formula risulta vera o falsa in quello specifico contesto.

Un esempio di tautologia

Ecco un esempio pratico di tautologia

$$ A \ \ ∨ \ \ (¬A) $$

La precedente proposizione è sempre vera.

Sia con A vera che con A falsa.

$$ \begin{array}{cr|c} A & ¬A & A \ ∨ \ (¬A) \\ \hline F & V & V \\ V & F & V \end{array} $$

Esempio 2

La proposizione "l'albero è vivo o è morto" posso scriverla ponendo la variabile logica A

$$ A \ = \ \text{l'albero è vivo} $$

La sua negazione logica è

$$ ¬A \ = \ \text{l'albero non è vivo} = \ \text{l'albero è morto} $$

Anche in questo caso la proposizione A o ¬A è sempre vera.

$$ \begin{array}{cr|c} A & ¬A & A \ ∨ \ (¬A) \\ \hline F & V & V \\ V & F & V \end{array} $$

Pertanto, è una tautologia logica.

Esempio 3

La frase "se piove o non piove" rappresenta una tautologia.

In logica, posso scrivere la frase come:

$$ (p \lor \neg p) $$

Dove \( p \) significa "Piove", \( \neg p \) significa "Non piove".

La condizione \( p \lor \neg p \) ("piove o non piove") è una tautologia, perché copre tutte le possibili situazioni: o piove, o non piove, senza alternative. È una verità logica, sempre valida. 

$$ \begin{array}{cr|c} p & \neg p & p \ ∨ \ (¬p) \\ \hline V & F & V  \\ F & V & V \end{array} $$

    Le tautologie della logica classica

    Le tautologie della logica classica sono infinite, ecco alcune tra le più importanti:

    Perfetto, ottimo controllo! Ecco **le 20 leggi logiche**, numerate una per una, con titolo, breve descrizione e formula.

    • Legge del terzo escluso
      Una proposizione è vera oppure è falsa. Non esiste una terza possibilità. $$ A \vee \neg A $$
    • Legge di non contraddizione
      Una proposizione non può essere vera e falsa allo stesso tempo. $$ \neg (A \land \neg A) $$
    • Legge della doppia negazione intuizionista
      Se una proposizione è vera, allora non è falso che sia vera. Vale solo in questa direzione nella logica intuizionista. $$
      A \vdash \neg \neg A $$
    • Legge della doppia negazione classica
      Se non è falso che una proposizione sia vera, allora la proposizione è vera. Vale nella logica classica. $$ \neg \neg A \vdash A $$
    • Legge distributiva della ∧ su ∨
      Fare una congiunzione tra A e una disgiunzione equivale a una disgiunzione tra due congiunzioni. $$ A \land (B \vee C) \leftrightarrow (A \land B) \vee (A \land C) $$
    • Legge distributiva della ∨ su ∧
      Fare una disgiunzione tra A e una congiunzione equivale a una congiunzione tra due disgiunzioni. $$ A \vee (B \land C) \leftrightarrow (A \vee B) \land (A \vee C) $$
    • Prima legge di De Morgan
      Negare una congiunzione equivale a fare una disgiunzione tra le due parti negate. $$ \neg (A \land B) \leftrightarrow  (\neg A \vee \neg B) $$
    • Seconda legge di De Morgan
      Negare una disgiunzione equivale a fare una congiunzione tra le due parti negate. $$ \neg (A \vee B) \leftrightarrow (\neg A \land \neg B) $$
    • Legge di concatenazione (transitività dell’implicazione)
      Se A implica B e B implica C, allora A implica C. $$ (A \rightarrow B) \land (B \rightarrow C) \rightarrow (A \rightarrow  C) $$
    • Legge di negazione classica
      Se non A implica B, questo equivale a dire A oppure B. $$ (\neg A \rightarrow B) \leftrightarrow A \vee B $$
    • Legge di Scoto
      Se A è vera, allora anche A oppure B è vera. $$ A \rightarrow (A \vee B) $$
    • Legge di negazione minimale
      Se se non A allora B è vera, allora A è vera. Questa legge vale in alcune logiche particolari, non sempre in quella classica. $$ (\neg A \rightarrow B) \rightarrow A $$
    • Legge di affermazione del conseguente (contrapositiva)
      Se A implica B, allora non B implica non A. $$ (A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) $$
    • Legge di negazione dell’antecedente
      Se A è falsa, allora A implica qualsiasi proposizione B. $$ \neg A \rightarrow (A \rightarrow B) $$
    • Legge di contrapposizione
      Dire se A allora B equivale a dire se non B allora non A. $$ (A \rightarrow B) \leftrightarrow (\neg B \rightarrow \neg A) $$
    • Legge di Filone Megarico
      Dire se A allora B equivale a dire o non A oppure B. $$ (A \rightarrow B) \leftrightarrow (\neg A \vee B) $$
    • Legge di Crisippo
      Dire se A allora B equivale a dire non A e B. Attenzione: questa formulazione non è corretta come tautologia in logica classica e potrebbe riferirsi a logiche particolari. $$ (A \rightarrow B) \leftrightarrow (\neg A \land B) $$
    • Definizione della ∧ tramite condizionale e negazione
      Fare una congiunzione equivale a negare che A implichi la negazione di B. $$ A \land B \leftrightarrow \neg (A \rightarrow \neg B) $$
    • Definizione della ∨ tramite condizionale e negazione
      Fare una disgiunzione equivale a dire che se non A, allora B. $$ A \vee B \leftrightarrow (\neg A \rightarrow B) $$
    • Legge del sillogismo disgiuntivo
      Se A è falsa ma A o B è vera, allora deve essere vera B. $$ \neg A \land (A \vee B) \rightarrow B $$

    E così via.

     

     


     

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

    FacebookTwitterLinkedinLinkedin
    knowledge base

    Logica