Let W(x, y) mean that student x has visited website y, where the domain for x consists of all students in your school and the domain for y consists of all websites. Ex- press each of these statements by a simple English sen- tence. a) W(Sarah Smith, www.att.com) b) 3xW(x, www.imdb.org) c) 3yW(José Orez, y) d) 3y(W(Ashok Puri, y) A W(Cindy Yoon, y)) e) 3yz(y # (David Belcher) ^ (W(David Belcher, z) → W(y,z))) f) xyz((x+y) ^ (W(x, z) ↔ W(y, z)))

Elementary Geometry For College Students, 7e
7th Edition
ISBN:9781337614085
Author:Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:Alexander, Daniel C.; Koeberlein, Geralyn M.
Chapter2: Parallel Lines
Section2.CT: Test
Problem 3CT: To prove a theorem of the form "If P, then Q" by the indirect method, the first line of the proof...
icon
Related questions
Question

Q5 part E F

5. Let W(x, y) mean that student x has visited website y,
where the domain for x consists of all students in your
school and the domain for y consists of all websites. Ex-
press each of these statements by a simple English sen-
tence.
a) W(Sarah Smith, www.att.com)
b) 3xW(x, www.imdb.org)
c) 3yW(José Orez, y)
d) Ey(W(Ashok Puri, y) A W(Cindy Yoon, y))
e) 3yVz(y # (David Belcher) ^ (W(David Belcher, z) →
W(y,z)))
f) 3x³yz((x) ^ (W(x,z) → W(y, z)))
Transcribed Image Text:5. Let W(x, y) mean that student x has visited website y, where the domain for x consists of all students in your school and the domain for y consists of all websites. Ex- press each of these statements by a simple English sen- tence. a) W(Sarah Smith, www.att.com) b) 3xW(x, www.imdb.org) c) 3yW(José Orez, y) d) Ey(W(Ashok Puri, y) A W(Cindy Yoon, y)) e) 3yVz(y # (David Belcher) ^ (W(David Belcher, z) → W(y,z))) f) 3x³yz((x) ^ (W(x,z) → W(y, z)))
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps

Blurred answer
Recommended textbooks for you
Elementary Geometry For College Students, 7e
Elementary Geometry For College Students, 7e
Geometry
ISBN:
9781337614085
Author:
Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:
Cengage,
Elementary Geometry for College Students
Elementary Geometry for College Students
Geometry
ISBN:
9781285195698
Author:
Daniel C. Alexander, Geralyn M. Koeberlein
Publisher:
Cengage Learning
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,