{"version":"1.0","type":"link","title":"Universal generalization - Newikis","description":"In predicate logic, generalization (also universal generalization, universal introduction, GEN, UG) is a valid inference rule. It states that if has been derived, then can be derived.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}