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



Top Users Aug 2017
  1. ABKUNDAN

    4670 Points

  2. Bikram

    4556 Points

  3. akash.dinkar12

    3420 Points

  4. rahul sharma 5

    3124 Points

  5. manu00x

    2864 Points

  6. makhdoom ghaya

    2450 Points

  7. just_bhavana

    2136 Points

  8. Tesla!

    2042 Points

  9. stblue

    1930 Points

  10. joshi_nitish

    1686 Points


24,970 questions
32,072 answers
74,567 comments
30,150 users