Recent content by Brcummings

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...