Related terms:
lnot
leftrightarrow
connectives
propositional logic
neg
disjunction
propositional
tautology
truth value
vee
implication
vdash
sequent
boolean algebra
Wikipedia sources:
Lattice (order)
First-order logic
Exclusive or
2-satisfiability
Resolution (logic)
List of The Weekenders episodes
Tautology (logic)
Singlish
Functional completeness
Propositional calculus
Intuitionistic logic
The Weekenders
Sequent calculus
Apollo program
Rewriting
Computation tree logic
List of rules of inference
Propositional formula
Logical connective
Spider diagram
Heyting algebra
Saturn V
Universal quantification
Interpretation (logic)
Joseph Francis Shea
Boolean satisfiability problem
Nova (rocket)
History of mathematical notation
Paraconsistent logic
Model theory
Context for words:
lor
|
|