|
Related terms:
turnstile
inference rule
natural deduction
soundness
intuitionistic
propositional logic
vdash
completeness
mathematical logic
lemma
disjunction
natural number
deductive
derivation
axiom
Wikipedia sources: Axiom of choice Propositional calculus Soundness Natural deduction Rule of inference Theorem Context for words: provable |
|