赤点女王 アプサラス

∀ x {(G(x) → H(x)) ∧ (F(x)

私が好きなのはオトコよ。

→ G(x))} ⇒ F(x) → H(x)

乙女の代表だわ。

∀ x {(G(x) → H(x)) ∧ (F(x) → G(x))} ⇒

つまり

({x|G(x)} ⊆ {x|H(x)}) ∧ ({x|F(x)} ⊆

【私は代表委員よ】

({x|G(x)} ⊆ {x|H(x)}) ∧ ({x|F(x)}