Introduzione alla logica. Linguaggio, significato, argome...
Cantini, Andrea / Minari, P. Luigi
Il testo offre un'introduzione ai concetti fondamentali della logica. Nella prima parte, muovendo da un'analisi concreta della forma logica del discorso dichiarativo, si giunge gradualmente alla costruzione dei linguaggi logici enunciativi ed elementari. La seconda parte presenta una procedura meccanica il metodo del controesempio - con la quale si affrontano i problemi della correttezza delle inferenze e della consistenza di insiemi di enunci...