WOLFRAM|DEMONSTRATIONS PROJECT

Propositional Logic Test

​
show results
language of predicates
Slovenian
English
number of elements
7
number of statements
5
number of negated statements
5
help
This Demonstration gives a propositional logic test. A simple two-dimensional world is inhabited by triangles, squares, and pentagons with three sizes and two colors. The task is to find truth values for ten statements about the world.