generalización universal
Sign in to saverule in predicate logic
Article · Español
En lógica de predicados, generalización (también generalización universal o introducción universal, GEN) es una regla de inferencia válida. Ella establece que si se ha derivado , entonces puede derivarse
Abstract from DBpedia / Wikipedia · CC BY-SA