0
1

Не опираясь на теорему о полноте, докажите выводимость формулы (𝐴 → (𝐵 → 𝐶)) ↔ (¬𝐴 ∨ ¬𝐵 ∨ 𝐶) в исчислении высказываний. https://ibb.co/1TdWGXD

задан 9 Дек '20 21:26

изменен 9 Дек '20 22:15

1

У Вас не указаны аксиомы и правила вывода исчисления. Там ведь есть очень много разных версий.

(9 Дек '20 21:29) falcao

любой вариант.можно использовать 11 аксиом, modus ponens, посылки

(9 Дек '20 22:05) john44444
1

@john44444: любой вариант использовать нельзя. Например, есть распространённое исчисление L из учебника Мендельсона. Там из логических связок есть только отрицание и импликация.

Систему аксиом и правил нужно предъявить здесь -- хотя бы для того, чтобы при ответе ссылаться на номера, и видеть всё перед глазами.

(9 Дек '20 22:09) falcao
(9 Дек '20 22:15) john44444

Посмотрите здесь близкий по характеру пример. Исчисление там слегка отличается, но общие принципы те же. Попробуйте разобрать и решить по аналогии.

(9 Дек '20 23:40) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,055

задан
9 Дек '20 21:26

показан
221 раз

обновлен
9 Дек '20 23:40

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru