Related terms:
lnot
propositional logic
lor
tarski
conjunctive normal form
propositional function
vee
satisfiability
accessibility relation
tautologies
normal modal logic
propositional variables
boolean satisfiability problem
propositional calculus
neg
saul kripke
kripke semantics
iff
falsity
logical connectives
rules of inference
axiomatic set theory
temporal logic
logika
literals
biconditional
logical consequence
truth value
Wikipedia sources:
Propositional calculus
Function (mathematics)
Tautology (logic)
Modal logic
Philosophy of language
Axiom
Logical connective
Saul Kripke
Interpretation of quantum mechanics
Existential quantification
Resolution (logic)
Emerging church
Boolean satisfiability problem
Conjunctive normal form
Belief
Model checking
Boolean function
Completeness
Polish notation
Revelation
Deductive reasoning
List of fallacies
Chrysippus
Context for words:
propositional
|
|