数理論理学

鈴木雄介４つの思考の法則、スズキ４思考法則
同一律：AはA（A=A）
矛盾律：Aは非Aでない、AかつAでない事はない（￢（A＝￢A）⇔￢（A∧￢A））
排中律：AかAでない（A∨￢A）
中庸律：Aかつ非A、AかAでない事はない（A∧￢A⇔￢(A∨￢A)）