First time here? Checkout the FAQ!
0 votes


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

  1.   image:MST6/o1.JPG
  2.   image:MST6/o2.JPG
  3.   image:MST6/o3.JPG
  4.   None of these

please explain each one of them

asked in Mathematical Logic by Veteran (14.8k points) 15 151 316 | 149 views

1 Answer

+3 votes
Best answer


 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. image:MST6/o2.JPG

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. image:MST6/o3.JPG

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

answered by Veteran (52.8k points) 21 71 325
selected by
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.

Related questions

+3 votes
2 answers
+2 votes
1 answer
0 votes
1 answer

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
Top Users Oct 2017
  1. Arjun

    23338 Points

  2. Bikram

    17048 Points

  3. Habibkhan

    7912 Points

  4. srestha

    6228 Points

  5. Debashish Deka

    5438 Points

  6. jothee

    4968 Points

  7. Sachin Mittal 1

    4772 Points

  8. joshi_nitish

    4286 Points

  9. sushmita

    3964 Points

  10. Rishi yadav

    3794 Points

Recent Badges

Popular Question makhdoom ghaya
Popular Question junaid ahmad
Notable Question learner_geek
Notable Question jothee
Popular Question jothee
Notable Question Jeffrey Jose
Notable Question air1ankit
Nice Question jothee
Verified Human shaleen25
Popular Question jothee
27,290 questions
35,142 answers
33,231 users