Hey there! Sign in to join this conversationNew here? Join for free
    • Thread Starter
    Offline

    0
    ReputationRep:
    Logic
    Offline

    2
    ReputationRep:
    I spent a while writing out long stuff, but couldn't figure out a way to get there without assuming rules like ¬(A & B) > (¬A v ¬B), and I wasn't sure if you're allowed to use those, seeing as they're about as complicated as what you're trying to prove here anyway. I'm sure there's a way to do it using lots of annoying assumptions along the way, but I can't be bothered at the moment.
 
 
 
  • See more of what you like on The Student Room

    You can personalise what you see on TSR. Tell us a little about yourself to get started.

  • Poll
    What newspaper do you read/prefer?
  • See more of what you like on The Student Room

    You can personalise what you see on TSR. Tell us a little about yourself to get started.

  • The Student Room, Get Revising and Marked by Teachers are trading names of The Student Room Group Ltd.

    Register Number: 04666380 (England and Wales), VAT No. 806 8067 22 Registered Office: International House, Queens Road, Brighton, BN1 3XE

    Quick reply
    Reputation gems: You get these gems as you gain rep from other members for making good contributions and giving helpful advice.