- #1
- 1
- 0
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
*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