Related terms:
lor
neg
vee
lnot
vdash
tarski
logika
deductive
saul kripke
modal logic
truth value
truth table
disjunction
proper names
biconditional
gottlob frege
leftrightarrow
satisfiability
possible worlds
kripke semantics
normal modal logic
propositional logic
logical connectives
logical consequence
axiomatic set theory
propositional function
accessibility relation
propositional calculus
propositional variables
boolean satisfiability problem
Wikipedia sources:
Propositional calculus
Tautology (logic)
Function (mathematics)
Axiom
Modal logic
Saul Kripke
Belief
Logical connective
Philosophy of language
Emerging church
Revelation
Boolean function
Interpretation of quantum mechanics
Polish notation
Boolean satisfiability problem
List of fallacies
Deductive reasoning
Context for words:
propositional
|
|