This preview shows page 1. Sign up to view the full content.
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.
 Summer '09
 Shafiei
 Computer Science

Click to edit the document details