Задание по матлогике

[ariel777]

Как проверить "справедливость" утверждающе отрицающего модуса (на картинке)? В каком случае модус справедлив а в каком "не справедлив"? Каков критерий "справедливости"?

Правильный ответ: модус справедлив при Х1=И;Х2=Л;Х3=Л, и при Х1=И;Х2=И;Х3=И, в остальных 6 случаях так понимаю он "не справедлив".
Пытаюсь понять почему это так при данных значениях и просто для себя разобраться хочу.
Почему так?

[Connector]

ariel777
Имхо модус справедлив при всех значениях $X_{1}$, $X_{2}$, $X_{3}$, на то это и модус. Просто когда мы строим умозаключение, мы уверены, что из истинных посылок получим истинное заключение; но даже если посылки ложны, то это не отменяет правильности схемы вывода. Схема была бы неверна, если бы мы при истинных посылках имели ложное заключение.

[ariel777]

И тем не менее ответов "справедлив" всего 2 из 8 (2 набора значений: 1,0,0;1,1,1).

[Connector]

ariel777
А какую книгу Вы читаете? Где приведено такое задание и такие ответы?

[ariel777]

Прослушал онлайн курс Мат.логика Бояршинова (из 21 лекции) на Youtube, а на сервисе интуит ру 21 тест (по темам). Это был тест №11.
Там в замечаниях по курсу люди пишут, что в тестах есть ошибки, но конкретно про тесты 11, 12 не было замечаний, хотя прошли его сотни людей.

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);
- отсутствуют собственные содержательные попытки решения задач(и).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.