Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++
Компиляция правил для данного раздела1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
| истинность заключения методом дедукции |
| Barbudo |
 
Сообщение
#1
|
 Группа: Пользователи Сообщений: 7 Пол: Мужской Реальное имя: ламо Репутация:  0   |
Доказать истинность заключения методом дедукции (и нарисовать граф дедуктивного вывода)
(¬AV¬B) |-- (¬B-->A) V ( A-->C) Пожалуйстта помогите!!! Сообщение отредактировано: Barbudo - |
   |
 
|
Barbudo истинность заключения методом дедукции 9.12.2007 19:58
Barbudo хелп народ, скоро уже сдавать :mega_chok: 11.12.2007 5:25  |
|
Текстовая версия | 3.11.2025 12:21 |
