Maelin comments on Book Club Update and Chapter 1 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (79)
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.
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).
Hrm, no wonder it didn't work out. Thanks.