Turn on thread page Beta
    • Thread Starter
    Offline

    15
    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

    15
    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

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

    15
    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
 
 
 
Reply
Submit reply
Turn on thread page Beta
Updated: November 8, 2008

University open days

  1. University of Bradford
    University-wide Postgraduate
    Wed, 25 Jul '18
  2. University of Buckingham
    Psychology Taster Tutorial Undergraduate
    Wed, 25 Jul '18
  3. Bournemouth University
    Clearing Campus Visit Undergraduate
    Wed, 1 Aug '18
Poll
How are you feeling in the run-up to Results Day 2018?
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

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.