Advertisement
If you have a new account but are having problems posting or verifying your account, please email us on hello@boards.ie for help. Thanks :)
Hello all! Please ensure that you are posting a new thread or question in the appropriate forum. The Feedback forum is overwhelmed with questions that are having to be moved elsewhere. If you need help to verify your account contact hello@boards.ie
Hi there,
There is an issue with role permissions that is being worked on at the moment.
If you are having trouble with access or permissions on regional forums please post here to get access: https://www.boards.ie/discussion/2058365403/you-do-not-have-permission-for-that#latest

propositional logic proofs

  • 14-05-2012 7:46pm
    #1
    joey12345
    Registered Users, Registered Users 2 Posts: 49 ✭


    any one here decent at explaining proofs with propositional logic?

    i have one here

    if A={p->q, r v q, ~r} then A logically implies q

    not looking for answers just a very easy explanation..

    so far i have

    1. p->q H
    2. r v p H
    3. ~r H
    4. [p] A
    5. q 1,4 MP
    .
    .
    .
    .
    .
    im terrible at logic as you can see. any help would be great this sort of question seems to appear every year so itd be great for a bit of help
    Tagged:


Comments

  • #2
    MathsManiac
    Registered Users, Registered Users 2 Posts: 1,595 ✭✭✭MathsManiac


    Every course in logic seems to be slightly different in a number of respects, and I'm not sure what axiom set you have governing/defining such things as "v", and I'm not sure of some of your notation, but your line 4 looks dubious.

    Ignoring the first item in A, you should be able to use r v q and ~r to deduce q.


Advertisement