Distributive Property - Propositional Logic

Propositional Logic

Transformation rules
Propositional calculus

Rules of inference
Modus ponens
Modus tollens
Biconditional introduction
Biconditional elimination
Conjunction introduction
Simplification
Disjunction introduction
Disjunction elimination
Disjunctive syllogism
Hypothetical syllogism
Constructive dilemma
Destructive dilemma
Absorption

Rules of replacement

Associativity
Commutativity
Distributivity
Double negation
De Morgan's laws
Transposition
Material implication
Exportation
Tautology
Predicate logic
Universal generalization
Universal instantiation
Existential generalization
Existential instantiation

Read more about this topic:  Distributive Property

Famous quotes containing the word logic:

    “You can no more bridle passions with logic than you can justify them in the law courts. Passions are facts and not dogmas.”
    —Alexander Herzen (1812–1870)