Similar to 論理和の消去

Anscombe's quartet

Safe prime

Igor Ansoff

Anderson–Darling test

Stable curve

Stable marriage problem

Rule of inference

Conjunction introduction

Template:Transformation rules

Converse (logic)

Existential generalization

Existential instantiation

Proof by contrapositive

Universal generalization

Universal instantiation

Absorption law

Identity (philosophy)

Peirce's law

Law of excluded middle

Proof by contradiction

Frege's theorem

Law of noncontradiction