 Математическая логика, Исчисление высказываний |
Компиляция правил для данного раздела
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
| Rocket |
 29.10.2008 21:34
Сообщение
#1
|
 Знаток  Группа: Пользователи Сообщений: 306 Пол: Мужской Реальное имя: Евгений Репутация:  0   |
Нужно доказать выводимость формулы, используя классический метод, то есть используя систему аксиом исчисления высказывания. Что-то ну никак у меня не получается...
Прикрепленные файлы 
ex.bmp ( 32.65 килобайт )
Кол-во скачиваний: 200 |
   |
 
|
Сообщений в этой теме
Rocket Математическая логика 29.10.2008 21:34
Rocket ?
походу все давно эту тему проходили.. :unsure: 30.10.2008 22:59 Lapp
походу все давно эту тему проходили.. :unsure:
п... 31.10.2008 1:09  |
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 25.07.2025 16:36 |