Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proof of p^(qvr) <=> (p^q)v(p^r)

  1. Sep 18, 2008 #1
    How do we prove in propositional calculus :

    ......p^(qvr) <===> (p^q)v(p^r) semantically and syntactically
     
  2. jcsd
  3. Sep 19, 2008 #2

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    Well, what have you already come up with?
     
  4. Sep 19, 2008 #3

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    Comparing truth tables will do it quickly and neatly. Are you not allowed to use that method?
     
  5. Sep 19, 2008 #4

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    I had to Google as well, as far as I can see, using truth tables would be the semantic proof.
     
  6. Sep 19, 2008 #5
    Semantical proof without using true tables ,i have one in mind but i am not very positive about it.Then syntactically how about a contradiction you think it could work ,although it looks a bit messy
     
  7. Sep 20, 2008 #6

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    It is not quite clear to me what you mean by a semantical proof, and a syntactical one.
    Also, if you would post your idea we can have a look at it. Maybe you are on the right track but just need a last push, or maybe you even got it right but lack the confidence :wink:
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Proof of p^(qvr) <=> (p^q)v(p^r)
  1. If P, then Q (Replies: 6)

Loading...