EntityQ5420356· pop 6· linked from 49 articlesexistential generalizationSign in to saveinference rule that infers “there exists an A that is B” from “A is B”Connectionsfirst-order logicEntityexistential quantificationEntitylogicEntityInternational Standard Book NumberEntityOCLC, Inc.Entitycommutative propertyEntityassociativityEntityWillard Van Orman QuineEntitypropositional calculusEntitydistributive propertyEntityDe Morgan's lawsEntityquantifierEntityreferenceEntitymodus ponensEntitymodus tollensEntityvalidityEntitycontrapositionEntityrule of inferenceEntityhypothetical syllogismEntitydisjunctive syllogismEntityCategoriesPredicate logicRules of inference