Логика высказываний
Cрок выполнения : ваш
Вид работы : Контрольная
Дисциплины:
Математические: Дискретная математика.
|
|
Добавлен 26.12.2016 22:57:18
Уникальность:
Доработка:
Подробно: Вариант 6 Для легенды требуется: 1)Найти элементарные высказывания 2)Составить фразы для посылок 3)Написать формулы для посылок 4)Проверить непротеворичивость 5)Предложить два разных вывода следующий и неследующий из этой системы 6)Каждую секвенцию доказать 2-мя способами: от противного и резолюции
Кратко: Вариант 6 Для легенды требуется: 1)Найти элементарные высказывания 2)Составить фразы для посылок 3)Написать формулы для посылок 4)Проверить непротеворичивость 5)Предложить два разных вывода следующий и неследующий из этой системы 6)Каждую секвенцию доказать 2-мя способами: от противного и рез