Maelin comments on Book Club Update and Chapter 1 - Less Wrong

15 Post author: Morendil 15 June 2010 12:30AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (79)

You are viewing a single comment's thread. Show more comments above.

Comment author: hegemonicon 17 June 2010 12:51:36PM 0 points [-]

Can someone a little more fluent in boolean algebra post the transformation that gets you from (1-8) to (1-9) (pg 107-108 in the pdf)? I haven't been able to work it out.

Comment author: Morendil 17 June 2010 01:11:11PM 1 point [-]

I'm not sure there is a transformation intended... Proposition (1-9) appears by itself in a section that discusses "implication" (it introduces => as a shorthand for A=AB) and does not appear to follow from (1-8).

Comment author: hegemonicon 17 June 2010 01:46:53PM *  0 points [-]

Hrm, no wonder it didn't work out. Thanks.