EntityQ5364991· pop 7· linked from 63 articlesuniversal generalizationSign in to saverule in predicate logicConnectionsfirst-order logicEntitycommutative propertyEntityassociativityEntitypropositional calculusEntitydistributive propertyEntityDe Morgan's lawsEntitymodus ponensEntityvalidityEntitymodus tollensEntitycontrapositionEntityrule of inferenceEntityhypothetical syllogismEntitydeduction theoremEntitydisjunctive syllogismEntityfaulty generalizationEntitydouble negationEntitymodus ponendo tollensEntityconjunction eliminationEntityUniversal instantiationEntitydisjunction introductionEntityCategoriesPredicate logicRules of inference