1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
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...