- 273 名前：偉い人 mailto:sage [05/03/19 11:32:10 ]
- ＞∀(x=y∧x∈z)⇒∀y(y∈z)・・・(1)
＞はもしかしてCutなしでは証明できないのではないでしょうか。
そもそも∀の後ろに何の変数もない式は証明できないだろう。
＞もちろん
＞ ∀(x=y∧x∈z)⇒∀x(x∈z)・・・(2)
＞は簡単に証明できますから、
それは、君が論理法則を誤解してるということ。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef