Формальные аксиоматические теории
Cрок выполнения : до 7 дней
Вид работы : Лабораторные
Статус выполнен
Дисциплины:
Математические: Логика, теория Алгоритмов и Автоматов.
|
|
Добавлен 06.04.2019 10:56:10
Уникальность:
Доработка:
Подробно: Вариант №3 1. Если треугольник равносторонний, то его углы равны. Треугольник равносторонний. Следовательно, его углы равны. 2. Надежда еще не потеряна. Значит, еще не все потеряно. 3. A&C ⊃ B, A, B ⊃ D, C ├ D.
Кратко: Задание 1. Установить правильность рассуждения, построив вывод исчисления высказываний. 2. Проверить вывод методом резолюций.
Файлы доступны после авторизации