Logic

[Kival]

Oh, sorry, I did not want to ask if you have a degree, only if you know enough set theory. Okay, ignore my mistakes in english, I hope you can understand the ideas:

Okay let's work with set theory then. a is actually quite trivial but I'll try to give you an idea how to prove it:


Pr(E | H) = Pr(H ∩ E)/Pr(H) (Definition of baysian probability)
=> Pr(H ∩ E) = Pr(E | H)*Pr(H) (just simple transformation)

As Pr(E | H) has a value range in the interval [0;1] (it's a probability function), obviously it follows:

Pr(H ∩ E) <= Pr(E | H)*Pr(H)

Because of Pr(H | E)=Pr(H ∩ E)/Pr(E), the second part of a) follows trivially.

for b) you just need the equations and knew two things:

H → ¬E -> (H ∩ E) = {} and Pr ( {} )=0 ({} being the empty set)

c) Obviously (H ∩ E) and (H^(c) ∩ E) are disjoint sets, so you can use Sigma additivity (H^(c) being the complement of H) . Do you know where to go from there?

[The Stranger]

i get B and C.

I still dont get A however, why is the probability of (H&E) smaller or the same as the probability of (H)?

[Kival]

Pr(E | H) = Pr(H ∩ E)/Pr(H) (Definition of baysian probability)
=> Pr(H ∩ E) = Pr(E | H)*Pr(H) (just simple transformation)

As Pr(E | H) has a value range in the interval [0;1] (it's a probability function), obviously it follows:

Pr(H ∩ E) <= Pr(E | H)*Pr(H)

Because of Pr(H | E)=Pr(H ∩ E)/Pr(E), the second part of a) follows trivially.

From the above you can agree on:

Pr(H ∩ E) = Pr(E | H)*Pr(H) ?

Now just remember, what you know about the Pr-function. It's a function which gives you the probabilty of an event. The event is described as a set or as a logical combination of events. What do you know in general about the probability function? It has only values between 0 and 1. So 0<=Pr(A)<=1 for all possible events A. In mathematical detail, Pr(. | B), the baysian probability function is an own function but it's still a probability function and so it still has only values from 0 to 1. If you multiply Pr(H) with a value between 0 and 1, it can only be Pr(H) or smaller.

[The Stranger]

ah... if u put it like that it seems simple XD

[Reenk Roink]

First hard homework in your philosophy major career TS?

[The Stranger]

omg yes... first 2 years i was cruising, now im in some rough waters, the courses are really challenging and this tops it till now :P. I wish i had more time, but it seems like i am trying to do too much stuff :P

tho really thank you Kival, you actually made me understand it haha, appreciated.

[Kival]

tho really thank you Kivak, you actually made me understand it haha, appreciated.

It's Kival, but you're welcome. ;-)

[The Stranger]

typo :P