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

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

2b6d3d9f3cd24ba88f254eb4680aba30.png
  • Вопрос задан
  • 845 просмотров
Комментировать
Подписаться 1 Оценить Комментировать
Помогут разобраться в теме Все курсы
  • Яндекс Практикум
    Математика для анализа данных
    6 месяцев
    Далее
  • Skillbox
    Профессия Data Analyst
    12 месяцев
    Далее
  • Нетология
    Data Scientist: расширенный курс
    13 месяцев
    Далее
Пригласить эксперта
Ответы на вопрос 1
@Mercury13
Программист на «си с крестами» и не только
Любая тождественно истинная формула выводима. Любая выводимая формула тождественно истинна.
Первый курс университета.
Так что — либо вывести из десятка аксиом, либо доказать тождественную истинность.
Ответ написан
2 комментария
2 комментария
Ваш ответ на вопрос

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

Похожие вопросы
Вакансии с Хабр Карьеры
Стажер Аналитик
ПСБ цифровая лаборатория • Москва
от 30 000 до 60 000 ₽
Deep Learning Engineer (GigaChat Prod)
Сбер • Москва
от 350 000 ₽
Аналитик-разработчик (команда Intelligent Search)
Сбер • Москва
от 250 000 до 400 000 ₽
Ещё вакансии