Логика высказываний

Теория
  • Алгебра высказываний

    Высказывания и их истинностные значения. Логические операции ∨, ∧, →, ∼, ¬. Пропозициональные операции и связки. Пропозициональные формулы: пропозициональные переменные и шаг индукции (X ∨ Y , X ∧ Y , X → Y , ¬X). Язык и метаязык.Подробнее
  • Тавтологии и эквивалентность формул

    Тавтологии. Формулы выполнимые и опровержимые. Теоремаоправиле modus ponens: Если X и X→Y — тавтологии, тои Y — тавтология. ПодстановкаS(z1,z2,...,zn|Y1,Y2,...,Yn|X) (результат подстановки Yi вместо zi) — пропозициональная формула. Подробнее
  • Способы получения эквивалентных формул

    Эквивалентности на основе свойств логических операций (коммутативность, ассоциативность, идемпотентность, дистрибутивность, поглощение). Эквивалентности на основе взаимосвязей операций. Эквивалентности на основе двойственности.Подробнее