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

Найти производные функций y=5x2-2x+sinπ4

890 символов
Высшая математика
Контрольная работа

Проверить на оптимальность планы перевозок закрытой транспортной задачи

1512 символов
Высшая математика
Контрольная работа
Все Контрольные работы по высшей математике
Закажи контрольную работу
Оставляя свои контактные данные и нажимая «Узнать стоимость», я соглашаюсь пройти процедуру регистрации на Платформе, принимаю условия Пользовательского соглашения и Политики конфиденциальности в целях заключения соглашения.

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