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
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