|
|
|
Регистрация Восстановить пароль |
|||||||
| Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
||||
 |
|
|
Опции темы | Поиск в этой теме |
04.11.2014, 18:39
|
#1 |
|
Пользователь
Регистрация: 26.10.2014
Сообщений: 27
|
Доказать дедуктивно выражение с предикатами
Безымянный.png
Как доказать это дедуктивно? Нужно представить сначала выражение в виде, чтобы из посылок следовало заключение. Если брать первый импликант в качестве посылки, а тогда как потом получать B(y)? |
|
|
|
Похожие темы
|
||||
| Тема | Автор | Раздел | Ответов | Последнее сообщение |
| Pascal. Арифметическое выражение. Решить квадратное уравнение и посчитать выражение, используя вычисленные корни. | dauletsergazin | Паскаль, Turbo Pascal, PascalABC.NET | 4 | 13.11.2017 11:55 |
| Доказать тождество.Паскаль | Ultar | Помощь студентам | 13 | 08.06.2016 21:58 |
| Доказать тождество.Паскаль | Ultar | Помощь студентам | 2 | 02.02.2013 14:42 |
| Как доказать? (мат. логика) | Rinat93 | Свободное общение | 0 | 20.05.2012 17:29 |
| Как разьяснить\доказать | HellMercenaries | Свободное общение | 15 | 28.07.2009 15:02 |
