Definition:Derivation

From ProofWiki
Jump to navigation Jump to search

Disambiguation

This page lists articles associated with the same title. If an internal link led you here, you may wish to change the link to point directly to the intended article.

Derivation may refer to:

Manifold theory

Another name for a tangent vector:


A tangent vector $X_m$ on $M$ at $m$ is a linear transformation:

$X_m: \map {C^\infty} {V, \R} \to \R$

which satisfies the Leibniz law:

$\ds \map {X_m} {f g} = \map {X_m} f \map g m + \map f m \map {X_m} g$


Logic

Another name for a proof:


A proof is a valid argument whose premises are all true.


Hence a valid argument that has one or more false premises is not a proof.