Mo logo [home] [lexicon] [problems] [tests] [courses] [auxiliaries] [notes] [staff] german flag
Mathematics-Online course: Preparatory Course Mathematics - Basics - Propositional Logic

Direct Proof

[previous page] [next page] [table of contents][page 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)

(temporary unavailable)
[previous page] [next page] [table of contents][page overview]
  automatically generated 1/9/2017