【命題と論理】【推論と証明】

推論：命題から命題を導き出すこと

証明：推論を繰り返す過程のこと

定理：新しく得られた命題

公理：定理を導く前提となる普遍的命題

十分条件：p -> q

必要条件：p <- q

必要十分条件：p <-> q

背理法

数学的帰納法