Не опираясь на теорему о полноте, докажите выводимость формулы (𝐴 → (𝐵 → 𝐶)) ↔ (¬𝐴 ∨ ¬𝐵 ∨ 𝐶) в исчислении высказываний. https://ibb.co/1TdWGXD задан 9 Дек '20 21:26 john44444 |
Не опираясь на теорему о полноте, докажите выводимость формулы (𝐴 → (𝐵 → 𝐶)) ↔ (¬𝐴 ∨ ¬𝐵 ∨ 𝐶) в исчислении высказываний. https://ibb.co/1TdWGXD задан 9 Дек '20 21:26 john44444 |
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
9 Дек '20 21:26
показан
610 раз
обновлен
9 Дек '20 23:40
У Вас не указаны аксиомы и правила вывода исчисления. Там ведь есть очень много разных версий.
любой вариант.можно использовать 11 аксиом, modus ponens, посылки
@john44444: любой вариант использовать нельзя. Например, есть распространённое исчисление L из учебника Мендельсона. Там из логических связок есть только отрицание и импликация.
Систему аксиом и правил нужно предъявить здесь -- хотя бы для того, чтобы при ответе ссылаться на номера, и видеть всё перед глазами.
https://ibb.co/1TdWGXD
Посмотрите здесь близкий по характеру пример. Исчисление там слегка отличается, но общие принципы те же. Попробуйте разобрать и решить по аналогии.