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

Решение задач
  • Элементарные булевы функции

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

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

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

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