Proving Theorems in Sentential Logic: SD Derivation Guide

  • Thread starter Thread starter yankes2k
  • Start date Start date
  • Tags Tags
    sd
AI Thread Summary
The discussion centers on a request for assistance in proving two theorems in Sentential Logic using standard derivations. The user, Tony, is seeking guidance on how to construct derivations for the statements "~A>((B&A)>C)" and "(AvB)>(BvA)". He expresses confusion and a lack of understanding regarding the process. Additionally, Tony acknowledges posting in the wrong forum and apologizes for any inconvenience caused. The thread highlights the challenges faced by students in mastering logical proofs.
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?
 

Thread 'Struggling to understand the concept of this question (ice cube in water optics question)'

TL;DR Summary: I came across this question from a Sri Lankan A-level textbook. Question - An ice cube with a length of 10 cm is immersed in water at 0 °C. An observer observes the ice cube from the water, and it seems to be 7.75 cm long. If the refractive index of water is 4/3, find the height of the ice cube immersed in the water. I could not understand how the apparent height of the ice cube in the water depends on the height of the ice cube immersed in the water. Does anyone have an...
View full post »

Thread 'Rolling without slipping on a curved surface'

Kindly see the attached pdf. My attempt to solve it, is in it. I'm wondering if my solution is right. My idea is this: At any point of time, the ball may be assumed to be at an incline which is at an angle of θ(kindly see both the pics in the pdf file). The value of θ will continuously change and so will the value of friction. I'm not able to figure out, why my solution is wrong, if it is wrong .
View full post »

Similar threads

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

Hot Threads

Recent Insights

Back
Top