Математическая логика - Форум «Всё о Паскале»

Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++

Сайт «Всё о Паскале» > Форум > Образование и наука > Математика

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Компиляция правил для данного раздела

1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!

Математическая логика, Исчисление высказываний

Опции

Rocket	30.10.2008 1:34 Сообщение #1
Знаток Группа: Пользователи Сообщений: 306 Пол: Мужской Реальное имя: Евгений Репутация: 0	Нужно доказать выводимость формулы, используя классический метод, то есть используя систему аксиом исчисления высказывания. Что-то ну никак у меня не получается... Прикрепленные файлы ex.bmp ( 32.65 килобайт ) Кол-во скачиваний: 513

Ответов

Rocket	31.10.2008 2:59 Сообщение #2
Знаток Группа: Пользователи Сообщений: 306 Пол: Мужской Реальное имя: Евгений Репутация: 0	? походу все давно эту тему проходили..

Lapp	31.10.2008 5:09 Сообщение #3
Уникум Группа: Пользователи Сообщений: 6 823 Пол: Мужской Реальное имя: Лопáрь (Андрей) Репутация: 159	Цитата(Rocket @ 30.10.2008 23:59) походу все давно эту тему проходили.. по ходу, я тоже Если можешь, приведи саму систему аксиом, или хотя бы обяснение каждого квантора. Конкретно, у меня вызывает затруднение твоя точка с запятой, ";". -------------------- я - ветер, я северный холодный ветер я час расставанья, я год возвращенья домой