Каждый студент 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 Резольвенты составить нельзя, значит, высказывание ложно.