数学
経済学
情報
思想
ブログ
ワイズについて
メニュー
検索
ログイン
会員登録
述語論理
トップ
数学
論理
論理
1. 論理式
読む
述語論理
議論領域
原子論理式
論理式
部分論理式
閉論理式・開論理式
解く
演習問題
2. 論理式の解釈
読む
原子論理式の値
否定の値
論理積の値
論理和の値
排他的論理和の値
含意の値
同等の値
全称命題の値
存在命題の値
論理式の解釈
解く
演習問題
3. 恒真式
読む
恒真式
必要条件と十分条件
必要十分条件
解く
命題の証明
演習問題
4. 同値変形の法則
読む
ベキ等律
交換律
結合律
分配律
吸収律
ド・モルガンの法則
零元・単位元としての命題定数
矛盾律
排中律
二重否定
論理演算の同値表現
移出律と移入律
対偶律
量化記号と否定
量化記号と論理積
量化記号と論理和
量化記号の置換
解く
命題の証明
演習問題
5. 推論
読む
推論規則
含意除去
含意導入
連言導入
連言除去
選言導入
選言除去
二重否定導入
二重否定除去
否定導入
否定除去
後件否定
選言三段論法
仮言三段論法
構成的ジレンマ
破壊的ジレンマ
存在導入
存在除去
全称除去
全称導入
解く
命題の証明
演習問題
6. 証明
読む
証明
条件付き証明
解く
命題の証明
演習問題
論理