EntityQ5161172· pop 7· linked from 54 articlesConjunction introductionSign in to saverule of inference of propositional logicConnectionslogicEntityInternational Standard Book NumberEntitycommutative propertyEntityassociativityEntityinferenceEntitypropositional calculusEntitypropositionEntitydistributive propertyEntityDe Morgan's lawsEntitylogical conjunctionEntityfirst-order logicEntityformal systemEntitymodus ponensEntitylogical consequenceEntityvalidityEntitymodus tollensEntitycontrapositionEntityrule of inferenceEntitymetalogicEntityhypothetical syllogismEntityCategoriesRules of inferenceTheorems in propositional logic