Il corso, che presuppone i contenuti principali del corso di Logica 1 per ciò che riguarda il calcolo proposizionale,...