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

Is there anything you can conclude from:

1. Everyone hates the enemy of 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.

 Subject Author Date Correction to offical Solution and apology to hoodat ollie 2017-08-07 05:42:04 Mistaken identity. hoodat 2017-05-20 21:18:20 re: Pogo speaks (spoiler) ollie 2017-05-19 10:38:23 Pogo speaks (spoiler) Steve Herman 2017-05-18 09:38:27

 Search: Search body:
Forums (5)