Introduzione alla Logica: Proposizioni, Connettivi Logici e Quantificatori