derivable
Able to conclude
Derivable describes something that can be obtained or deduced from a source.
A conclusion is derivable from evidence; a formula is derivable from first principles.
In mathematics and logic, derivable means provable through a sequence of valid steps: The theorem is derivable from the axioms.
The word emphasizes that reaching the result follows logically or naturally from what's already known.
Conclusion reached through reasoning
- deductionConclusion from premises
- inductionFormal admission process
- implicationIndirect suggestion or consequence
- corollaryLogical natural consequence
entailment · extrapolation · conclusion · consequence · premise · assumption · presumption · syllogism
Demonstration of truth
- argumentReasoned case or dispute
- validityQuality of being sound
- cogentClearly logical and convincing
- coherenceLogical internal consistency
axiom · theorem · proposition · premise · reasoning · deduction · induction · inference
Mathematical equality assertion
- formulaFixed method or notation
- functionPurpose or duty
- calculusMathematical analysis system
- differentiationRecognizing meaningful differences
integration · algorithm · theorem · proof · variable · coefficient · polynomial · trigonometry
inference
Conclusion reached through reasoning
- deductionConclusion from premises
- inductionFormal admission process
- implicationIndirect suggestion or consequence
corollary · entailment · extrapolation · conclusion · consequence · premise · assumption · presumption · syllogism · reasoning
proof
Demonstration of truth
coherence · axiom · theorem · proposition · premise · reasoning · deduction · induction · inference · syllogism
equation
Mathematical equality assertion
differentiation · integration · algorithm · theorem · proof · variable · coefficient · polynomial · trigonometry · algebra
etymology
Word origin study
suffix · prefix · stem · cognate · formation · inflection · compound · neologism · coinage · borrowing
derivableunprovable
Impossible to establish definitively
indemonstrable · unobtainable · illogical · irrational · irreducible
derivableaxiomatic
Accepted without question
assumed · presupposed · foundational · underived · primitive
derive, derived, derivative, derivation, deriving, derives, derivational, derivatives, derivations