~((A & (B -> C)) -> B) -> (A & ~B) , где ~ это отрицание

задан 25 Фев '19 23:34

@Sovarka: все задачи о выводе в исчислениях должны сопровождаться точным и полным списком правил. Без этого постановка задач такого типа имеет мало смысла -- вариантов исчислений имеется довольно много.

Можете также посмотреть через поиск задачи похожего типа на форуме. Я точно помню, что они были.

(25 Фев '19 23:44) falcao
(25 Фев '19 23:59) Pancake
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×928
×430

задан
25 Фев '19 23:34

показан
190 раз

обновлен
25 Фев '19 23:59

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

по почте:

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

по RSS:

Ответы

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

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