Proving Theorems in Sentential Logic: SD Derivation Guide

  • Thread starter Thread starter yankes2k
  • Start date Start date
  • Tags Tags
    sd
Click For Summary
SUMMARY

This discussion focuses on proving theorems in Sentential Logic using standard derivations. The specific theorems to be derived are: 1) ~A>((B&A)>C) and 2) (AvB)>(BvA). Participants are encouraged to utilize established derivation techniques in Sentential Logic to construct proofs for these theorems. The conversation highlights the importance of clarity in symbol representation, particularly using ">" for conditional statements.

PREREQUISITES
  • Understanding of Sentential Logic and its derivation rules
  • Familiarity with logical symbols and their meanings
  • Knowledge of theorem proving techniques in formal logic
  • Ability to construct logical arguments and proofs
NEXT STEPS
  • Study the rules of SD (Sentential Derivation) in detail
  • Practice constructing derivations for various logical theorems
  • Explore the use of logical symbols and their proper notation
  • Review examples of theorem proofs in Sentential Logic
USEFUL FOR

Students of logic, educators teaching formal logic, and anyone interested in mastering theorem proving in Sentential Logic.

yankes2k
Messages
11
Reaction score
0
Hi everyone,

I really need help proving a theorem for logic HW. I am allowed to use all the standard derivations in Sentential Logic.

Also I do not know how to enter in the symbols so I will use ">" to signify conditional in the problem below.

Instructions: Show that each of the following is a theorem in SD by constructing a derivation.

1:) ~A>((B&A)>C)

2:) (AvB)>(BvA)

If someone could help me out I would really appreciate it as I am so lost right now.

Thanks,

-Tony

BTW this is posted on the Logic form first because I did not notice this form first. Sorry for double-posting
 
Physics news on Phys.org
Anyone have some advice?
 

Similar threads

How Do You Prove Theorems in Sentential Logic?
  • · Replies 9 ·
Replies
9
Views
6K
Proving a Theorem in SD: How Can I Show [(A -> B)->A]->A is a Theorem in SD?
  • · Replies 6 ·
Replies
6
Views
10K
Correct Derivation of the Adiabatic Condition? (PV Diagram)
  • · Replies 4 ·
Replies
4
Views
2K
Undergrad Can Schwarz's Theorem be used "Backwards" to prove continuity?
  • · Replies 21 ·
Replies
21
Views
7K
Undergrad Arguments in sentential logic and contradictions/tautologies.
  • · Replies 7 ·
Replies
7
Views
7K
MHB Units in Z_m .... Anderson and Feil, Theorem 8.6 .... ....
  • · Replies 2 ·
Replies
2
Views
2K
Undergrad Units in Z_m .... Anderson and Feil, Theorem 8.6 .... ....
  • · Replies 5 ·
Replies
5
Views
2K
Derivation of (P conditional Q) v P in System SD+
  • · Replies 1 ·
Replies
1
Views
2K
Derivation of Noether's theorem in Lagrangian dynamics
  • · Replies 2 ·
Replies
2
Views
3K
Undergrad Using symbolic logic in mathematical proof?
  • · Replies 4 ·
Replies
4
Views
2K