Mathematics-Online lexicon: Direct Proof

	[home] [lexicon] [problems] [tests] [courses] [auxiliaries] [notes] [staff]
	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

An assertion

can be proved by implication from known true statements

$\displaystyle A \Longrightarrow B \,.$

Such statements

may in fact include premises that are necessary for the validity of assertion

(Authors: Höllig/Abele)

see also:

automatically generated 9/18/2007