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
4670 Points
4556 Points
3420 Points
3124 Points
2864 Points
2450 Points
2136 Points
2042 Points
1930 Points
1686 Points
Gatecse