Logica delle proposizioni
Cos’è questa logica matematica che fa tanta paura? È, ovviamente, una branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Le espressioni analizzate vengono considerate come “oggetti grafici” combinabili tra loro (sintassi) o in relazione al loro significato (semantica). …