EntityQ5164489· pop 5· linked from 52 articlesconstructive dilemmaSign in to saveRule of inference of propositional logicConnectionslogicEntitytheoremEntitycommutative propertyEntityassociativityEntityinferenceEntitypropositional calculusEntitydistributive propertyEntitylogical disjunctionEntityDe Morgan's lawsEntitymaterial implicationEntitytautologyEntityfirst-order logicEntityformal systemEntitymodus ponensEntitylogical consequenceEntitymodus tollensEntityvalidityEntityrule of inferenceEntitycontrapositionEntitymetalogicEntityCategoriesDilemmasRules of inferenceTheorems in propositional logic