スポンサーサイト

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

カリーのパラドックス

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

karishomezu.png

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

コメントの投稿

非公開コメント

カリーのパラドックスは古典論理の命題の系

「カリーのパラドックスは古典論理の命題の系」という小文を書きました。参考にしてください。
プロフィール

SHUN

Author:SHUN

アクセス数
最近の記事とコメント
カレンダー
09 | 2017/10 | 11
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ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。