普遍汎化

普遍汎化（ふへんはんか、英: Universal generalization, Universal introduction, GEN）は、述語論理において妥当な推論規則のひとつである。これは、もしが導出されていれば、を導出してよい、という意味である。