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
4018 Points
2994 Points
2804 Points
2606 Points
2092 Points
1414 Points
1318 Points
1218 Points
1166 Points
1004 Points
Gatecse
UGC NET papers