Scribd
Upload
68 views20 pages

Lecture 4 - Rules of Inference

This document outlines a lecture on rules of inference in discrete mathematics. It discusses argument forms, valid and invalid arguments, and common rules of inference like modus ponens, modus tollens, and disjunctive syllogism. It also covers writing valid arguments using rules of inference for quantified statements, including universal and existential instantiation and generalization. The goal is to teach students how to determine if arguments are valid and write their own valid arguments using these fundamental rules of logic.

Uploaded by

Aarif
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
68 views20 pages

Lecture 4 - Rules of Inference

This document outlines a lecture on rules of inference in discrete mathematics. It discusses argument forms, valid and invalid arguments, and common rules of inference like modus ponens, modus tollens, and disjunctive syllogism. It also covers writing valid arguments using rules of inference for quantified statements, including universal and existential instantiation and generalization. The goal is to teach students how to determine if arguments are valid and write their own valid arguments using these fundamental rules of logic.

Uploaded by

Aarif
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PPTX, PDF, TXT or read online on Scribd
You are on page 1/ 20

MTH 2204 – Discrete Mathematics

Lecture 4 – Rules of Inference


-Aarif Baksh

1
Outline

4.1. Arguments and Argument Forms

4.2. Valid and Invalid Arguments

4.3. Valid Arguments – Modus Ponens, Modus Tollens, Hypothetical Syllogism, Disjunctive Syllogism,

Addition, Simplification, Conjunction, Resolution

4.4. Writing Valid Arguments

4.5. Rules of Inference for Quantified Statements – Universal Instantiation, Universal Generalization,

Existential Instantiation, Existential Generalization

4.6. Writing Valid Arguments for Quantified Statements

2
4.1. Argument and Argument Forms

3
4.2. Valid and Invalid Arguments

4
4.3. Valid Arguments – Modus Ponens

5
4.3. Valid Arguments – Modus Tollens

6
4.3. Valid Arguments – Hypothetical Syllogism

7
4.3. Valid Arguments – Disjunctive Syllogism

8
4.3. Valid Arguments – Addition

9
4.3. Valid Arguments – Simplification

10
4.3. Valid Arguments – Conjunction

11
4.3. Valid Arguments – Resolution

12
4.3. Valid Arguments

13
4.4. Writing Valid Arguments

14
4.4. Writing Valid Arguments

15
4.4. Writing Valid Arguments

16
4.5. Universal Instantiation and Universal Generalization

17
4.5. Existential Instantiation and Existential Generalization

18
4.6. Writing Valid Arguments for Quantified Statements

19
4.6. Writing Valid Arguments for Quantified Statements

20

You might also like