Will Martha Find a Car That Meets Her Demands?

  • Level: High School 
  • Thread starter Thread starter some_one
  • Start date Start date
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
Sign up Log in
5 replies · 3K views
some_one
Messages
78
Reaction score
1
martha wants to buy a fast and a chip car which answers to this term:
the car should be painted in silver or a convertible ,but not both.

which one of the following arguments will lead us to the conclusion
that martha will not find a car which fits by her demands?
1.a fast car which is not chip,unless its painted in silver and it a convertible
2.a fast car painted in silver,but its not a convertible
3.a chip car will never be painted in silver
4.a convertible car are not fast and they are not painted in silver
 
Mathematics news on Phys.org

Discussion

So let's define some properties:
F: the car is fast
Ch: the car is cheap
S: the car is painted silver
Co: the car is convertible

Now can you make a logical expression which is true when she does buy the car? So I'm looking for something of the form: (F or Ch) and (F and ((not Co) or S).
Also try to express the answer possibilities this way (as an example, number 1 would become: [itex](F \wedge \neg Ch) \vee (S \wedge Co)[/itex]).

Once you have that, I will of course ask you if you can negate that expression.
 
I doubt the OP has experience with formal logic, let alone symbolic logic, CompuChip.
 
Is there an easier way to solve it, then?

By the way I just noticed this is posted in "general discussion > brain teasers" so maybe the question is for us to find the answer and the OP already has it.
 
i am having the final answer
bur i don't have the way its being solved
 
i think i got the way they solved it
its 1
because in that way the car will be silver and convertible
which is not possible