2010 FEDERATED LOGIC CONFERENCE (FLoC'10)
Edinburgh, Scotland, U.K.
July 9-21, 2010
http://www.floc-conference.org
Early registration deadline: 17 May 2010.
* The fifth Federated Logic Conference (FLoC'10)
will be held in Edinburgh, Scotland, U.K. (www.edinburgh.org),
in July 2010,
I have to prove a goal in HOL4 as following:
g `!a b c. (indep bern a c) /\ (indep bern b c) ==
(a IN events bern) /\ (b IN events bern) /\ (c IN events bern) /\
(prob bern (a INTER b INTER c) = prob bern (a INTER b) * prob bern c)`;
Here, a and c are independant, also b and c are
--- Apologies for multiple copies ---
**
* 15th International Workshop on *
* Formal Methods for Industrial Critical Systems *
* FMICS
liy_...@encs.concordia.ca wrote:
I have to prove a goal in HOL4 as following:
g `!a b c. (indep bern a c) /\ (indep bern b c) ==
(a IN events bern) /\ (b IN events bern) /\ (c IN events bern) /\
(prob bern (a INTER b INTER c) = prob bern (a INTER b) * prob bern c)`;
Here, a