LOGICA MATEMATICA
LEZIONI:
- La logica matematica
- Proposizione matematica
- Operazioni con le proposizioni
- Negazione logica
- Doppia negazione
- Disgiunzione o somma logica
- Congiunzione o prodotto logico
- Proprietà delle operazioni con le proposizioni
- Tavole della verità
- Leggi di De Morgan
- Implicazione logica
- Equivalenza logica
- Ipotesi e tesi
- Condizione necessaria e sufficiente
- Assiomi
- Proposizioni equiveridiche
- Tatutologie e contraddizioni
- Metodi di dimostrazione
- Figure di ragionamento
- Modus ponens
- Modus tollens
APPROFONDIMENTI:
- Principi delle proposizioni
- Proposizioni atomiche e proposizioni molecolari
- Disgiunzione inclusiva e disgiunzione esclusiva
- Proprietà delle operazioni con le proposizioni: dimostrazione
- Implicazione materiale
- Proprietà dell'implicazione materiale
- Coimplicazione materiale
- Proprietà della coimplicazione materiale
- Tautologie: esempi
