 Мат.логика!, Доказать секвенцию... |
Здравствуйте, гость ( Вход | Регистрация )
| julia_lisha |
 7.12.2010, 16:52
Сообщение
#1
|
|
Студент  Группа: Продвинутые Сообщений: 147 Регистрация: 19.12.2009 Из: Omsk Город: omsk Учебное заведение: ОмГУ  |
Всем привет!
Задали задание: "доказать секвенцию исчисление высказываний методом резолюций" А۷(¬В۷¬С)├ А۷¬(В&С) Решение: А۷(¬В۷¬С)├ А۷¬(В&С) А=А۷(¬В۷¬С)=>А۷¬(В&С) А=¬[А۷(¬В۷¬С)&¬А۷¬(В&С)] Следовательно ¬А=(А۷(¬В۷¬С)&¬(А۷¬(В&С))) Ищем дизъюнкты: я на верном пути??? и вот на счет дизъюнктов у меня возникли проблемы.... |
   |
 
|
  |
Ответов
| Harch |
8.12.2010, 11:50
Сообщение
#2
|
|
Ассистент Группа: Активисты Сообщений: 834 Регистрация: 21.10.2009 Город: Москва Учебное заведение: МГУ |
какие проблемы?
|
|
|
|
Сообщений в этой теме
julia_lisha Мат.логика! 7.12.2010, 16:52
julia_lisha проблемы с дизъюнктами
¬А=(А۷(¬В۷¬С)... 8.12.2010, 12:02 Harch Какие вы знаете свойства? 8.12.2010, 12:08 julia_lisha :no: ой в алгоритме решений ниче про свойства нет.... 8.12.2010, 12:19 julia_lisha нашла кое-что:
¬(В&С)≡¬В۷¬С
выход... 8.12.2010, 13:05 julia_lisha ау...математические гении вы куда все пропали????( 9.12.2010, 17:14 Harch Правильно нашли. Так. А что такое контрарная пара?... 9.12.2010, 17:20 julia_lisha
в двух предложениях, одно из которых состоит из о... 13.12.2010, 15:37 Harch Тогда ничего из тех двух возможностей не является ... 14.12.2010, 10:10 julia_lisha тут же знак отрицания перед второй скобкой:
¬(А... 14.12.2010, 11:29 Harch нет ) 14.12.2010, 14:16 julia_lisha Вывод: формула А не является общезначимой.
Правиль... 14.12.2010, 14:27 Harch Дайте определение общезначимой формулы :) 16.12.2010, 12:01 julia_lisha ОБЩЕЗНАЧИМОСТЬ — свойство логической формулы, сост... 16.12.2010, 17:21
Harch Ладно, тогда вроде верно. 17.12.2010, 11:11 |
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | Сейчас: 26.5.2025, 3:02 |
Книжки в помощь: "Сборник заданий по высшей математике" Кузнецов Л.А., "Сборник заданий по высшей математике" Чудесенко В.Ф., "Индивидуальные задания по высшей математике" Рябушко А.П., и другие.
Русская версия Invision Power Board
v2.1.7 © 2025 IPS, Inc.
Зеркало сайта Решебник.Ру - reshebnik.org.ru