Logic_and_probability_7.pdf