Nyitott mondat:
Hiányos állítás. Hiányzik belőle az, amiről vagy akiről állítunk valamit. Lehet egyváltozós, vagy többváltozós.
Alaphalmaz:
Olyan elemek halmaza, amelyeket behelyettesítve a nyitott mondatba, egyenletbe vagy egyenlőtlenségbe, igaz vagy hamis kijelentéseket kapunk.
Igazsághalmaz:
Az alaphalmaz azon elemei, amelyeket behelyettesítve a nyitott mondatba, egyenletbe vagy egyenlőtlenségbe, igaz kifejezéseket kapunk.
Nyitott mondat megoldásai:
Az igazsághalmaz elemei.