Добавил:
korayakov
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Лекции / ещё одна версия / lg1-1.doc
Задачи для самостоятельного решения
Проверить, что аксиомы (1)-(10) являются тождественно истинными в трёхзначной логике.
Доказать выводимость в ИИВ формулы
Указание:
использовать закон де-Моргана,
справедливый в интуиционистской логике.Доказать невыводимость в ИИВ формул: (а)
(б)
Указание:
проверить эти формулы на тождественную
истинность в трёхзначной логике.