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

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

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

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

Войти через центр авторизации
Похожие вопросы
Вакансии с Хабр Карьеры
Преподаватель по олимпиадному программированию
CODDY • Москва
от 20 000 до 40 000 ₽
Программист-разработчик систем САУ
Альбатрос • Москва
До 200 000 ₽
Senior ML Engineer (Computer Vision)
Gradient
от 450 000 ₽
Ещё вакансии
Заказы с Хабр Фриланса
Специалист по телеграм
05 мая 2024, в 04:55
12000 руб./за проект
Название проекта: Бот Telegram для автоматизации судебных приказов
05 мая 2024, в 02:15
30000 руб./за проект
Десктоп приложение для добавления товаров на Python
05 мая 2024, в 01:43
5000 руб./за проект
Ещё заказы