Author Topic: [Lesson] Proofwriting  (Read 7406 times)

0 Members and 1 Guest are viewing this topic.

Offline d&q

  • Hero Member
  • *****
  • Posts: 1427
  • I'm here.
    • View Profile
    • Site
Re: [Lesson] Proofwriting
« Reply #15 on: November 15, 2006, 08:26:43 pm »
Here are two more proofwriting laws:





You can put this under the Contrapositive section:

« Last Edit: November 17, 2006, 11:59:15 pm by Deuce »
The writ of the founders must endure.

Offline Sidoh

  • Moderator
  • Hero Member
  • *****
  • Posts: 17634
  • MHNATY ~~~~~
    • View Profile
    • sidoh
Re: [Lesson] Proofwriting
« Reply #16 on: November 16, 2006, 12:36:01 pm »
I thought these might be helpful as well:

« Last Edit: November 16, 2006, 12:38:25 pm by Sidoh »

Offline Ender

  • Moderator
  • Hero Member
  • *****
  • Posts: 2390
    • View Profile
Re: [Lesson] Proofwriting
« Reply #17 on: November 16, 2006, 03:04:02 pm »
You can put this under the Contrapositive section:


I believe your definition of the contrapositive is wrong. If P => Q then the contrapositive is not Q => not P, instead of not P => not Q.

For instance:

(1) If you live in Massachusetts then you live in the USA (P => Q) -- correct
(2) If you do not live in Massachusetts then you do not live in the USA (not P => not Q) -- incorrect
(3) If you do not live in the USA then you do not live in Massachusetts (not Q => not P) -- correct

Statements (1) and (2) do not have to be either both true or both false, as shown above. Statements (1) and (3) do have to be either both true or both false, which is what I think you meant by the Law of the Contrapositive.

Offline d&q

  • Hero Member
  • *****
  • Posts: 1427
  • I'm here.
    • View Profile
    • Site
Re: [Lesson] Proofwriting
« Reply #18 on: November 17, 2006, 11:59:48 pm »
? I haven't the slightest idea what you mean.
The writ of the founders must endure.