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
3514 Points
2546 Points
2040 Points
1966 Points
1768 Points
1610 Points
1588 Points
1454 Points
1424 Points
1420 Points
Gatecse
The topics to read :