Generalização existencial

Na lógica de predicados, a generalização existencial (∃I, também chamada como introdução existencial) é uma regra de inferência válida que permite passar de uma instância, ou um enunciado especifico, para um enunciado generalizador quantificada, ou . Na lógica de primeira ordem, é frequentemente utilizada a regra para o quantificador existencial (∃) em provas formais. Exemplo: "Rover ama abanar sua cauda. Logo, algo gosta de abanar a cauda." Em : Substituir por 'a', todas as instâncias de x dentro de Q(x).