Related terms:
sx
lnot
lor
tarski
kripke
quine
forall
dennett
negation
saul kripke
true or false
modal logic
truth table
deductive
normal form
wittgenstein
kripke semantics
normal modal logic
boolean algebra
propositional logic
accessibility relation
boolean
mathematical logic
boolean satisfiability problem
valid
conditional
epistemology
substitution
conclusion
false
Wikipedia sources:
Tautology (logic)
Truth table
Axiom
Saul Kripke
Modal logic
Philosophy of language
Emerging church
Boolean satisfiability problem
Deductive reasoning
Belief
Revelation
List of fallacies
Philosophy of mind
Context for words:
propositional
|
|