論理学

用語

項: 式ではないやつ。定数とか変数

閉項: 変数を持たない項。つまり、定数記号と関数記号のみからなる項

関連

参考

授業のやつ

恒真式

必要条件と十分条件

必要十分条件

同値変形の法則

ベキ等律

零元・単位元としての命題定数

二重否定

論理演算の同値表現

双対原理

推論

推論規則

含意除去

含意導入

連言導入

連言除去

選言導入

選言除去

二重否定導入

二重否定除去

否定導入

否定除去

後件否定

選言三段論法

仮言三段論法

構成的ジレンマ

破壊的ジレンマ

証明

証明

条件付き証明

背理法

対偶法

消去法

場合分け