Connections
English language
Concept
logic
Entity
theorem
Entity
commutative property
Entity
associativity
Entity
inference
Entity
propositional calculus
Entity
distributive property
Entity
formal language
Entity
De Morgan's laws
Entity
logical conjunction
Entity
tautology
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