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 al websites. Express each of these statements by a simple English sentence. a) W ( Sarah Smith, www .att .com ) b) ∃ x W ( x , www .imbd .com ) c) ∃ y W ( Jose Orez , y ) d) ∃ y ( W ( Ashok Puri , y ) ∧ W ( Cindy yoon , y ) ) e) ∃ y ∀ z ( y ≠ ( David Belcher ) ∧ ( W ( David Belcher , z ) → W ( y , z ) ) ) f) ∃ x ∃ y ∀ z ( ( x ≠ y ) ∧ ( W ( x , z ) ) ↔ W ( y , z ) )
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 al websites. Express each of these statements by a simple English sentence. a) W ( Sarah Smith, www .att .com ) b) ∃ x W ( x , www .imbd .com ) c) ∃ y W ( Jose Orez , y ) d) ∃ y ( W ( Ashok Puri , y ) ∧ W ( Cindy yoon , y ) ) e) ∃ y ∀ z ( y ≠ ( David Belcher ) ∧ ( W ( David Belcher , z ) → W ( y , z ) ) ) f) ∃ x ∃ y ∀ z ( ( x ≠ y ) ∧ ( W ( x , z ) ) ↔ W ( y , z ) )
Solution Summary: The author explains that student Sarah Smith has visited the website www.att.com. There is an element x in the domain such that P(x) Universal qualification
Let W(x,y) mean that studentxhas visited websitey, where the domain forxconsists of all students in your school and the domain foryconsists of al websites. Express each of these statements by a simple English sentence.
a)
W
(
Sarah
Smith,
www
.att
.com
)
b)
∃
x
W
(
x
,
www
.imbd
.com
)
c)
∃
y
W
(
Jose
Orez
,
y
)
d)
∃
y
(
W
(
Ashok
Puri
,
y
)
∧
W
(
Cindy
yoon
,
y
)
)
e)
∃
y
∀
z
(
y
≠
(
David
Belcher
)
∧
(
W
(
David
Belcher
,
z
)
→
W
(
y
,
z
)
)
)
f)
∃
x
∃
y
∀
z
(
(
x
≠
y
)
∧
(
W
(
x
,
z
)
)
↔
W
(
y
,
z
)
)
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, subject and related others by exploring similar questions and additional content below.
MFCS unit-1 || Part:1 || JNTU || Well formed formula || propositional calculus || truth tables; Author: Learn with Smily;https://www.youtube.com/watch?v=XV15Q4mCcHc;License: Standard YouTube License, CC-BY