 1 - 20 of 34 Posts
D

#### D_Smalls

·
##### Guest
Joined
·
0 Posts
Discussion Starter
this is what I'm doing in one of my classes.. a few of you might be familiar with it, symbolic logic.  #### martix_agent

·
Joined
·
23,645 Posts
never got that high in math.

sheesh... never wanted to either.

·
Joined
·
11,482 Posts

#### mspainter

·
##### Registered
Joined
·
4,452 Posts
Yeah.. that cannot be any fun.

Isn't it crazy how math professors teach you like the invented the ****? It takes my teacher like half the amount of time it takes me to do anything.

#### buddhaHybrid

·
##### Into the whole Yale thing
Joined
·
1,073 Posts
Did you ever take calc? If so, how many semesters?

I'm not familiar with this branch of mathematics but its seems rather simple, just foreign so it looks complicated.

D

#### D_Smalls

·
##### Guest
Joined
·
0 Posts
Discussion Starter
This is actually a philosophy class, believe it or not.

#### buddhaHybrid

·
##### Into the whole Yale thing
Joined
·
1,073 Posts
That explains why it looks foreign to me.

What is its application?

#### noobie_noober

·
##### Registered
Joined
·
316 Posts
Caculus is comming for me, What exactly is Differental Equations?

D

#### D_Smalls

·
##### Guest
Joined
·
0 Posts
Discussion Starter
What is its application?
Deductive Logic. Basically those letters represent premises or propositions. In the first example I was given a set of premises and I had to show how they logically entail that conclusion. You manipulate the premises using basic metarules.

The second example is testing the validity of a conclusion. You show all possible combinations of True or False premises, then work through what's called a truth table and see the results.

D

#### D_Smalls

·
##### Guest
Joined
·
0 Posts
Discussion Starter
Caculus is comming for me, What exactly is Differental Equations?
It's the equation for the rate of change of an equation.
have fun with first principles.

#### buddhaHybrid

·
##### Into the whole Yale thing
Joined
·
1,073 Posts
Caculus is comming for me, What exactly is Differental Equations?
Pretty sure you are refering to Differentiable Equations. They are simply equations that have a derivative at every point... if you don't know what they are I doubt you will understand that answer rollin:

Smalls--Interesting, I was thinking it was vaguely along those lines. Is its real-world application actually worthwhile or is it rather useless? I have found that theorems like that are either astoundingly accurate or POS.

D

#### D_Smalls

·
##### Guest
Joined
·
0 Posts
Discussion Starter
Smalls--Interesting, I was thinking it was vaguely along those lines. Is its real-world application actually worthwhile or is it rather useless? I have found that theorems like that are either astoundingly accurate or POS.
Our professor is rather incompetent, so I can't really say whether it's that useful or not. We have done very few practical applications.. however, theoretically you could create flawless arguments, just don't ask me how #### noobie_noober

·
##### Registered
Joined
·
316 Posts
So, its a equation of a equation?

D

#### D_Smalls

·
##### Guest
Joined
·
0 Posts
Discussion Starter
So, its a equation of a equation?
yeah. the simpliest example is a basic linear function.
say you have y=5x+3
the derivative if that is y=5.

this should make sense cuz 5 was the slope of y=5x+3. And the slope is the rate at which y changes in respect to x. and since its a linear function the slope never changes, so its derivative should be a horizon line at y=5.

#### bobide

·
##### Registered
Joined
·
11,482 Posts
Pretty sure you are refering to Differentiable Equations. They are simply equations that have a derivative at every point... if you don't know what they are I doubt you will understand that answer rollin:

Smalls--Interesting, I was thinking it was vaguely along those lines. Is its real-world application actually worthwhile or is it rather useless? I have found that theorems like that are either astoundingly accurate or POS.
differential equations is a upper level math class taken after calc 3.

#### Gabriot

·
##### don't drop the soap
Joined
·
3,895 Posts
I'd hate to be the Wet Blanket here but that's like pretty basic in any Discrete Math course. Just wait till you get out of the truth table stage and get into the real heavy stuff. Very abstract.

D

#### D_Smalls

·
##### Guest
Joined
·
0 Posts
Discussion Starter
I'd hate to be the Wet Blanket here but that's like pretty basic in any Discrete Math course. Just wait till you get out of the truth table stage and get into the real heavy stuff. Very abstract.
mhm, the course title is Elementary Symbolic Logic, so obviously it's going to be the basics. That doesnt change the fact that this is still pretty bizarre to be encountering for the first time, which is the point of the thread. not trying to brag about how hard a course im in or anything.. cuz I wouldnt be braggin anyways, I dont understand the ****! #### buddhaHybrid

·
##### Into the whole Yale thing
Joined
·
1,073 Posts
differential equations is a upper level math class taken after calc 3.
...and its not just a course title. Its a concept used in all of calculus, no doubt it is infinitley more complex at the higher levels, but the theory in its most elementary form is indeed appliable to early calc.

Don't confuse him with incomplete information smalls! The derivative is notated differently so one knows its a derivative, and thus not simply another function... for your example it would be written y'=5 obviously.

I say this so you don't embarass yourself trying to act smart in calc class. :dodgy:

#### hurdlebeast

·
##### Erect member.
Joined
·
2,323 Posts
kinda like the whole "if a=b, and b=c, then a=c"...only on like a whole different plane of difficulty.

D

#### D_Smalls

·
##### Guest
Joined
·
0 Posts
Discussion Starter
kinda like the whole "if a=b, and b=c, then a=c"...only on like a whole different plane of difficulty.
Yeah, that example is actually a basic sequent called Hypothetical Syllogism. Basically, if P implies Q and Q implies R, then P implies R. Which is just makes sense right, but to prove that that's a fair logical deduction you can prove it using the basic rules of symbolic logic.

You'd do that by making the assumption P with the purpose of Conditional Proof. Then you use that P to arrive at Q by the basic rule Modus Ponens. Then use that Q to arrive at R, again by Modus Ponens. So by making the assumption P you were able to arrive at R, therefore you've satisfied the conditional proof and can accurately say that P implies R.

But that just proves that it's a well formed formula; it doesn't alway hold true because any of those premises may be false.

1 - 20 of 34 Posts