Conjunction introduction
Sign in to saverule of inference of propositional logic
Connections
logic
Entity
International Standard Book Number
Entity
commutative property
Entity
associativity
Entity
inference
Entity
propositional calculus
Entity
proposition
Entity
distributive property
Entity
De Morgan's laws
Entity
logical conjunction
Entity
first-order logic
Entity
formal system
Entity
modus ponens
Entity
logical consequence
Entity
validity
Entity
modus tollens
Entity
contraposition
Entity
rule of inference
Entity
metalogic
Entity
hypothetical syllogism
Entity