• Support PF! Buy your school textbooks, materials and every day products Here!

Logic - Derivation Help Please?

  • Thread starter Brcummings
  • Start date
  • #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
 

Answers and Replies

  • #2
33,503
5,191
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
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.
 

Related Threads on Logic - Derivation Help Please?

Replies
5
Views
2K
  • Last Post
Replies
7
Views
1K
Replies
11
Views
1K
Replies
0
Views
2K
  • Last Post
Replies
6
Views
8K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
0
Views
2K
  • Last Post
Replies
0
Views
1K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
7
Views
6K
Top