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

    14
    ReputationRep:
    Ok can someone just point me in the right direction, because I have no idea how to even start this question (what is it even asking me to do?!?!?)

    Show that every truth table in two variables is the truth table of some formulae in propositional calculus (Hint: 16/2 = 8)

    No direct answers please unless I ask.
    Offline

    15
    ReputationRep:
    (Original post by Ewan)
    Ok can someone just point me in the right direction, because I have no idea how to even start this question (what is it even asking me to do?!?!?)

    Show that every truth table in two variables is the truth table of some formulae in propositional calculus (Hint: 16/2 = 8)

    No direct answers please unless I ask.
    There are 16 truth tables of two variables (why?) such as the one below:

    P Q
    T T T
    T F T
    F T F
    F F T

    Can you write down a statement involving P and Q that yields that true table?

    You in the end will only have to do 8. Having done the one above you can use its negation automatically to do the FFTF table.
    • Thread Starter
    Offline

    14
    ReputationRep:
    Pv~Q,

    K I see, cheers dude, so I have for instance

    TTT
    TTF
    TFT
    FTT ..... etc... 16 combinations of arranging in two variables... then I need to find the corresponding equation in prop calc... is there any easyway of doing this? Or i just experiment with outcomes to prop calc equations
    Offline

    15
    ReputationRep:
    (Original post by Ewan)
    Pv~Q,

    K I see, cheers dude, so I have for instance

    TTT
    TTF
    TFT
    FTT ..... etc... 16 combinations of arranging in two variables... then I need to find the corresponding equation in prop calc... is there any easyway of doing this? Or i just experiment with outcomes to prop calc equations
    Just experiment. There won't be just one formula for each table. Other tautological formula will work (like Q implies P) for the one I gave you.
    Offline

    2
    ReputationRep:
    I've never heard the term 'prop calculus' but would this not have something to do with factorials?
    • Thread Starter
    Offline

    14
    ReputationRep:
    (Original post by RichE)
    Just experiment. There won't be just one formula for each table. Other tautological formula will work (like Q implies P) for the one I gave you.
    I only need to find one equation for each truth table though right? Not all possible equations.
    Offline

    15
    ReputationRep:
    (Original post by Ewan)
    I only need to find one equation for each truth table though right? Not all possible equations.
    Yes, just one - there will be infinitely many logical formulae that give each table
 
 
 
  • 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
    Brexit voters: Do you stand by your vote?
    Useful resources

    Make your revision easier

    Maths

    Maths Forum posting guidelines

    Not sure where to post? Read the updated guidelines here

    Equations

    How to use LaTex

    Writing equations the easy way

    Student revising

    Study habits of A* students

    Top tips from students who have already aced their exams

    Study Planner

    Create your own Study Planner

    Never miss a deadline again

    Polling station sign

    Thinking about a maths degree?

    Chat with other maths applicants

    Can you help? Study help unanswered threads

    Groups associated with this forum:

    View associated groups
  • 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

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