Mo logo [home] [lexicon] [problems] [tests] [courses] [auxiliaries] [notes] [staff] german flag

Mathematics-Online lexicon:

Direct Proof


A B C D E F G H I J K L M N O P Q R S T U V W X Y Z overview

An assertion $ B$ can be proved by implication from known true statements $ A$:

$\displaystyle A \Longrightarrow B
\,.
$

Such statements $ A$ may in fact include premises that are necessary for the validity of assertion $ B$.
(Authors: Höllig/Abele)

Example:


[Links]

  automatically generated 9/18/2007