MATEMATICA LOGICA

MATEMATICA LOGICA-LEZIONE DI MATEMATICA.NET — SPIEGAZIONE: La logica matematica Proposizione matematica Principi delle proposizioni Proposizioni atomiche e proposizioni molecolari 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à Disgiunzione inclusiva e disgiunzione esclusiva Proprietà delle operazioni con le proposizioni: dimostrazione Implicazione logica Equivalenza logica Implicazione materiale Proprietà dell'implicazione materiale Coimplicazione materiale Proprietà della coimplicazione materiale Ipotesi e tesi Condizione necessaria e sufficiente Assiomi Proposizioni equiveridiche Tatutologie e contraddizioni Tautologie: esempi Metodi di dimostrazione Figure di ragionamento Modus ponens Modus tollens