Задать вопрос
adsllinkact
@adsllinkact
adsllinkact
математика

Как доказать выводимость формул в исчислении высказываний?

2b6d3d9f3cd24ba88f254eb4680aba30.png
  • Вопрос задан
  • 844 просмотра
Комментировать
Подписаться 1 Оценить Комментировать
Пригласить эксперта
Ответы на вопрос 1
@Mercury13
Программист на «си с крестами» и не только
Любая тождественно истинная формула выводима. Любая выводимая формула тождественно истинна.
Первый курс университета.
Так что — либо вывести из десятка аксиом, либо доказать тождественную истинность.
Ответ написан
2 комментария
2 комментария
Ваш ответ на вопрос

Войдите, чтобы написать ответ

Похожие вопросы
Вакансии с Хабр Карьеры
Учитель математики
СОШ №15 В.О. района г. Санкт-Петербурга • Санкт-Петербург
от 30 000 до 100 000 ₽
Стажер Аналитик
ПСБ цифровая лаборатория • Москва
от 30 000 до 60 000 ₽
Solution Architect/Архитектор цифровых решений
НПО Фарватер
от 100 000 до 200 000 ₽
Ещё вакансии