Costruite a partire dai termini, usando
Predicati
Connettivi
Quantificatori
Servono a denotare frasi che possono essere vere o false in una data circonstanza
Fra le formule, ci concentreremo in particolare sugli enunciati