Вопросы и ответы на экзамен по математической логике

Будем называть высказывание простым (элементарным)

Пусть множество M является моделью формальной теории Т.

      Функцию типа f: Mn→M

Исторически понятие формальной теории было разработано

Пусть A(x1, …, xn) — пропозициональная

Р = А Ù В; Р = А & В. (Читается Р есть А и В).

Опровержение методом резолюций – это алгоритм автоматического

Далеко не все задачи решаются алгоритмически или, как

Как известно алгоритм дает процедуру отыскания значений

 ПФ, значения которых для любого набора переменных