Document comments on Rationality Quotes: January 2011 - Less Wrong

2 Post author: wedrifid 03 January 2011 05:24AM

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

Comments (268)

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

Comment author: endoself 04 January 2011 04:03:49AM *  2 points [-]

Denying the antecedent with P and Q:

  • P -> Q

  • ~P

  • Therefore ~Q

Affirming the consequent with ~Q and ~P

  • ~Q -> ~P

  • ~P

  • Therefore ~Q

Wow, I feel kind of bad just writing those chains of "deduction". Anyways, the same result was concluded from the same minor premise, the only difference is the major premise, and P -> Q and ~Q -> ~P are equivalent.

edit: formatting