>>402
論理式
A→B

A:= { x | ¬(x ∈ x) }