Логотип Автор24реферат
Задать вопрос
%
уникальность
не проверялась
Контрольная работа на тему:

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

уникальность
не проверялась
Аа
367 символов
Категория
Высшая математика
Контрольная работа
Пользуясь определением понятия логического следствия .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% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше контрольных работ по высшей математике:
Все Контрольные работы по высшей математике
Закажи контрольную работу

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.