[home] [lexicon] [problems] [tests] [courses] [auxiliaries] [notes] [staff] | ||

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 implies an assertion ( ), one can deduce a contradiction by assuming that is true while is false, which then implies a false statement , particularly with or :

In particular, we note that the equivalences

(Authors: Höllig/Knesch/Apprich/Abele)

(temporary unavailable)

(temporary unavailable)

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

automatically generated 10/31/2008 |