k Logica formale Introduzione Proposizioni Nomenclatura Definizione Principi della logica Proposizioni semplici e complesse Tavole di verita' Calcolo delle proposizioni: metodo classico Negazione Congiunzione logica Disgiunzione inclusiva Operatori logici fondamentali Disgiunzione esclusiva Implicazione materiale Deduzione logica Coimplicazione Doppia deduzione logica Funzioni proposizionali Funzioni proposizionali equiveridiche Tautologia e contraddizione Operatori logici come disposizioni con ripetizione Regole di deduzione Concetto di regola di deduzione Modus ponens Modus tollens Sillogismo ipotetico Sillogismo disgiuntivo Dimostrazione di un teorema Definizione di teorema Proposizioni di un teorema Proposizione diretta Proposizione inversa Proposizione contraria Proposizione controinversa Legge delle inverse Metodo diretto Metodo inverso (o per assurdo) Predicati e quantificatori Concetto di predicato I quantificatori Quantificatore universale Quantificatore esistenziale I giudizi di Aristotele Giudizio universale affermativo Giudizio universale negativo Giudizio particolare affermativo Giudizio particolare negativo I sillogismi aristotelici Prima figura Seconda figura Terza figura Quarta figura Conclusione Logica ed insiemi piano generale del sito