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

Mathematics-Online course: Basic Mathematics - Propositional Logic

Indirect Proof


[previous page] [next page] [table of contents][page overview]

In order to show that a premise $ V$ implies an assertion $ B$ ( $ V
\Longrightarrow B$), one can deduce a contradiction by assuming that $ V$ is true while $ B$ is false, which then implies a false statement $ F$, particularly with $ F = \lnot V$ or $ F=B$:

$\displaystyle V\land(\lnot B)\,\Longrightarrow\,F
\,,
$

In particular, we note that the equivalences

$\displaystyle B = (\lnot B \Longrightarrow F)
\,=\,(\lnot B\Rightarrow B)
$

hold if no premises are made.
(Authors: Höllig/Knesch/Apprich/Abele)

(temporary unavailable)

(temporary unavailable)

[previous page] [next page] [table of contents][page overview]

  automatically generated 10/31/2008