Question: need help with this part? a,b,c ntent - rid - 571 577922 /courses/2017.fall.cs.151 34858/CS%20151 9620-%20Homework UIC Part I: Using rules of inference for quantified statements

need help with this part? a,b,c
ntent - rid - 571 577922 /courses/2017.fall.cs.151 34858/CS%20151 9620-%20Homework UIC Part I: Using rules of inference for quantified statements (15 pt.) (15 pt, 5 pt. each) Write each of the following arguments in argument form. Then, use the rules of inference to show that each argument is valid. Indicate the rules of inference used in each step. 1. Let P(x) be'x is a student in this class," Q(x) be'x owns a convertible," and R(x) be-x has gotten at least one speeding ticket," where the domain consists of all people. Matt is a student in this class. Matt owns a convertible. Everyone who owns a convertible has gotten at least one speeding ticket. Therefore, someone in this class has gotten a a. speeding ticket. Let P(x) be 'x is a student in this class," Q(x) be "x owns a personal computer, and R(x) be z can use a word processing program," where the domain consists of atl b. Every student in this class owns a personal computer. Everyone who owns a personal computer can use a word processing program. Kate is a student in this class. Therefore, Kate can use a word processing program. Let P (x) be .x has taken Calculus l," Q(x) be .x has taken Program Design l," and R(x) be "z has permission from the instructor to enroll in this class," where the domain consists of all students in this class c. Every student in this class has taken Calculus I or Program Design I. Every student who has not taken Calculus I but has taken Program Design I, has permission from the instructor to enroll in this class. Therefore, every student who does not have permission from the instructor to enroll in this class has taken Calculus L. to search
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
