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

    0
    ReputationRep:
    I've been given three questions.

    the first one:
    ¬((¬(PvQ))→((¬Q)^R))
    Represent the proposition in the form of a tree.


    Assuming that the proposition is false, label each vertex of the tree with the corresponding truth value.

    the second one:
    (¬(PvQ))→((¬Q)^R)
    Represent the proposition in the form of a tree.


    Assuming that the proposition is false, label each vertex of the tree with the corresponding truth value.


    This one i dont really understand
    Use the inference rules 1) – 5) to prove the logical argument
    P, Q^¬R,(P^Q)→S | - S


    Have i done the first two right and could some guide me on how to do the third question. (see image at the bottom)

    All help appreciated. thx

    Name:  264562_596171963733983_1816022037_n.jpg
Views: 42
Size:  95.2 KB
    Offline

    2
    ReputationRep:
    (Original post by Robbo17710)
    Spoiler:
    Show
    I've been given three questions.

    the first one:
    ¬((¬(PvQ))→((¬Q)^R))
    Represent the proposition in the form of a tree.


    Assuming that the proposition is false, label each vertex of the tree with the corresponding truth value.

    the second one:
    (¬(PvQ))→((¬Q)^R)
    Represent the proposition in the form of a tree.


    Assuming that the proposition is false, label each vertex of the tree with the corresponding truth value.


    This one i dont really understand
    Use the inference rules 1) – 5) to prove the logical argument
    P, Q^¬R,(P^Q)→S | - S


    Have i done the first two right and could some guide me on how to do the third question. (see image at the bottom)

    All help appreciated. thx

    Name:  264562_596171963733983_1816022037_n.jpg
Views: 42
Size:  95.2 KB
    The heading "Trees" makes it look like there's going to be a grand collection of pictures of Oaks and Conifers! :lol:

    ...I was miserably disappointed :ahee:
    Spoiler:
    Show
    Sorry for not not not not being unhelpful :lol:
    • Thread Starter
    Offline

    0
    ReputationRep:
    changed the title :P
    • Study Helper
    Offline

    13
    Study Helper
    (Original post by Robbo17710)
    I've been given three questions.

    the first one:
    ¬((¬(PvQ))→((¬Q)^R))
    Represent the proposition in the form of a tree.


    Assuming that the proposition is false, label each vertex of the tree with the corresponding truth value.
    The tree in your diagram starts off as true. :confused:

    the second one:
    (¬(PvQ))→((¬Q)^R)
    Represent the proposition in the form of a tree.


    Assuming that the proposition is false, label each vertex of the tree with the corresponding truth value.
    Not studied this methodology, but it looks correct to me.

    This one i dont really understand
    Use the inference rules 1) – 5) to prove the logical argument
    P, Q^¬R,(P^Q)→S | - S
    There's no standard numbering to the rules of inference. What are your 1) - 5)?
 
 
 
Poll
Do you agree with the PM's proposal to cut tuition fees for some courses?
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.