Propositional and Predicate Calculus - Carleton University

More documents

Recommendations

Info

59/77 Example 2 Outline and Introduction Propositional Calculus Predicate Calculus Inference Rules Unification Resolution Theorem Proving Introduction Some Definitions Inference Rules Example Determine (Justify) whether the following arguments are valid or invalid Sara is a student in COMP1805. Sara does not read the book. Everyone in COMP1805 passed the midterm exam. Therefore, Sara passed the midterm and she did not read the book. Solution S(X): X is a student in class COMP1805. R(X): X is a student who does not read the book. P(X): X is a student who passes the midterm exam.
60/77 Example 2 Outline and Introduction Propositional Calculus Predicate Calculus Inference Rules Unification Resolution Theorem Proving Introduction Some Definitions Inference Rules Example S(Sara) ¬R(Sara) ∀X S(X) → P(X) S(Sara) → P(Sara) S(Sara) P(Sara) ¬R(Sara) ∴ P(Sara)∧¬R(Sara) Univ. Instantiation Modus Ponens Conjunction The Assertion is Valid
Page 1 and 2:
Outline and Introduction Propositio
Page 3 and 4:
3/77 Introduction Outline and Intro
Page 5 and 6:
Page 7 and 8:
Page 9 and 10:
6/77 Outline and Introduction Propo
Page 11 and 12:
8/77 Outline and Introduction Propo
Page 13 and 14:
10/77 Outline and Introduction Prop
Page 15 and 16:
12/77 Outline and Introduction Prop
Page 17 and 18: 14/77 Outline and Introduction Prop
Page 19 and 20: 16/77 Propositional Laws Outline an
Page 29 and 30: 26/77 Important Notes Outline and I
Page 31 and 32: Important Notes Outline and Introdu
Page 33 and 34: 28/77 Important Notes Outline and I
Page 43 and 44: 38/77 Examples Outline and Introduc
Page 45 and 46: 40/77 Examples Outline and Introduc
Page 49 and 50: 44/77 Definitions Outline and Intro
Page 51 and 52: Definitions Outline and Introductio
Page 55 and 56: 48/77 Example Outline and Introduct
Page 57 and 58: 48/77 Example Outline and Introduct
Page 59 and 60: 50/77 Introduction Outline and Intr
Page 61 and 62: 52/77 Definitions Outline and Intro
Page 63 and 64: 54/77 Unification 1 Outline and Int
Page 65 and 66: 56/77 Inference Rules Outline and I
Page 67: 58/77 Example 1 Outline and Introdu
Page 71 and 72: 62/77 Unification Outline and Intro
Page 73 and 74: 64/77 Example 1 Outline and Introdu
Page 77 and 78: 67/77 Clause Form Outline and Intro
show all

Propositional and Predicate Calculus - Carleton University

Create successful ePaper yourself

Delete template?

Save as template?