## 7917**Example**: Examples of Valid Logical Reasoning

In the following, we will introduce some most important types of valid logical arguments. While introducing them, we will also mathematically prove that they are indeed valid. You will learn the techniques of the following types of valid logical arguments:

- deductive reasoning,
- modus ponens,
- modus tollens,
- hypothetical syllogism,
- disjunctive syllogism,
- the proving principle by contradiction,
- the proving principle by contraposition,
- the proving principle by induction.

Feel free to use these techniques, not only when writing mathematical proofs, but also in daily life, e.g. when trying to convince your audience or discussion partners.

| | | | Contributors: *bookofproofs* | References: [6823]

## 79351.Deductive Reasoning

## 79182.**Lemma**: Modus Ponens

## 79193.**Lemma**: Modus Tollens

## 79214.**Lemma**: Hypothetical Syllogism

## 79205.**Lemma**: Disjunctive Syllogism

## 7446.**Lemma**: The Proving Principle by Contradiction

## 13307.**Lemma**: The Proving Principle By Contraposition, Contrapositive

## 6578.**Lemma**: The Proving Principle of Complete Induction

- Choose an action for
- Edit or Add
- Move Up
- Move Down
- Discussion
- Notation
- Versions
- Axiomatic Method

(none)

[6823] **Kane, Jonathan**: “Writing Proofs in Analysis”, Springer, 2016

Project WorkFeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint

© 2018 Powered by BooOfProofs, All rights reserved.

© 2018 Powered by BooOfProofs, All rights reserved.