Need to translate into symbols "Someone in this class has done Data Structures”?

logic discrete-mathematics propositional-calculus predicate-logic

Going off of what Mauro is saying, let's say that the universe is not the class. Since it is not the universe then let's say $C(x) = "x \text{ is in this class.}"$ Then:

$1)$ There is someone in this class who has done Data Structures. $$\exists x (C(x) \land D(x))$$ Reason: If someone is in this class then they must also have done data structures. Someone is in this class and does something. There is someone in this class and has not taken data structues.

$2)$ Everyone who does Knowledge Engineering does Data Structures.

$$\forall x(K(x)\to D(x))$$

Reason: Everyone that has done knowledge engineering also does data structures. So if you're a knowledge engineer then you do data structures.

Related

Testing for convergence of expression with variable denominator raised to some constant 'a'
Need help performing the taylor series expansion for below-mentioned expression in square brackets
Direct sum of complexes in chain complex
Finding the basis of $\mathfrak{so}(2,2)$ (Lie-Algebra of $SO(2,2)$)
Spivak Calculus, Ch. 4 Graphs, Problem 19v: How to interpret graph in solution manual?
Pondering $f(x) = \alpha x$ for an irrational $\alpha$.
How to define path connected neighborhood
Find the best strategy for a card game
How to calculate $\lim_{x\to 0}\Big({1+\tan x \over 1+\sin x}\Big)^{1\over \sin x}$
Convergence of the series $\sum a^{\sum \frac{1}{n}}$ [duplicate]
Asymptotic Expansion of the Bessel-Integral Function
About the square of orthogonal matrices [closed]