GATE CSE
First time here? Checkout the FAQ!
x
0 votes
91 views

 

Find the predicate logic for the following statement.
There are at most two cars.

  1.   image:MST6/o1.JPG
  2.   image:MST6/o2.JPG
  3.   image:MST6/o3.JPG
  4.   None of these

please explain each one of them

asked in Mathematical Logic by Veteran (12.3k points)   | 91 views

1 Answer

+3 votes
Best answer

1.image:MST6/o1.JPG

 Says For all x  and all y (if (x is car and y is car) then either one of them  be true i.e. x= y or y=x)

 Inderectly:  say  There are atmost one cars

2. image:MST6/o2.JPG

Says there exist Two  car x and y  which are not same then all other car z are either same as x or same as y.

Indirectly : There are exactly two cars

3. image:MST6/o3.JPG

Says For all x all y all z (if x is car and y is car and z is car then  Atmost 2 car exist.

Indirectly : There are at most Two cars

answered by Veteran (44.8k points)  
selected by
in third case,what is the condition for 2 cars?

i mean if x=z and x=y are true then z=y and hence all the cars are same nd hence there is only 1 car.

Related questions

+2 votes
1 answer
3
asked in Mathematical Logic by Arjun Veteran (281k points)   | 98 views


Top Users Mar 2017
  1. rude

    4018 Points

  2. sh!va

    2994 Points

  3. Rahul Jain25

    2804 Points

  4. Kapil

    2606 Points

  5. Debashish Deka

    2092 Points

  6. 2018

    1414 Points

  7. Vignesh Sekar

    1318 Points

  8. Bikram

    1218 Points

  9. Akriti sood

    1166 Points

  10. Sanjay Sharma

    1004 Points

Monthly Topper: Rs. 500 gift card

21,439 questions
26,753 answers
60,919 comments
22,929 users