Photos P X

< Previous photo
Photo - 3
Next photo >
P x. P(X) Q(X). P X Q X 0. A ( X + P ) 2 + Q. ((X ∈ P) ≡ (X ∈ Q)) → ¬(X ∈ A).
P(X) Q(X). P X Q X 0. A ( X + P ) 2 + Q. ((X ∈ P) ≡ (X ∈ Q)) → ¬(X ∈ A).

See also