86 views

Find the predicate logic for the following statement.
There are at most two cars.

1.
2.
3.
4.   None of these

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

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

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

selected
in third case,what is the condition for 2 cars?

i mean if x=z and x=y are true then z=y and hence all the cars are same nd hence there is only 1 car.