rules of inference to show that each argument is valid. a. Let p be the proposition "I attend the lecture," q be "I watch the lecture recording," and r be "I do well on the quiz." If I attend the lecture, then I do well on the quiz. I attend the lecture or watch the lecture recording I did not watch the lecture recording Therofore Ldid well on the qui,

Database System Concepts
7th Edition
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Chapter1: Introduction
Section: Chapter Questions
Problem 1PE
icon
Related questions
Question
Part I: Proving that an argument is valid using rules of inference
1.
Write each of the following arguments in argument form. Then, use the
rules of inference to show that each argument is valid.
a. Let p be the proposition "/ attend the lecture," q be “I watch the lecture recording." and r be
"I do well on the quiz."
If I attend the lecture, then I do well on the quiz. I attend the lecture or watch the lecture
recording. I did not watch the lecture recording. Therefore, I did well on the quiz.
b. Let P(x) be "x attended the lecture," Q(x) be "x submitted the homework assignment," and
R(x) be "x passed the exam," where the domain consists of all students in this class.
Every student in this class who did not attend the lecture or did not submit the
homework assignment did not pass the exam. Bob, who is a student in this class,
passed the exam. Therefore, Bob attended the lecture.
c. Let P(x) be "x has taken CS 109," Q(x) be “x has taken CS 111," and R(x) be "x has permission
from the instructor to enroll in this class," where the domain consists of all students in this class.
Every student in this class has taken CS 111 or CS 109. Every student who has not taken
CS 111 but has taken CS 109, 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 CS 111.
Transcribed Image Text:Part I: Proving that an argument is valid using rules of inference 1. Write each of the following arguments in argument form. Then, use the rules of inference to show that each argument is valid. a. Let p be the proposition "/ attend the lecture," q be “I watch the lecture recording." and r be "I do well on the quiz." If I attend the lecture, then I do well on the quiz. I attend the lecture or watch the lecture recording. I did not watch the lecture recording. Therefore, I did well on the quiz. b. Let P(x) be "x attended the lecture," Q(x) be "x submitted the homework assignment," and R(x) be "x passed the exam," where the domain consists of all students in this class. Every student in this class who did not attend the lecture or did not submit the homework assignment did not pass the exam. Bob, who is a student in this class, passed the exam. Therefore, Bob attended the lecture. c. Let P(x) be "x has taken CS 109," Q(x) be “x has taken CS 111," and R(x) be "x has permission from the instructor to enroll in this class," where the domain consists of all students in this class. Every student in this class has taken CS 111 or CS 109. Every student who has not taken CS 111 but has taken CS 109, 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 CS 111.
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 1 images

Blurred answer
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Database System Concepts
Database System Concepts
Computer Science
ISBN:
9780078022159
Author:
Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:
McGraw-Hill Education
Starting Out with Python (4th Edition)
Starting Out with Python (4th Edition)
Computer Science
ISBN:
9780134444321
Author:
Tony Gaddis
Publisher:
PEARSON
Digital Fundamentals (11th Edition)
Digital Fundamentals (11th Edition)
Computer Science
ISBN:
9780132737968
Author:
Thomas L. Floyd
Publisher:
PEARSON
C How to Program (8th Edition)
C How to Program (8th Edition)
Computer Science
ISBN:
9780133976892
Author:
Paul J. Deitel, Harvey Deitel
Publisher:
PEARSON
Database Systems: Design, Implementation, & Manag…
Database Systems: Design, Implementation, & Manag…
Computer Science
ISBN:
9781337627900
Author:
Carlos Coronel, Steven Morris
Publisher:
Cengage Learning
Programmable Logic Controllers
Programmable Logic Controllers
Computer Science
ISBN:
9780073373843
Author:
Frank D. Petruzella
Publisher:
McGraw-Hill Education