Advertisement
Help Keep Boards Alive. Support us by going ad free today. See here: https://subscriptions.boards.ie/.
If we do not hit our goal we will be forced to close the site.

Current status: https://keepboardsalive.com/

Annual subs are best for most impact. If you are still undecided on going Ad Free - you can also donate using the Paypal Donate option. All contribution helps. Thank you.
https://www.boards.ie/group/1878-subscribers-forum

Private Group for paid up members of Boards.ie. Join the club.

propositional logic proofs

  • 14-05-2012 08: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