Turn on thread page Beta
    • Thread Starter

    I've started a cousera course called Introduction to Mathematical Thinking,
    I haven't been able to find a active study group so I hoped you could help.

    These are some exercises I'm currently working through.

    Q1 - . Build a truth table to prove the claim I made earlier that φ ⇔ ψ is true if φ and ψ are both true or both false, and φ ⇔ ψ is false if exactly one of φ, ψ is true and the other false. (To constitute a proof, your table should have columns that show how the entries for φ ⇔ ψ are derived, one operator at a time.)


    Questions: If we can assume that F(alse) = 0, while T(rue) = 1 and equivalence is multiplying the two together then we'll get:
    T F => F
    T T => T
    F T => F
    F F => T
    but that means that 0 x 0 should equal 1, which it obviously doesn't yet I've heard consistently that F F => T -- can someone clarify where I'm going wrong or where I have misunderstood?

    Q2 -Build a truth table to show that (φ ⇒ ψ) ⇔ (¬φ ∨ ψ) is true for all truth values of φ and ψ. A statement whose truth values are all T is called a logical validity, or sometimes a tautology.


    I'm not sure what went wrong?!
    Questions: Is there an easy way to ensure that I've included all the correct notations in the truth table?
    Q3 - Build a truth table to show that (φ 6⇒ ψ) ⇔ (φ ∧ ¬ψ) is a tautology.


    Again I'm not sure where I'm going wrong here!
    Jumping to 9) to stay on the same theme


    I must be misunderstanding something here to keep getting these so wrong, any assistance would be much appreciated.
    • Study Helper

    Study Helper
    (Original post by JL-W)
    I must be misunderstanding something here to keep getting these so wrong, any assistance would be much appreciated.
    Your links don't seem to work.

    The format for the url bbcode is here. Look for URL hyperlinking.

    Even when I par down what you've put, to get to the url, it doesn't seem to give a valid page on i.imgur.com.
    • Thread Starter

    I think I may have deleted them in tidying up my imgur account : ( sorry.
Submit reply
Turn on thread page Beta
Updated: October 29, 2017

University open days

  • University of Exeter
    Undergraduate Open Days - Exeter Campus Undergraduate
    Wed, 24 Oct '18
  • University of Bradford
    Faculty of Health Studies Postgraduate
    Wed, 24 Oct '18
  • Northumbria University
    All faculties Undergraduate
    Wed, 24 Oct '18
Who do you think it's more helpful to talk about mental health with?
Useful resources

Make your revision easier


Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here


How to use LaTex

Writing equations the easy way


Best calculators for A level Maths

Tips on which model to get

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...
Reputation gems: You get these gems as you gain rep from other members for making good contributions and giving helpful advice.