Пользуясь определением понятия логического следствия. Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по высшей математике
Пользуясь определением понятия логического следствия

Пользуясь определением понятия логического следствия .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Пользуясь определением понятия логического следствия, выясните, справедливо ли логическое следование ¬P→¬Q, P⊨Q

Решение

Потяни, чтобы посмотреть

По определению Φ1, Φ2⊨Ψ если при одновременной истинности Φ1, Φ2 обязательно истинна Ψ . Построим таблицы истинности
P
Q
¬P
¬Q
¬P→¬Q
0 0 1 1 1
0 1 1 0 0
1 0 0 1 1
1 1 0 0 1
В третьей строке истинны ¬P→¬Q и P, но Q — ложно, значит логического следования нет.

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу