EntityQ5282267· pop 8· linked from 57 articlesdisjunction introductionSign in to saveinference introducing a disjunction in logical proofsConnectionsformal systemEntityEnglish languageConceptInternational Standard Book NumberEntitytheoremEntitycommutative propertyEntityassociativityEntityinferenceEntitypropositional calculusEntitydistributive propertyEntityDe Morgan's lawsEntitylogical disjunctionEntitytautologyEntityfirst-order logicEntitymodus ponensEntitylogical consequenceEntitymodus tollensEntityvalidityEntitycontrapositionEntityrule of inferenceEntitymetalogicEntityCategoriesParaconsistent logicRules of inferenceTheorems in propositional logic