述語論理
predicate logic
命題の内部構造も問う論理
変数が含まれている式は命題ではない
ex. 「x>1」は命題ではない
用語
first-order fomula
命題関数同士を組み合わせることで得られる式
関連
参考
論理式
論理式
部分論理式
論理式の解釈
読む
原子論理式の値
否定の値
論理積の値
論理和の値
排他的論理和の値
含意の値
同等の値
全称命題の値
存在命題の値
論理式の解釈
恒真式
恒真式
必要条件と十分条件
必要十分条件
同値変形の法則
ベキ等律
交換律
結合律
分配律
吸収律
ド・モルガンの法則
零元・単位元としての命題定数
矛盾律
排中律
二重否定
論理演算の同値表現
移出律と移入律
対偶律
量化記号と否定
量化記号と論理積
量化記号と論理和
量化記号の置換
推論
推論規則
含意除去
含意導入
連言導入
連言除去
選言導入
選言除去
二重否定導入
二重否定除去
否定導入
否定除去
後件否定
選言三段論法
仮言三段論法
構成的ジレンマ
破壊的ジレンマ
存在導入
存在除去
全称除去
全称導入
証明
読む
証明
条件付き証明