Enunt, propozitie, predicat
Se numeste alfabet o multime de semne.
Se numeste enunt orice succesiune de semne dintr-un alfabet.
Se numeste propozitie (a logicii clasice a propozitiilor) un enunt,care, intr-un context dat, este fie adevarat, fie fals.
Se numeste predicat (sau propozitie cu variabile), un enunt care contine una sau mai multe variabile, carora atribuindu-le valori obtinem propozitii adevarate sau false.
La definirea predicatului trebuie indicate multimile in care iau valori variabilele.
Multimea elementelor pentru care obtinem propozitii adevarate se numeste multimea de adevar a predicatului.
Ecuatiile, inecuatiile, identitatile sunt predicate.
Multimile de adevar pentru aceste predicate reprezinta multimile de solutii pentru ecuatii, inecuatii si respectiv identitati.