数学基礎論・数理論理 ..
[
2ch
|
▼Menu
]
98:132人目の素数さん
24/03/26 16:33:51.78 6Gb4+y1g.net
>>97
命題論理におけるP→Qの扱いはPからQが導かれたという流れを抽象化したものだよ
→EがModus Ponensで→Iがそれ
次ページ
続きを表示
1を表示
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック!
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
66日前に更新/36 KB
担当:undef