1. Limited time only! Sign up for a free 30min personal 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!

Logic - Derivation Help Please?

  1. Mar 24, 2010 #1
    Do a derivation showing that (P conditional Q) v P is a theorem of system SD+

    *Sorry guys, I can't figure out how to do the symbol in between (P Q), but it means If P then Q and it is otherwise known as the conditional

    -I am really struggling with this problem and I would greatly appreciate any help
  2. jcsd
  3. Mar 25, 2010 #2


    Staff: Mentor

    What is system SD+?

    Make a truth table with separate columns for P, Q, [itex]P \Rightarrow Q[/itex], and [itex]P \Rightarrow Q \vee P[/itex]

    You need four rows.

    To see how I got the "implies" arrow or the V, double-click the expressions that use these symbols, and another window with the LaTeX code opens.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Logic - Derivation Help Please?
  1. Symbolic Logic help (Replies: 0)