スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

カリーのパラドックス

かなり前の記事で、パラドックスを扱いましたがカリーのパラドックスを、Wikipediaで読んだので、
そこの「数理論理学の場合」に書いてある内容を参考にして、
記号論理学で学んだ自然演繹で証明図を書いてみた。(こうだよね?)

karishomezu.png

興味本位で証明図を書いてみたんだけど、果たしてこれはパラドックスなのか???
前提Φ=(Φ→Ψ)が、仮定されてるわけだから、無条件にΨとは言えないよね…。
この条件は無条件に導き出せるのか・・・?
どこらへんが、パラドックスなのか頭が混乱してきたから、詳しい人教えて。
スポンサーサイト
プロフィール

SHUN

Author:SHUN

アクセス数
最近の記事とコメント
カレンダー
07 | 2011/08 | 09
- 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31 - - -
月別アーカイブ
カテゴリ
Vocaloid Ranking Watcher
全記事表示リンク

全ての記事を表示する

Evangelion
検索フォーム
リンク
ブロとも申請フォーム

この人とブロともになる

個人的 神曲
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。