Predikatlogikens alfabet
Ø
negation
Ù
konjunktion
Ú
disjunktion
®
implikation
«
ekvivalens
º
indentitet
$
existenskvantor
"
universalkvantor
x, y, z,…, x
1
, x
2
,...
variabler
a, b, c,..., c
1
, c
2
...
konstanter
p, p
1
, p
2
,...
predikatsymboler
( )
parenteser
,
komma
Tillbaka