GATE CSE
First time here? Checkout the FAQ!
x
0 votes
119 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)   | 119 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 (47.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 Jun 2017
  1. Bikram

    3704 Points

  2. Hemant Parihar

    1502 Points

  3. junaid ahmad

    1432 Points

  4. Arnab Bhadra

    1416 Points

  5. Niraj Singh 2

    1391 Points

  6. Debashish Deka

    1246 Points

  7. Rupendra Choudhary

    1194 Points

  8. rahul sharma 5

    1158 Points

  9. Arjun

    956 Points

  10. srestha

    950 Points

Monthly Topper: Rs. 500 gift card
Top Users 2017 Jun 19 - 25
  1. Bikram

    1960 Points

  2. Niraj Singh 2

    1386 Points

  3. junaid ahmad

    502 Points

  4. Debashish Deka

    414 Points

  5. sudsho

    410 Points


23,373 questions
30,079 answers
67,406 comments
28,396 users