Question

秋里

大学数学:離散数学 の 論理式について質問です。
写真の問題4 の同値変形のやり方が分からないので、途中式ありで開設して頂けるとありがたいです。

次の論理式をヨ, →, ∧を含まないように同値変形せよ.
1. ヨx(x = x)
2.z(x∈zy∈z)
3. ヨy∀z(z Cx →z∈y)
4.x(Ø∈x^∀y(y∈x → (yu{y}) ∈x))

大学 数学 論理式