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