Natural Language Neutral Symbolism in Propositional Logic

This Demonstration shows some examples of natural language neutral symbolism in propositional logic.
The symbols have the following meanings:
( is a triangle)
( is a square)
( is white)
( is gray)
( is to the left of )
( is to the right of )
( is above )
( is below )


  • [Snapshot]
  • [Snapshot]
  • [Snapshot]
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.