Задачи для самостоятельного решения

1. Проверить, что аксиомы (1) – (10) являются тождественно истинными в трёхзначной логике.

2. Доказать выводимость в ИИВ формулы Указание: использовать закон де-Моргана, справедливый в интуиционистской логике.

3. Доказать невыводимость в ИИВ формул: (а) (б)Указание: проверить эти формулы на тождественную истинность в трёхзначной логике.

39