Каждый студент 2-ого курса подписан на мат журнал Кислякова. Бесплатный доступ к решению задач

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

Каждый студент 2-ого курса подписан на мат журнал Кислякова .pdf

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

Условие

Каждый студент 2-ого курса подписан на мат. журнал Кислякова. Некоторые подписчики журнала знают Кислякова лично. Среди знакомых Кислякова есть члены клуба дебатов. Следовательно, каждый студент второго курса – член клуба дебатов.

Решение

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

Px⟺x-знакомые Кислякова
Sx⟺x-подписан на журнал Кислякова
Qx⟺x- член клуба дебатов
Cx⟺x-студент второго курса
Ф1=∀x(Cx→Sx)
Ф2=∃x(Sx∧Px)
Ф3=∃x(Px∧Qx)
Ψ=∀x(Cx→Qx)
Избавляемся от кванторов, при этом кванторы существования заменяем сколемовской постоянной (a=const):
Ф1=Cx→Sx
Ф2=Sa∧Pa
Ф3=Pa∧Qa
Ψ=Cx→Qx
Избавляем от импликации по правилу A→B=¬A∨B, а конъюнкты Ф2 и Ф3 разделяем на четыре конъюнкта:
Ф1=¬Cx∨Sx
Ф2=Sa
Ф3=Pa
Ф4=Pa
Ф5=Qa
Ψ=¬Cx∨Qx
Резольвенты составить нельзя, значит, высказывание ложно.

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

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

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