Related terms:
lor
leftrightarrow
propositional calculus
vdash
propositional
intuitionistic
propositional logic
neg
disjunction
tautology
boolean algebra
satisfying assignment
lor q
Wikipedia sources:
Heyting algebra
Tautology (logic)
Exclusive or
First-order logic
List of rules of inference
2-satisfiability
Intuitionistic logic
Existential quantification
Propositional formula
Universal quantification
Mereology
Principle of explosion
Modal logic
Deontic logic
Axiom
Combinational logic
On Denoting
Begriffsschrift
Loop invariant
Sequent calculus
Natural deduction
Proof by contradiction
Consistency
Semantic holism
Symmetric difference
History of mathematical notation
Propositional calculus
Proof by contrapositive
Asymmetric relation
Boolean satisfiability problem
Context for words:
lnot
|
|