Variabili:
un insieme finito di simboli, fissato arbitrariamente
Connettivi:
li conosciamo bene ∧,¬,→,↔︎,∨,⊥
Quantificatori:
∀, ∃. Per essere usati nel linguaggio hanno bisogno di una variabile e di una formula.