As was foretold, we've added advertisements to the forums! If you have questions, or if you encounter any bugs, please visit this thread: https://forums.penny-arcade.com/discussion/240191/forum-advertisement-faq-and-reports-thread/
Options

[Solved] [Logic On!] Evil Deduction! Help!

PhilthePillPhilthePill Registered User regular
edited January 2008 in Help / Advice Forum
Construct a deduction to show this is valid:

(p v q) hook ( r & s)
-p hook (t hook -t)
-r

Therefore -t.


This one's a bitch I know, but any help AT ALL would be appreciated.

I'm gonna sing the DOOM SONG now. DOOMY doom domm doom doom doom doom doom doom doomy doom-doom...
PhilthePill on

Posts

  • Options
    PhilthePillPhilthePill Registered User regular
    edited January 2008
    Got it. Thread can be locked, still writing out answer, if anyone wants it I'll put it up once I've finished writing it out.

    Solid deduction though. Lots of fun.

    PhilthePill on
    I'm gonna sing the DOOM SONG now. DOOMY doom domm doom doom doom doom doom doom doomy doom-doom...
  • Options
    SmasherSmasher Starting to get dizzy Registered User regular
    edited January 2008
    I wanna give it a shot, but I've never heard of "hook". What does it mean?

    Also, I take it - means not?

    Smasher on
  • Options
    ecco the dolphinecco the dolphin Registered User regular
    edited January 2008
    Smasher wrote: »
    I wanna give it a shot, but I've never heard of "hook". What does it mean?

    I always read:

    a hook b

    as:

    if a is true, then b is true.

    The truth table (0 is false, 1 is true):

    0 hook 0 is 1
    0 hook 1 is 1
    1 hook 0 is 0
    1 hook 1 is 1

    From this, you can say that if (a hook b) is true, and b is false, then a must also be false.

    Good times from my logic paper.

    ecco the dolphin on
    Penny Arcade Developers at PADev.net.
Sign In or Register to comment.