Derivation of (P conditional Q) v P in System SD+

  • Thread starter Thread starter Brcummings
  • Start date Start date
  • Tags Tags
    Derivation Logic
Click For Summary
SUMMARY

The theorem (P conditional Q) v P is established as a theorem of system SD+. The derivation involves creating a truth table that includes separate columns for P, Q, P ⇒ Q, and P ⇒ Q ∨ P, which requires four rows to complete. The conditional operator is represented as "⇒" and the disjunction as "∨". Understanding these symbols is crucial for accurately performing the derivation in this logical system.

PREREQUISITES
  • Familiarity with propositional logic, specifically conditional statements and disjunctions.
  • Understanding of the SD+ logical system and its axioms.
  • Ability to construct and interpret truth tables.
  • Basic knowledge of LaTeX for representing logical symbols.
NEXT STEPS
  • Study the axioms and rules of inference in system SD+.
  • Learn how to construct truth tables for more complex logical expressions.
  • Explore the use of LaTeX for typesetting mathematical and logical symbols.
  • Investigate other theorems derived within the SD+ system for broader context.
USEFUL FOR

Students of logic, mathematicians, and anyone interested in formal proof systems and propositional calculus.

Brcummings
Messages
1
Reaction score
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
 
Physics news on Phys.org
Brcummings said:
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, P \Rightarrow Q, and P \Rightarrow Q \vee P

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.
 

Similar threads

Logic: proof that [p -> (q ^ r)] <=> [(p ^ -q) -> r]
  • · Replies 3 ·
Replies
3
Views
2K
Undergrad On the meaning of logical implication within specific context/models
  • · Replies 22 ·
Replies
22
Views
4K
If a and b are both quadratic residues/nonresidues mod p & q
  • · Replies 1 ·
Replies
1
Views
2K
Undergrad Why prove Taylor's theorem with p(x)=q(x)−((b−a)^n/(b−x)^n)q(a)?
  • · Replies 9 ·
Replies
9
Views
3K
Calculate y^(p+q) using the Leibniz formula
  • · Replies 12 ·
Replies
12
Views
3K
Equivalence of Implications: P, Q, and R
  • · Replies 2 ·
Replies
2
Views
4K
Dynamical Systems: how to find equation for Poincare map?
  • · Replies 1 ·
Replies
1
Views
2K
Correct Derivation of the Adiabatic Condition? (PV Diagram)
  • · Replies 4 ·
Replies
4
Views
1K
Undergrad Translate compound proposition p → q (implication) to p↓q question
  • · Replies 4 ·
Replies
4
Views
2K
Prove One but not both of these systems is consistent.
  • · Replies 1 ·
Replies
1
Views
1K