Proving Theorems in Sentential Logic: SD Derivation Guide

  • Thread starter yankes2k
  • Start date
  • Tags
    sd
In summary, the individual is seeking help with proving a theorem for their logic homework. They are allowed to use standard derivations in Sentential Logic and are struggling with entering symbols. The instructions are to show that two given statements are theorems in SD by constructing a derivation. They apologize for double-posting and explain that they initially posted on the wrong forum.
  • #1
yankes2k
11
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
  • #2
Anyone have some advice?
 
  • #3

FAQ: Proving Theorems in Sentential Logic: SD Derivation Guide

What is SD deviation and why is it important in science?

SD deviation, also known as standard deviation, is a measure of how spread out a set of data is. It is important in science because it allows us to understand the variability and distribution of data, which is crucial for making accurate conclusions and predictions.

How is SD deviation calculated?

SD deviation is calculated by finding the average of the squared differences from the mean of a set of data. This value is then square rooted to get the standard deviation.

What is a high or low SD deviation?

A high SD deviation means that the data points are spread out over a larger range, while a low SD deviation means that the data points are clustered closely around the mean. The exact interpretation of high or low SD deviation depends on the context of the data and the specific field of study.

How does SD deviation differ from variance?

SD deviation and variance are both measures of data spread, but variance is the average of the squared differences from the mean, while SD deviation is the square root of variance. In other words, SD deviation is the square root of variance.

Can SD deviation be negative?

No, SD deviation cannot be negative. Since it is a measure of data spread, it is always a positive value. If a calculation results in a negative value for SD deviation, it is likely due to an error in the calculation.

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
9K
Correct Derivation of the Adiabatic Condition? (PV Diagram)
Replies
4
Views
559
I Can Schwarz's Theorem be used "Backwards" to prove continuity?
Replies
21
Views
1K
Arguments in sentential logic and contradictions/tautologies.
Replies
7
Views
7K
Is (A & ~A) > (B & ~B) a Theorem in Sentential Derivation?
Replies
2
Views
2K
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

Hot Threads

Recent Insights

Back
Top