Tabel de simboluri matematice

cuantificator
universal

oricare; pentru
fiecare
x: P(x) nseamn P(x) este adevrat pentru
toi x din domeniu.
n N: n2 n.

logica predicatelor

cuantificator
existenial

exist
x: P(x) nseamn c exist cel puin un x astfel
nct P(x) este adevrat.
n N: n este
par.

logica predicatelor

cuantificator de
unicitate

exist un(o) unic()

! x: P(x) nseamn c exist exact un x astfel ! n N: n + 5 =
nct P(x) este adevrat. 2n.
! exist i e unic()

logica predicatelor