Элементы математической логики

Определение. Булевой (логической) переменной называется переменная, принимающая лишь два значения « 0 » и «1». Подробнее

Определение. Простой конъюнкцией называется конъюнкция одной или нескольких переменных, при этом каждая переменная (либо сама, либо её отрицание) встречается не более одного раза. Подробнее

Определение. Предикатом называется повествовательное предложение, содержащее предметные переменные, определённые на соответствующих мно- жествах; при замене переменных конкретными значениями (элементами) этих множеств предложение обращается в высказывание, т. е. принимает значение «истинно» или «ложно». Подробнее

Пусть P ( x ) - предикат, определённый на множестве M . 1) Выражение ( ∀ x ) P(x) означает высказывание, истинное только в том случае, когда предикат P(x) истинен для всех переменных из множества M . Выражение ( ∀ x ) P (x) читается « для всякого x, P (x)», здесь символ ∀ - квантор общности. Подробнее