Не могли бы подсказать:
МОжно ли использовать MP в мат. логике к гипотезам?
1. D->A гипотеза
2. D - гипотеза
3. MP (1,2) = A
Верна ли такая запись, если 1 и 2 гипотезы?
 Modus Pones, Мат. логика. использование MP |
Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++
Компиляция правил для данного раздела
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
  |
| SParker |
Сообщение
#1
|
|
Гость  |
|
 
|
|
| Atos |
Сообщение
#2
|
 Прогрессор  Группа: Пользователи Сообщений: 602 Пол: Мужской Реальное имя: Михаил Репутация:  9  |
Да, верна.
|
   |
|
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 16.05.2024 5:44 |
Связь с администрацией: bu_gen в домене octagram.name