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

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

Γ_(0 × ξ) 〇 Δ

=

{(x, z) | (x, z) ∈ φ × (X × 2^X) ∧ ∃y ∈ φ × φ ( (x, y) ∈ Γ_Δ ∧ (y, z) ∈ Γ_(0 × ξ) )}

=

{(x, z) | (x, z) ∈ φ ∧ ∃y (y ∈ φ) ∧ ∃y ((x, y) ∈ φ) ∧ ∃y ((y, z) ∈ φ)}