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

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

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

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

Похожие вопросы
Вакансии с Хабр Карьеры
Преподаватель по олимпиадному программированию
CODDY • Москва
от 25 000 до 45 000 ₽
Manual QA Engineer
Hoohah Barrel
от 50 000 до 80 000 ₽
Manual QA Engineer
Hoohah Barrel
от 30 000 до 60 000 ₽
Ещё вакансии
Заказы с Хабр Фриланса
Тг скрипт для рассылки
29 нояб. 2024, в 04:45
5000 руб./за проект
Авито, скрипт для массовой рассылки
29 нояб. 2024, в 04:42
5000 руб./за проект
Разметчик данных (аннотатор, асессор ML-датасетов) на ГПХ
29 нояб. 2024, в 02:30
60000 руб./за проект
Ещё заказы