Section outline

  • Introduzione alla logica binaria delle proposizioni.  Tabelle di verità, negazione e connettivi logici. Implicazione e logica dei predicati.