大学学部レベル質問スレ 9単位目

[0343 １３２人目の素数さん 2018/02/16(金) 14:27:27.99 ID:s/7VVjZ5]

∃y (y ∈ φ × φ ∧ (x, y) ∈ Γ_Δ ∧ (y, z) ∈ Γ_(0 × ξ) )

は、

∃y (y ∈ φ ∧ (x, y) ∈ φ ∧ (y, z) ∈ φ )

で、

∃y (y ∈ φ)
∃y ((x, y) ∈ φ)
∃y ((y, z) ∈ φ )

はすべて偽ですね。