ホーム
おまかせ表示
付近
ログイン
設定
寄付
ウィキペディアについて
免責事項
検索
Category
:
命題論理の定理
言語
ウォッチリストに追加
編集
ウィキメディア・コモンズに関連カテゴリがあります。
Theorems in propositional logic
命題論理
の
定理
に関するカテゴリ。
→「
en:Category:Theorems in propositional logic
」も参照
カテゴリ「命題論理の定理」にあるページ
このカテゴリには 18 ページが含まれており、そのうち以下の 18 ページを表示しています。
*
論理和の導入
か
仮言三段論法
き
吸収法則
す
論理和の消去
論理積の消去
せ
選言三段論法
た
対偶 (論理学)
と
同一性
導出原理
ド・モルガンの法則
に
二重否定の除去
は
パースの法則
排中律
背理法
ふ
フレーゲの定理
む
無矛盾律
も
モーダストレンス
モーダスポネンス