generalização universal
Sign in to saverule in predicate logic
Article · Português
Na lógica de predicados, generalização (também generalização universal ou introdução universal, GEN) é uma regra de inferência valida. Ela afirma que se foi deduzido, então pode ser deduzido.
Abstract from DBpedia / Wikipedia · CC BY-SA