Логика высказываний
Заказать уникальный реферат- 12 12 страниц
- 5 + 5 источников
- Добавлена 18.07.2013
- Содержание
- Часть работы
- Список литературы
- Вопросы/Ответы
Глава 1. Отличительные черты простых и сложных высказываний 4
Глава 2. Особенности условных высказываний 7
Заключение 11
Список литературы 12
2. Барковский , П.В. Логика / П.В. Барковский. – М.: ТетраСистемс , 2011. – 112 с.
3. Демидов, И.В. Логика / И.В. Демидов. – М.: Дашков и Ко , 2012. – 348 с.
4. Ивин, А.А. Логика: учебное пособие для студентов вузов / А.А. Ивин. – М.: Оникс, 2008. – 336 с.
5. Светлов, В.А. Логика: учеб. пособие / В.А. Светлов. – М.: Логос, 2012. – 432 с.
Муниципальное образовательное учреждение высшего профессионального образования
Южно-Уральский профессиональный институт
Факультет управления и информационных технологий
Кафедра информатики и вычислительной техники
Контроль работы
по дисциплине "Математическая логия и теория алгоритмов"
Студент
гр. ВМз-01-08, факультет УиИТ
____________________ М. О. Белозерова
"__"___________2009
Профессор
___________________ S. A. Рудаков
c. p. n. "__"___________2009
Челябинск
2009
1. Задание на логику выражения
Ниже приведены по три клаузы в одном варианте. Каждую клаузу необходимо доказать следующими методами: резолюций и с помощью таблиц истинности.
. И, В-v => И & В; С
b. B v C, (A ->) - > С>) => И
c. И -> (v), В -> (Г ->),- > (- >),- > (- > C), D - > (v),
D -> (- >),- > (v, D), v, v D -> (- >) => И & В &; И & В & D
Доказать с помощью метода резолюций истинность следующей клаузыявляется
. И, В-v => И & В; С
Доказательство справедливости следует начать с приведения ее в нормальное конъюнктивную форму.
A, v, C, -B v -C, -D => 0
P1 P2 P3 P4
Справа от каждого нового дизъюнкта будем писать номера используемых дизъюнктов, получим:
№ п/п | Выводы | Почему | 1. | 0 | P2, P3 | 2. | 0 | P1, P4 | 3. | 0 | 1, 2 |
Доказать с помощью метода резолюций истинность следующей клаузыявляется
B v C, (A ->) - > С>) => И
Доказательство справедливости следует начать с приведения ее в нормальное конъюнктивную форму.