 Математическая логика, Исчисление высказываний |
Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++
Компиляция правил для данного раздела
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
  |
| Rocket |
Сообщение
#1
|
 Знаток  Группа: Пользователи Сообщений: 306 Пол: Мужской Реальное имя: Евгений Репутация:  0   |
Нужно доказать выводимость формулы, используя классический метод, то есть используя систему аксиом исчисления высказывания. Что-то ну никак у меня не получается...
Прикрепленные файлы 
ex.bmp ( 32.65 килобайт )
Кол-во скачиваний: 342 |
   |
 
|
| Rocket |
Сообщение
#2
|
|
Знаток Группа: Пользователи Сообщений: 306 Пол: Мужской Реальное имя: Евгений Репутация: 0 |
?
походу все давно эту тему проходили..  |
|
|
|
| Lapp |
Сообщение
#3
|
 Уникум Группа: Пользователи Сообщений: 6 823 Пол: Мужской Реальное имя: Лопáрь (Андрей) Репутация: 159 |
Цитата(Rocket @ 30.10.2008 23:59)  походу все давно эту тему проходили.. по ходу, я тоже  Если можешь, приведи саму систему аксиом, или хотя бы обяснение каждого квантора. Конкретно, у меня вызывает затруднение твоя точка с запятой, ";". -------------------- я - ветер, я северный холодный ветер
я час расставанья, я год возвращенья домой |
|
|
|
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 23.10.2020 7:43 |
Связь с администрацией: bu_gen в домене octagram.name