GATE CSE
First time here? Checkout the FAQ!
x
0 votes
86 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 (11k points)   | 86 views

1 Answer

+2 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.4k 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.
Top Users Feb 2017
  1. Arjun

    4898 Points

  2. Bikram

    4102 Points

  3. Habibkhan

    3748 Points

  4. Aboveallplayer

    2986 Points

  5. sriv_shubham

    2288 Points

  6. Smriti012

    2222 Points

  7. Arnabi

    1946 Points

  8. Debashish Deka

    1920 Points

  9. mcjoshi

    1614 Points

  10. sh!va

    1462 Points

Monthly Topper: Rs. 500 gift card

20,793 questions
25,951 answers
59,557 comments
21,976 users