04/03/26 20:15
１）Ｇｘ：ｘは神である
２）Ｐｘ：ｘは完全である
３）Ｅｘ：ｘは存在する
∀ｘ（Ｇｘ⇒Ｐｘ）：ｘが神ならばｘは完全である
∀ｘ（Ｐｘ⇒Ｅｘ）：ｘが完全ならばｘは存在する
-------------------------------------
ゆえにｘが神ならばｘは存在する。G.O.D.
このままでは神の存在証明にならないと思いますよん。
だって変数ｘに定項ｇを代入するとき
すでにｇの存在が仮定さてれるんだもーん！
いやーまいった。デカルトおじさんも脱帽だね。
04/03/26 20:15
１）Ｇｘ：ｘは神である
２）Ｐｘ：ｘは完全である
３）Ｅｘ：ｘは存在する
∀ｘ（Ｇｘ⇒Ｐｘ）：ｘが神ならばｘは完全である
∀ｘ（Ｐｘ⇒Ｅｘ）：ｘが完全ならばｘは存在する
-------------------------------------
ゆえにｘが神ならばｘは存在する。G.O.D.
このままでは神の存在証明にならないと思いますよん。
だって変数ｘに定項ｇを代入するとき
すでにｇの存在が仮定さてれるんだもーん！
いやーまいった。デカルトおじさんも脱帽だね。