Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++
Компиляция правил для данного раздела1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
  |
| Матлогика |
| Fanat |
Сообщение
#1
|
 Fanat  Группа: Пользователи Сообщений: 261 Пол: Мужской Реальное имя: Сергей Репутация:  5   |
Надо доказать теорему:
|-(A->B)->(~AvB) Можно пользоваться аксиомами Новикова,правилами вывода.Таблицей истинноти нельзя. Уже долго пытаюсь это сделать,но без результатно. Если кто знает, как действовать помогите,пожалуйста. |
   |
 
|
| Fanat |
Сообщение
#2
|
|
Fanat Группа: Пользователи Сообщений: 261 Пол: Мужской Реальное имя: Сергей Репутация: 5 |
Доказано.
|
|
|
|
|
|
Текстовая версия | 16.04.2024 23:04 |
