^^ix Logica matematica.

  1. Logica matematica e logica della lingua.
  2. Logica matematica.
  3. Implicazione logica.
  4. Equivalenza logica.
  5. Variabili logiche.
  6. Proposizione logica sugli elementi di un'insieme, e scomposizione binaria dell'insieme.
  7. Quantificatori logici.
  8. Conjunctive normal form.
  9. Operazioni logiche: AND, OR.xls
  10. Predicate or first-order logic.
  11. Paradosso.
  12. Tarski. Introduction to Logic and to the Methodology of the Deductive Sciences.
  13. Altrove

  14. AND, OR; circuito AND, circuito OR.