90 views

Which of the following formulae is a formalization of the sentence: "There is a $\text{Computer}$ which is not used by any $\text{Student}$"

1. $\exists x (\text{Computer}(x) \wedge \forall y. (\sim \text{Student}(y) \wedge \sim \text{Uses}(y,x)))$
2. $\exists x (\text{Computer} (x) \rightarrow \forall y. (\text{Student} (y) \rightarrow \sim \text{Uses} (y,x)))$
3. $\exists x (\text{Computer} (x) \wedge \forall y. (\text{Student} (y) \rightarrow \sim \text{Uses}(y,x)))$
4. $\exists x (\text{Computer} (x) \rightarrow \forall y . (\sim \text{Student} (y) \wedge \sim \text{Uses}(y,x)))$
edited | 90 views
0
is option c ?
0
it must be C

When to use $\wedge and \rightarrow$
0

@Sourabh Keshri

You will get clear insight.