Slides for CISC 2315: Discrete Structures
Chapters 6 & 7
CISC 2315 Discrete Structures
Professor William G. Tanner, Jr.
Fall 2008
Slides created by James L. Hein, author of Discrete Structures, Logic, and Computability, 2002, 2nd Edition, Jones & Bartlett Computer Science, ISBN 0-7637-1843-2.
Chapter 6
Section 6.1 How does one reason?
CISC 2315 Discrete Structures
William G. Tanner, Jr.
Fall 2008
Slides created by James L. Hein, author of Discrete Structures, Logic, and Computability, 2002, 2nd Edition, Jones & Bartlett Computer Science, ISBN 0-7637-1843-2.
Section 6.1 How does one reason?
Chapter 6
Section 6.2 Propositional Calculus
CISC 2315 Discrete Structures
William G. Tanner, Jr.
Fall 2008
Slides created by James L. Hein, author of Discrete Structures, Logic, and Computability, 2002, 2nd Edition, Jones & Bartlett Computer Science, ISBN 0-7637-1843-2.
Section 6.2 Propositional Calculus
Section 6.2 Propositional Calculus
Section 6.2 Propositional Calculus
Section 6.2 Propositional Calculus
Section 6.2 Propositional Calculus
Section 6.2 Propositional Calculus
Section 6.2 Propositional Calculus
Chapter 6
Section 6.3 Formal Reasoning
CISC 2315 Discrete Structures
William G. Tanner, Jr.
Fall 2008
Slides created by James L. Hein, author of Discrete Structures, Logic, and Computability, 2002, 2nd Edition, Jones & Bartlett Computer Science, ISBN 0-7637-1843-2.
Section 6.3 Formal Reasoning
Section 6.3 Formal Reasoning
Section 6.3 Formal Reasoning
Section 6.3 Formal Reasoning
Section 6.3 Formal Reasoning
Section 6.3 Formal Reasoning
Section 6.3 Formal Reasoning
Section 6.3 Formal Reasoning
Section 6.3 Formal Reasoning
Chapter 6
Section 6.4 Formal Axiom Systems
CISC 2315 Discrete Structures
William G. Tanner, Jr.
Fall 2008
Slides created by James L. Hein, author of Discrete Structures, Logic, and Computability, 2002, 2nd Edition, Jones & Bartlett Computer Science, ISBN 0-7637-1843-2.
Section 6.4 Formal Axiom Systems
Section 6.4 Formal Axiom Systems
Chapter 7
Section 7.1 First-Order Predicate Calculus
CISC 2315 Discrete Structures
William G. Tanner, Jr.
Fall 2008
Slides created by James L. Hein, author of Discrete Structures, Logic, and Computability, 2002, 2nd Edition, Jones & Bartlett Computer Science, ISBN 0-7637-1843-2.
Section 7.1 First-Order Predicate Calculus
Section 7.1 First-Order Predicate Calculus
Section 7.1 First-Order Predicate Calculus
Section 7.1 First-Order Predicate Calculus
Section 7.1 First-Order Predicate Calculus
Section 7.1 First-Order Predicate Calculus
Section 7.1 First-Order Predicate Calculus
Section 7.1 First-Order Predicate Calculus
Chapter 7
Section 7.2 Equivalent Formulas
CISC 2315 Discrete Structures
William G. Tanner, Jr.
Fall 2008
Slides created by James L. Hein, author of Discrete Structures, Logic, and Computability, 2002, 2nd Edition, Jones & Bartlett Computer Science, ISBN 0-7637-1843-2.
Section 7.2 Equivalent Formulas
Section 7.2 Equivalent Formulas
Section 7.2 Equivalent Formulas
Section 7.2 Equivalent Formulas
Section 7.2 Equivalent Formulas
Section 7.2 Equivalent Formulas
Section 7.2 Equivalent Formulas
Chapter 7
Section 7.3 Formal Proofs in Predicate Calculus
CISC 2315 Discrete Structures
William G. Tanner, Jr.
Fall 2008
Slides created by James L. Hein, author of Discrete Structures, Logic, and Computability, 2002, 2nd Edition, Jones & Bartlett Computer Science, ISBN 0-7637-1843-2.
Section 7.3 Formal Proofs in Predicate Calculus
Section 7.3 Formal Proofs in Predicate Calculus
Section 7.3 Formal Proofs in Predicate Calculus
Section 7.3 Formal Proofs in Predicate Calculus
Section 7.3 Formal Proofs in Predicate Calculus
Section 7.3 Formal Proofs in Predicate Calculus
Section 7.3 Formal Proofs in Predicate Calculus
Section 7.3 Formal Proofs in Predicate Calculus