Find the predicate logic for the following statement. There are at most two cars.
please explain each one of them
1.
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
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.
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
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.
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
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
3154 Points
1636 Points
1590 Points
1350 Points
1298 Points
1246 Points
1044 Points
1042 Points
880 Points
706 Points
384 Points
262 Points
236 Points
136 Points
118 Points
Gatecse
@sushmita Yes, BITS Pilani is really nice. I ...
yeah, the list will be divided into 3 equal ...