17/09/24 21:59:25.24 K2Xyf521.net
(a, b) = (c, d) ⇔ a = c ∧ b = d
の証明ですが、単なる論理遊びにしか見えません。
17/09/24 21:59:25.24 K2Xyf521.net
(a, b) = (c, d) ⇔ a = c ∧ b = d
の証明ですが、単なる論理遊びにしか見えません。
17/09/24 21:59:25.24 K2Xyf521.net
(a, b) = (c, d) ⇔ a = c ∧ b = d
の証明ですが、単なる論理遊びにしか見えません。