Все сервисы Хабра
Сообщество IT-специалистов
Ответы на любые вопросы об IT
Профессиональное развитие в IT
Закрыть
Задать вопрос
Руслан Пикулин
@adsllinkact
adsllinkact
Математика
Дискретная математика
Как доказать выводимость формул в исчислении высказываний?
Вопрос задан
более трёх лет назад
844 просмотра
Комментировать
Подписаться
1
Оценить
Комментировать
Facebook
Вконтакте
Twitter
Решения вопроса
0
Пригласить эксперта
Ответы на вопрос
1
Mercury13
@Mercury13
Программист на «си с крестами» и не только
Любая тождественно истинная формула выводима. Любая выводимая формула тождественно истинна.
Первый курс университета.
Так что — либо вывести из десятка аксиом, либо доказать тождественную истинность.
Ответ написан
более трёх лет назад
2
комментария
Нравится
2
комментария
Facebook
Вконтакте
Twitter
Руслан Пикулин
@adsllinkact
Автор вопроса
В формуле есть дизьюнкции и нет скобок перед тождеством. Может быть это ошибка?
Написано
более трёх лет назад
Mercury13
@Mercury13
Обычно тождество имеет приоритет меньший, чем всё остальное.
Написано
более трёх лет назад
Ваш ответ на вопрос
Войдите, чтобы написать ответ
Войти через центр авторизации
Похожие вопросы
Математика
Средний
Как правильно заниматься перебором: a³ + b³ + c³ = d³?
1 подписчик
22 мая
319 просмотров
1
ответ
Математика
+1 ещё
Простой
Имеется ли для комбинаторного задания однозначная интерпретация?
1 подписчик
12 мая
132 просмотра
1
ответ
Программирование
+1 ещё
Простой
Как симулировать комбинаторные сочетания (C(k, n)) за O(1) памяти?
1 подписчик
06 мая
377 просмотров
2
ответа
Математика
+2 ещё
Средний
Не могу посчитать соотношения Крамерса-Кронига в Вольфраме, какие причины?
1 подписчик
29 апр.
108 просмотров
0
ответов
Математика
+1 ещё
Простой
В чем суть логической ошибки, продемонстрированной в старинном учебнике?
3 подписчика
24 апр.
2736 просмотров
4
ответа
IT-образование
+1 ещё
Простой
Есть ли смысл учить школьную статистику и вероятность?
2 подписчика
18 апр.
1126 просмотров
3
ответа
Математика
+2 ещё
Простой
Как учить понять школьную геометрию?
1 подписчик
11 апр.
850 просмотров
3
ответа
C#
+2 ещё
Средний
Как обновлять AABB бокс при повороте?
1 подписчик
02 апр.
143 просмотра
1
ответ
Программирование
+2 ещё
Простой
Говорят,что не надо знать матем. при изучении программирования, но почему все задачи математические?
3 подписчика
30 мар.
1596 просмотров
9
ответов
Математика
Средний
Как понять смысл и принцип разложения булевой функции?
2 подписчика
24 мар.
905 просмотров
0
ответов
Показать ещё
Загружается…
Вакансии с Хабр Карьеры
Программист Python
SPA2099
•
Москва
До 100 000 ₽
Techlead
Гумич РТК
•
Москва
от 400 000 ₽
С++ разработчик в блокчейн-проект (blockchain)
Zano
от 3 000 до 10 000 $
Минуточку внимания
Войдите на сайт
Чтобы задать вопрос и получить на него квалифицированный ответ.
Войти через центр авторизации
Закрыть
Реклама