| http://www.w3.org/ns/prov#value | - We want the probability of truth of the proposition E(B)Y(B), where E and Y denote Elder and Younger child, and B denotes Boy. (Write also E(3), etc, as the proposition that the elder child was born on the 3rd day of the week.) Our key conditioning information is that exactly one child is a boy born on the first day of the week, ie that the Boolean proposition E(B)E((1)~(Y(B)Y(1)) + ~(E(B)E(1))Y(B
|
