Introduzione alla logica proposizionale e dei predicati

Scopo del corso è presentare i concetti di base della logica proposizionale e dei predicati (classica). Per consentire la fruizione al pubblico più ampio possibile, si cercherà di ridurre al minimo gli esempi e le applicazioni in ambito matematico, focalizzandosi invece sul linguaggio naturale.