Predikatlogikens alfabet

Ø negation
Ù konjunktion
Ú disjunktion
® implikation
« ekvivalens
º indentitet
$ existenskvantor
" universalkvantor
x, y, z,, x1, x2,... variabler
a, b, c,..., c1, c2... konstanter
p, p1, p2,... predikatsymboler
( ) parenteser 
, komma

Tillbaka