Also known as existential rules
inference rule that infers “there exists an A that is B” from “A is B”
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).
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).