Versione con disco MS/DOS. - Esprimersi a valutare. Connettivi a tavole di verità - sintassi e semantica proposizionale. Tautologie e contraddizioni - trasformare formule in formule equivalenti - la deduzione logica. Il sistema naturale - la deduzione logica. Il sistema risoluzione-refutazione - il calcolo predicativo.
Se vuoi essere informato sulle nostre novità editoriali, registrati alla nostra newsletter!