Let C ( x , y ) mean that student x is enrolled in class y , where the domain for x consists of all students in your school and the domain for y consists of all classes being given at your school. Express each of these statements by a simple English sentence. a) C ( Randy Goldberg,CS 252 ) b) ∃ x C ( x , Math 695 ) c) ∃ y C ( Carol sitea , y ) d) ∃ x ( C ( x , Math 222 ) ∧ C ( x , CS 252 ) ) e) ∃ x ∃ y ∀ z ( ( x ≠ y ) ∧ ( C ( x , z ) → C ( y , z ) ) ) f) ∃ x ∃ y ∀ z ( ( x ≠ y ) ∧ ( C ( x , z ) ↔ C ( y , z ) ) )
Let C ( x , y ) mean that student x is enrolled in class y , where the domain for x consists of all students in your school and the domain for y consists of all classes being given at your school. Express each of these statements by a simple English sentence. a) C ( Randy Goldberg,CS 252 ) b) ∃ x C ( x , Math 695 ) c) ∃ y C ( Carol sitea , y ) d) ∃ x ( C ( x , Math 222 ) ∧ C ( x , CS 252 ) ) e) ∃ x ∃ y ∀ z ( ( x ≠ y ) ∧ ( C ( x , z ) → C ( y , z ) ) ) f) ∃ x ∃ y ∀ z ( ( x ≠ y ) ∧ ( C ( x , z ) ↔ C ( y , z ) ) )
LetC(x,y) mean that studentxis enrolled in classy, where the domain forxconsists of all students in your school and the domain foryconsists of all classes being given at your school. Express each of these statements by a simple English sentence.
a)
C
(
Randy
Goldberg,CS
252
)
b)
∃
x
C
(
x
,
Math
695
)
c)
∃
y
C
(
Carol
sitea
,
y
)
d)
∃
x
(
C
(
x
,
Math
222
)
∧
C
(
x
,
CS
252
)
)
e)
∃
x
∃
y
∀
z
(
(
x
≠
y
)
∧
(
C
(
x
,
z
)
→
C
(
y
,
z
)
)
)
f)
∃
x
∃
y
∀
z
(
(
x
≠
y
)
∧
(
C
(
x
,
z
)
↔
C
(
y
,
z
)
)
)
Finite Mathematics for Business, Economics, Life Sciences and Social Sciences
Knowledge Booster
Learn more about
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