Related articles:
Propositional formula
First-order logic
Deduction theorem
Well-formed formula
Sequent calculus
Turnstile (symbol)
Logical connective
Formal system
Entailment
Modal logic
Boolean algebra (structure)
Boolean algebra (logic)
Laws of Form
Term logic
Many-valued logic
Theorem
Truth table
Boolean-valued function
Conditional proof
Logical graph
Key terms:
propositional
calculus
inference
rightarrow
axiom
propositional calculus
neg
propositional logic
inference rule
vdash
entails
disjunction
lor
neg p
modus ponens
iff
syntactically
leftrightarrow
raining outside
boolean algebra
propositional variables
soundness
provable
intuitionistic
heyting algebra
logika
rightarrow q
logical connectives
calculi
biconditional
tautology
mathematical logic
natural deduction
neg q
lnot
conjunction elimination
falsity
sentential
truth assignment
deduction theorem
lor q
logically valid
material conditional
inductive step
turnstile
Search external links cited by footnotes on Wikipedia page Propositional calculus:
|
|