サクサク読めて、アプリ限定の機能も多数!
排中律、爆発律、帰結関係の単調性と冪等性、論理積の交換則、ド・モルガンの双対性
KatagiriSo のブックマーク 2016/04/29 21:29
古典論理 - Wikipedia[論理学]排中律、爆発律、帰結関係の単調性と冪等性、論理積の交換則、ド・モルガンの双対性2016/04/29 21:29
このブックマークにはスターがありません。 最初のスターをつけてみよう!
ja.wikipedia.org2014/10/05
古典論理(こてんろんり、英: classical logic)は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理(英: standard logic)とも呼ばれる[1][2]。 以下に示す性質が特徴である:[3] 排中律...
4 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
排中律、爆発律、帰結関係の単調性と冪等性、論理積の交換則、ド・モルガンの双対性
KatagiriSo のブックマーク 2016/04/29 21:29
このブックマークにはスターがありません。
最初のスターをつけてみよう!
古典論理 - Wikipedia
ja.wikipedia.org2014/10/05
古典論理(こてんろんり、英: classical logic)は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理(英: standard logic)とも呼ばれる[1][2]。 以下に示す性質が特徴である:[3] 排中律...
4 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /