Wolfram Research  Mathematica    MathWorld    Wolfram Science    More »    Wolfram Web Resources
HOME
TOPICS
LATEST
ABOUT
FAQS
PARTICIPATE
AUTHORING AREA

Basic Examples of Propositional Calculus
This Demonstration uses truth tables to verify some examples of propositional calculus.

A sentence is a tautology if and only if every row of the truth table for it evaluates to true. Two sentences are logically equivalent if they have the same truth value in each row of their truth table. An argument is valid if each assignment of truth value that makes all premises true also makes the conclusion true.




"Basic Examples of Propositional Calculus" from The Wolfram Demonstrations Project
 http://demonstrations.wolfram.com/BasicExamplesOfPropositionalCalculus/
Contributed by: Izidor Hafner
comments
Interact with Demonstrations using the latest version of the free Mathematica Player—Download Now
Related Topics

Some Related Demonstrations

Share & Bookmark This Demonstration

Contribute

 
Powered by Wolfram Mathematica
Give us your feedback
Give us your feedback

Source page:




 often  occasionally  never

Note: Please do not include anything you consider confidential or proprietary. Your message and contact information may be shared with the author of any specific Demonstration for which you give feedback, but will not otherwise be published or distributed.
Privacy Policy »
Note: To run this Demonstration you need the free
Mathematica Player or Mathematica 7+
Download or upgrade to Mathematica Player 7
I already have Mathematica Player or Mathematica 7+