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 'Errors and significant figures'

I multiplied the values first without the error limit. Got 19.38. rounded it off to 2 significant figures since the given data has 2 significant figures. So = 19. For error I used the above formula. It comes out about 1.48. Now my question is. Should I write the answer as 19±1.5 (rounding 1.48 to 2 significant figures) OR should I write it as 19±1. So in short, should the error have same number of significant figures as the mean value or should it have the same number of decimal places as...
View full post »
Thread 'A cylinder connected to a hanging mass'

Thread 'A cylinder connected to a hanging mass'

Let's declare that for the cylinder, mass = M = 10 kg Radius = R = 4 m For the wall and the floor, Friction coeff = ##\mu## = 0.5 For the hanging mass, mass = m = 11 kg First, we divide the force according to their respective plane (x and y thing, correct me if I'm wrong) and according to which, cylinder or the hanging mass, they're working on. Force on the hanging mass $$mg - T = ma$$ Force(Cylinder) on y $$N_f + f_w - Mg = 0$$ Force(Cylinder) on x $$T + f_f - N_w = Ma$$ There's also...
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
985
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