EntityQ4669893· pop 6· linked from 50 articlesabsorptionSign in to saveinference rule where, given P→Q, one deduces P→(P∧Q)Connectionspropositional calculusEntitydistributive propertyEntityBertrand RussellEntitytheoremEntityAlfred North WhiteheadEntitycommutative propertyEntityassociativityEntityDe Morgan's lawsEntitylogical conjunctionEntitytautologyEntityprinciple of excluded middleEntityfirst-order logicEntityformal systemEntityPrincipia MatheEntitymodus ponensEntitylogical consequenceEntityvalidityEntitymodus tollensEntitycontrapositionEntityrule of inferenceEntityCategoriesRules of inferenceTheorems in propositional logic