Do a derivation showing that (P conditional Q) v P is a theorem of system SD+(adsbygoogle = window.adsbygoogle || []).push({});

*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

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Logic - Derivation Help Please?

**Physics Forums | Science Articles, Homework Help, Discussion**