Connections
first-order logic
Entity
logic
Entity
International Standard Book Number
Entity
commutative property
Entity
associativity
Entity
propositional calculus
Entity
distributive property
Entity
De Morgan's laws
Entity
modus ponens
Entity
modus tollens
Entity
rule of inference
Entity
contraposition
Entity
Prentice Hall
Entity
hypothetical syllogism
Entity
disjunctive syllogism
Entity
double negation
Entity
modus ponendo tollens
Entity
existential fallacy
Entity
conjunction elimination
Entity
Universal instantiation
Entity