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

Плотность распределения непрерывной случайной величины X имеет вид

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

Определить радиус и интервал сходимости степенного ряда

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

Решите дифференциальное однородное уравнение

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

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