Related terms:
sx
lor
lnot p
forall
logic
exists
mathfrak
boolean
negation
axiomatic
deductive
algebra
overline
truth value
propositional
arithmetic
logical axioms
satisfiability
variables
leftrightarrow
contradiction
deductive system
peano arithmetic
substitution
boolean algebra
if and only if
propositional logic
logical consequence
mathematical logic
boolean satisfiability problem
Wikipedia sources:
Exclusive or
Tautology (logic)
First-order logic
Axiom
Modal logic
Consistency
Boolean satisfiability problem
Context for words:
lnot
|
|