Concept explainers
Exercises 40-44 deal the translation between system specification and logical expressions involving quantifiers.
41. Translate these specifications into English, whereF(p) is "Printerpis out of service,”B(p) is “Printerpis busy,”L(j) jobjis lost," andQ(j) is "Print job j is queued."
a)
b)
c)
d)
Want to see the full answer?
Check out a sample textbook solutionChapter 1 Solutions
Discrete Mathematics and Its Applications ( 8th International Edition ) ISBN:9781260091991
- Let P(x) = "x studies Calculus", Q(x) = "x is a Computer Science major", R(x) = "x knows JavaSckript" Match given quantified statements with their logical form. Every Computer Science major studies Calculus A. Domain = set of all Computer Science majors 3xR (x) Some Computer Science majors study Calculus B. Domain = set of all students v Every Computer Science major knows JavaScript 3x (Q (x) λP (x) ) C. Domain = set of all Computer Science majors There is a Computer Science major who can program on JavaScript VxP (x) D. Domain = set of all people Vx (Q (x) R (x)arrow_forwardB. Simplify the following compound statements using the laws of equivalence (b Ad), (bA d), (bad.), (bd)T Reason: Statements a F (pvq)^(p v-q)^(p (b.A d) , (b.. A d), (bad) (bad) q c [(p v q) ^(pval [pv-)(V d. [(p^p) v q] [(p^ p) v e (Fv q) (Fvq) f.q^ g Farrow_forwardLet T(x,y) = "x will take y", S(x) = "x is a CS student", H(y) = "y is a hard course" and P(y) = "y is an elective course" Assume the domain of x is all students and the domain of y is all courses. Select the negation of "Some CS students will not take all elective courses" O 1.All CS students will take some elective courses. O 2. All students will not take all elective courses. O 3. Some CS students will not take some elective courses. O 4. Some CS students will take all elective courses.arrow_forward
- Let P(x, y) be the predicate "musician a has hit y". The domain for the a variables consists of all musicians. The domain for the y variables consists of all hits. Express the quantification 3x, yi, Vyz, (P(x, y₁)^((y2 #y₁)→ P(x, y2))) as an English sentence. O There are two distinct musicians that do not have the same hit. O Every musician has a unique hit. O Every musician has at least two hits. O Every two distinct musicians do not have the same hit. There is a musician that has a unique hit. There is a musician that has at least two hits. Now let Q(x, y) be the predicate "game x has winner y. The domain for the a variables consists of all games. The domain for the y variables consists of all winners. Express the quantification 3x₁, x2, Vy, ((1 22₂) ^ (Q(x, y) ^ Q(x2, y))) as an English sentence. There are two distinct games that do not have the same winner. O Every game has a unique winner. O Every two distinct games do not have the same winner. There is a game that has at least…arrow_forwardPut the following predicate calculus expression in clause form: VX (odd(X) W odd(mul(X,Y))||arrow_forwardfor logic Show that “(∃x)~Fx ≡ (∀x) Gx” implies “(∀x)Fx v (∀x)Gx”. Do this by arguing about the interpretations that make the relevant schema true or false.arrow_forward
- 4. Suppose that the variable x represents people, and F(x): "x is friendly" T(x): "x is tall" A(x): "x is angry". Express each of the following statements using these predicates, quantifiers, and logical connectives. (a) Some people are not angry. (b) All tall people are friendly. (c) No friendly people are angry.arrow_forwardShow that the following argument is invalid. Show that the following argument is invalid: (B(x) - C(x)), 3x(C(x) A -B(x)) EEX(B(x) A C(x)) Domain:0,1,2,3,4 B(-) C() Submit O Check earrow_forwardWhat is the major operator for both of these formulas? This is sentential logic.arrow_forward
- 1) Let I(x) be the statement “x has an Internet connection” and C(x, y) be the statement “x and y have chatted over the Internet,” where the domain for the variables x and y consists of all students in your class. Use quantifiers to express each of these statements. Jerry has an Internet Rachel has chatted over the Internet with Jan and Sharon have never chatted over the Everyone in the class has chatted with Sanjay has not chatted with everyone except Someone in your class does not have an Internet Not everyone in your class has an Internet Exactly one student in your class has an Internet Everyone except one student in your class has an Internet Everyone in your class with an Internet connection has chatted over the Internet with at least one other student in your Someone in your class has an Internet connection but has not chatted with anyone else in your There are two students in your class who have not chatted with each other over the There is a student in your class who has…arrow_forwardAssume x and y are Boolean variables. What is the result of x+xy equals ?arrow_forwardc) Let L(x) be the statement "x visited London", let P(x) be the statement "x visited Paris" and let N(x) be the statement "x visited New York". Express the statement "None of your friends visited London, Paris and New York." in terms of C(x), D(x), F(x), quantifiers, and logical connectives where the domain consists of all your friends.arrow_forward
- Algebra: Structure And Method, Book 1AlgebraISBN:9780395977224Author:Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. ColePublisher:McDougal Littell