排中律、爆発律、帰結関係の単調性と冪等性、論理積の交換則、ド・モルガンの双対性

KatagiriSoKatagiriSo のブックマーク 2016/04/29 21:29

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

古典論理 - Wikipedia

    古典論理(こてんろんり、英: classical logic)は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理(英: standard logic)とも呼ばれる[1][2]。 以下に示す性質が特徴である:[3] 排中律...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう