Cap. 2 – Logica

La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Sebbene molti siano indotti a pensare che la logica matematica sia la matematica della logica, è più giustificato affermare che essa è la logica applicata alla matematica. Essa si occupa delle parti della logica che possono essere modellate matematicamente. [Fonte: Wikipedia]

Logica – Lezione 1 – Proposizioni e connettivi
Proposizioni. Connettivi logici: congiunzione, disgiunzione inclusiva, disgiunzione esclusiva, negazione. ( 9 diapositive )

Logica – Lezione 2 – Connettivi e tavola di verità
Connettivi logici: implicazione e coimplicazione. Formule proposizionali. Tavola di verità. Tautologie e contraddizioni. ( 8 diapositive )

Logica – Lezione 3 – Predicati e quantificatori
Predicati. Operazioni tra predicati. Implicazione e coimplicazione logica. Quantificatore universale. Quantificatore esistenziale. ( 9 diapositive )

Clicca qui per consultare gli esercizi svolti relativi a questo capitolo

Vai al capitolo precedente: Teoria degli insiemi

Vai al capitolo successivo: Aritmetica

Clicca qui per tornare al Corso di matematica

One thought on “Cap. 2 – Logica

  1. ciao! senti mi potresti spiegare la condizione sufficente e necessaria

    x:essere mammifiero
    y: toro
    la condizione sufficiente
    è x implica y
    quindi la condizione sufficiente affinchè un animale sia un toro è che sia un mammifero. V
    la condizione necessarie
    y implica x
    la condizione necessaria affinchè un animale sia mammifero e che sia un toro . F

Lascia un commento

Il tuo indirizzo email non sarà pubblicato.