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