a) Prove Bayes' Theorem: P(H|E)=[ P(E|H)*P(H) ] / P(E)
from the axioms and definitions introduced in class.
b) Assume that H stands for "The hypothesis is true" and E stands for "There is evidence that supports the hypothesis". Under this interpretation, what does P(E|H) mean? What probabilities do you need to know, in order to determine the value for the probability that the hypothesis is true given that there is evidence for it?
2. Syllogisms (3 points)
Read Handout #20. Do the following problems:
3. The Language of First-Order Logic (3 points)
In FOL read,