Математическая логика, Исчисление высказываний |
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
Математическая логика, Исчисление высказываний |
Rocket |
Сообщение
#1
|
Знаток Группа: Пользователи Сообщений: 306 Пол: Мужской Реальное имя: Евгений Репутация: 0 |
Нужно доказать выводимость формулы, используя классический метод, то есть используя систему аксиом исчисления высказывания. Что-то ну никак у меня не получается...
Прикрепленные файлы ex.bmp ( 32.65 килобайт ) Кол-во скачиваний: 457 |
Текстовая версия | 17.05.2024 1:06 |