例化原理

3行要約

1. 全称記号（すべての〜）で示された命題から、個別の対象の命題を導く論理規則。
2. 普遍例化とも呼ばれ、三段論法などの推論において中心的な役割を果たす。
3. 数学的証明や日常的な論理的思考のプロセスを形式化する際に用いられる。