^^ix Logica matematica.

  1. Logica matematica e logica della lingua.
  2. Argomento, argomentazione.
  3. Logica matematica, sistema di logica.
  4. Logica delle proposizioni, logica dei predicati.
  5. Logica, principi.
  6. Prosa matematica VS logica formale.
  7. Proposizione logica sugli elementi di un'insieme, e scomposizione binaria dell'insieme.
  8. Logica, storia.
  9. Proof system.
  10. Paradosso.

  11. Books

  12. Formal logic. Book by Peter Smith.
  13. Gödel Without (Too Many) Tears. Book by Peter Smith.
  14. Tarski. Introduction to Logic and to the Methodology of the Deductive Sciences.

  15. Logica delle proposizoni. Calcolo proposizionale.

  16. Sillogismo, logica sillogistica.
  17. Logica delle proposizioni. Calcolo delle proposizioni.
  18. Modus ponens.

  19. Connettivi logici, equi: operazioni logiche binarie e unarie.

    1. Connettivi logici. AND OR NOT IF
    2. Operazioni logiche: AND, OR.xls
    3. Implicazione logica.
    4. Equivalenza logica.
  20. Conjunctive & disjunctive normal form.
  21. Variabili logiche.
  22. Funzione logica.
  23. SAT Boolean satisfiability problem.

  24. Logica dei predicati.

  25. Logica dei predicati. Logica del primo ordine.
  26. Quantificatori logici.

  27. Altrove

  28. AND, OR; circuito AND, circuito OR.
  29. ix Informatica teorica.