07-rules-of-inference

Therefore ali has taken a course in computer science

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

View Full Document Right Arrow Icon
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