Cuantificator existential si universal
Propozitia "exista cel putin un x astfel incat p(x)", se numeste propozitie existentiala asociata predicatului p(x).
Valoarea de adevar. Propozitia existentiala este adevarata daca exista cel putin un xv0 din X astfel incat propozitia p(xv0) sa fie adevarata. Este falsa daca nu exista nici un xv0 din X astfel incat p(xv0) sa fie adevarata.
Propozitia "oricare ar fi x din X are loc p(x)", se numeste propozitie universala asociata predicatului p(x).
Valoarea de adevar. Propozitia universala este adevarata daca pentru orice xv0 din x, propozitia p(xv0) este adevarata. Este falsa daca exista cel putin un xv0 din X pentru care p(xv0) este falsa.
Legenda : xv0 = x indice 0