The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
0 votes
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)))$
asked in Mathematical Logic by Boss (15.3k points)
edited by | 90 views
0
is option c ?
0
it must be C

1 Answer

0 votes
When to use $\wedge and \rightarrow$
answered by (335 points)
0

@Sourabh Keshri

Watch GATEBOOK videos on Youtube..

You will get clear insight.

Answer:

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
48,720 questions
52,807 answers
183,452 comments
68,470 users