A discrete mathematics class contains 1 mathematics major who is a freshman, 12 mathematics majors who are sophomores, 15 computer science majors who are sophomores, 2 mathematics majors who are juniors, 2 computer science majors who are juniors, and 1 computer science major who is a senior. Expressing "Every student in the class is either a sophomore or a computer science major." in terms of quantifiers, by letting P(s, c,m) be the statement that student s has class standing c and is majoring in m. The variable s ranges over students in the class, the variable c ranges over the four class standings, and the variable m ranges over all possible majors. Which of the following is correct? The proposition is vs(3c P (s, c, computer science) v am P(s, sophomore,m)). This is false, since there is a freshman A mathematics major. The proposition is amvcas P (s, c,m). This is false. It cannot be that m is mathematics, since there is no senior B) mathematics major, and it cannot be that m is computer science, since there is no freshman computer science major. Nor, of course, can m be any other major. The proposition is asacam(P(s, c,m) ^ (c = junior) ^ (m = mathematics)). This is true, since there is a sophomore majoring in computer science.
A discrete mathematics class contains 1 mathematics major who is a freshman, 12 mathematics majors who are sophomores, 15 computer science majors who are sophomores, 2 mathematics majors who are juniors, 2 computer science majors who are juniors, and 1 computer science major who is a senior. Expressing "Every student in the class is either a sophomore or a computer science major." in terms of quantifiers, by letting P(s, c,m) be the statement that student s has class standing c and is majoring in m. The variable s ranges over students in the class, the variable c ranges over the four class standings, and the variable m ranges over all possible majors. Which of the following is correct? The proposition is vs(3c P (s, c, computer science) v am P(s, sophomore,m)). This is false, since there is a freshman A mathematics major. The proposition is amvcas P (s, c,m). This is false. It cannot be that m is mathematics, since there is no senior B) mathematics major, and it cannot be that m is computer science, since there is no freshman computer science major. Nor, of course, can m be any other major. The proposition is asacam(P(s, c,m) ^ (c = junior) ^ (m = mathematics)). This is true, since there is a sophomore majoring in computer science.
Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
Related questions
Question

Transcribed Image Text:A discrete mathematics class contains 1 mathematics major who is a freshman, 12 mathematics majors who are sophomores, 15
computer science majors who are sophomores, 2 mathematics majors who are juniors, 2 computer science majors who are juniors,
and 1 computer science major who is a senior. Expressing "Every student in the class is either a sophomore or a computer science
major." in terms of quantifiers, by letting P(s, c,m) be the statement that student s has class standing c and is majoring in m. The
variable s ranges over students in the class, the variable c ranges over the four class standings, and the variable m
ranges over all possible majors. Which of the following is correct?
The proposition is vs(3c P (s, c, computer science) v am P(s, sophomore,m)). This is false, since there is a freshman
A
mathematics major.
The proposition is amvcas P (s, c,m). This is false. It cannot be that m is mathematics, since there is no senior
mathematics major, and it cannot be that m is computer science, since there is no freshman computer science major.
Nor, of course, can m be any other major.
The proposition is asacam(P(s, c,m) ^ (c = junior) ^ (m = mathematics)). This is true, since there is a sophomore
majoring in computer science.
none of the choices
Expert Solution

This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
This is a popular solution!
Trending now
This is a popular solution!
Step by step
Solved in 2 steps with 1 images

Recommended textbooks for you

Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated

Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education

Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY

Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated

Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education

Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY

Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,

