Related articles:
Axiom
Modal logic
Boolean function
Entailment
Set theory
Logical connective
First-order logic
Boolean algebra (structure)
Boolean algebra (logic)
Mathematical logic
Truth table
Consistency
Theorem
Argument
Key terms:
propositional
neg
infer
axiom
rightarrow
mathcal
lor
iff
vdash
neg p
propositional calculus
inference rule
propositional logic
disjunction
provable
modus ponens
soundness
neg q
syntactically
leftrightarrow
logika
raining outside
boolean algebra
lor q
intuitionistic
heyting algebra
propositional variables
biconditional
propositional constants
turnstile
operator symbols
logical connectives
parse graphs
we may infer
leftrightarrow q
natural deduction
mathematical logic
inductive step
converse of dt
semantically entails
logical calculi
logically valid
truth assignment
deduction theorem
boolean or heyting
two simpler propositions
syntactically entails
conjunction elimination
sentence of propositional logic
intuitionistic propositional calculus
Search external links cited by footnotes on Wikipedia page Propositional calculus:
|
|