11,000+
Interactive Demonstrations Powered by Notebook Technology »
TOPICS
LATEST
ABOUT
AUTHORING AREA
PARTICIPATE
Your browser does not support JavaScript or it may be disabled!
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
)
Contributed by:
Izidor Hafner
SNAPSHOTS
RELATED LINKS
Propositional Logic Test
(
Wolfram Demonstrations Project
)
Basic Examples of Propositional Calculus
(
Wolfram Demonstrations Project
)
First-Order Logic Test
(
Wolfram Demonstrations Project
)
PERMANENT CITATION
Izidor Hafner
"
Natural Language Neutral Symbolism in Propositional Logic
"
http://demonstrations.wolfram.com/NaturalLanguageNeutralSymbolismInPropositionalLogic/
Wolfram Demonstrations Project
Published: May 16, 2018
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 »
Download Demonstration as CDF »
Download Author Code »
(preview »)
Files require
Wolfram
CDF Player
or
Mathematica
.
Related Demonstrations
More by Author
Propositional Logic Test
Izidor Hafner
Propositional Logic Puzzle Generator
Izidor Hafner
Algebraic Problems in Propositional Logic
Izidor Hafner
Normal Forms for Logic Problems
Izidor Hafner
Basic Examples of Propositional Calculus
Izidor Hafner
Logic with Letters
Izidor Hafner
Logic with Logicians
Izidor Hafner
Logic Metapuzzle Generator
Izidor Hafner
Some Formulas Involving Quantifiers and Propositional Connections
Izidor Hafner
Some Simple Logic Problems
Izidor Hafner
Related Topics
Mathematical Logic
Browse all topics