absorption
Sign in to saveinference rule where, given P→Q, one deduces P→(P∧Q)
Connections
propositional calculus
Entity
distributive property
Entity
Bertrand Russell
Entity
theorem
Entity
Alfred North Whitehead
Entity
commutative property
Entity
associativity
Entity
De Morgan's laws
Entity
logical conjunction
Entity
tautology
Entity
principle of excluded middle
Entity
first-order logic
Entity
formal system
Entity
Principia Mathe
Entity
modus ponens
Entity
logical consequence
Entity
validity
Entity
modus tollens
Entity
contraposition
Entity
rule of inference
Entity