X + Y = Y + X и ХY = YX - эквивалентные предикатные формулы:
y = f(x) - двуместный предикат F(x, y):
Всякая теорема содержит условие и заключение:
Высказывание "для всех X выполнено P(X)" - квантор общности:
Если предметная область двуместного предиката - конечное множество, то предикат может быть задан таблицей:
Значения предиката равны единице в области его истинности:
Квантор всеобщности - обобщение операции дизъюнкции:
Квантор существования - обобщение дизъюнкции:
Над предикатами можно производить логические операции:
Неопределенные высказывания называются предикатами:
Предикатная формула содержит знаки булевых операций, кванторов и обозначения предикатов:
Предикаты - определенные высказывания:
Утверждения, содержащие неопределенный, переменный член, являются высказываниями:
Частноотрицательное суждение обозначается латинской буквой Е:
Эквивалентные предикатные формулы - формулы, у которых области истинности совпадают: