All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars    
perplexus dot info

Home > Logic
Two sentences about Lady Chatterley (Posted on 2017-05-18) Difficulty: 2 of 5
Is there anything you can conclude from:

1. Everyone hates the enemy of Lady Chatterley.
2. The enemy of Lady Chatterley hates only Lady Chatterley.

  Submitted by ollie    
Rating: 4.0000 (2 votes)
Solution: (Hide)
The most interesting and surprising solution (step 7 below) was given by Steve Herman.

1. (Ax)[Human(x) -> Hates(x,e(lc))]
2. (Ax)[Hates(e(lc),x) <-> (x = lc)]
3. Human(e(lc))
---
4. Human(e(lc)) -> Hates(e(lc),e(lc))           A-elim 1
5. Hates(e(lc),e(lc))                                    -> elim 4,3
6. Hates(e(lc),e(lc)) <-> (e(lc) = lc)            A-elim 2
7. e(lc) = lc                                               <-> elim 6,5
8. (Ax)[Human(x) -> Hates(x,lc)]                = elim 1,7

Of course, there are some more but less interesting conclusions, e.g. Kim-Jong-un hates Lady Chatterley.

hoodat: That everyone hates Lady Chatterley is not a premise but a conclusion (step 8). The premise is that everyone hates the enemy of Lady Chatterley.

Comments: ( You must be logged in to post comments.)
  Subject Author Date
Correction to offical Solution and apology to hoodatollie2017-08-07 05:42:04
Mistaken identity.hoodat2017-05-20 21:18:20
re: Pogo speaks (spoiler)ollie2017-05-19 10:38:23
SolutionPogo speaks (spoiler)Steve Herman2017-05-18 09:38:27
Please log in:
Login:
Password:
Remember me:
Sign up! | Forgot password


Search:
Search body:
Forums (0)
Newest Problems
Random Problem
FAQ | About This Site
Site Statistics
New Comments (2)
Unsolved Problems
Top Rated Problems
This month's top
Most Commented On

Chatterbox:
Copyright © 2002 - 2017 by Animus Pactum Consulting. All rights reserved. Privacy Information