# Probability Logic Test

Probability Logic Test

This Demonstration presents a simple test for probability logic. The value of compound propositions is evaluated according to probability laws.

A simple two-dimensional area is occupied by white or gray triangles, squares, and pentagons. A disk indicates that the shape of the element is not known; in this case a proposition of type Shape() has value 1/3. A gray-white figure means that the color of the figure is not known; in this case a proposition of type Color(x) has value 1/2.

x