展開する (\forall y)(\forall z)(x+y=z)

解

展開する

(\forall y) (\forall z) (x + y = z)

解答ステップ

(\forall y) (\forall z) (x + y = z)

= (\forall y) (\forall z) (x + = yz)

分配法則を適用する:

a (b + c) = ab + a c

a = (\forall y) (\forall z), b = x, c = y = z

(\forall y) (\forall z) x + (\forall y) (\forall z) y = z

x (\forall y) (\forall z) + y (\forall y) (\forall z) = z

拡張

x (\forall y) (\forall z) + y (\forall y) (\forall z) : \forall^{2} yz x + \forall^{2} y^{2} z

\forall^{2} yz x + \forall^{2} y^{2} z = z