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
23338 Points
17048 Points
7912 Points
6228 Points
5438 Points
4968 Points
4772 Points
4286 Points
3964 Points
3794 Points
Gatecse
X->YZ , Y->XZ , ...