07-rules-of-inference

# Therefore ali has taken a course in computer science

This preview shows page 1. Sign up to view the full content.

This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: mputer science. Ali is a student in this class. Therefore, Ali has taken a course in computer science. Solution: Determine individual propositional function C(x): x is in this class. S(x): x has taken a course in computer science. 27 Rules of inference (example) Show the following argument is valid. Every one in this class has taken a course in computer science. Ali is a student in this class. Therefore, Ali has taken a course in computer science. Solution: Determine premises and the conclusion using C(x) and S(x) C(x): x is in this class. S(x): x has taken a course in computer science. Premises: x (C(x) S(x)) domain: all students C(Ali) Conclusion: S(Ali) 28 Rules of inference (example) Show the following argument is valid. Every one in this class has taken a course in computer science. Ali is a student in this class. Therefore, Ali has taken a course in computer science. Solution: Assume premises are true, show the conclusion is true using rules of inference Premises: 1. x (C(x) S(x)) Premise x C(x) S(x) 2. C(A...
View Full Document

## This note was uploaded on 01/13/2014 for the course CSE 1019 taught by Professor Shafiei during the Summer '09 term at York University.

Ask a homework question - tutors are online