数理論理学（数学基礎論）　その13at MATH

---

808:１３２人目の素数さん
19/02/11 16:18:51.20 YSRNi+IZ.net
>>769
>で結局回り道みたいな議論した所で｢P→￢P |- ￢P｣の主張そのものが排中律と同じ。
P P→￢P |- ￢P
P ￢P |- 人
P P→￢P |- 人
P→￢P |- ￢P
どこに排中律使ってる？

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch