Related terms:
propositional logic
lor
lnot
neg
boolean algebra
vee
tautology
vdash
truth value
mathematical logic
negation
implication
antecedent
Wikipedia sources:
Propositional calculus
Boolean algebra
Function (mathematics)
Tautology (logic)
First-order logic
Philosophy of language
Saul Kripke
Axiom
Logical connective
Existential quantification
Interpretations of quantum mechanics
Universal quantification
Inquiry
Boolean satisfiability problem
Polish notation
Jerry Fodor
Fuzzy logic
Model checking
Conjunctive normal form
Boolean algebra (structure)
Boolean function
Completeness
Revelation
Deductive reasoning
Material conditional
Rule of inference
List of fallacies
Modus ponens
Logical NOR
Emerging church
Context for words:
propositional
|
|