First Order Logic Prop 1.0

The syntax used to write the formulas can be defined. Basic logic operations (and, or, not, implies, etc...) can be applied. Proposition (cleaning, developing, disjunctive form, conjunctive form) can be transformed.

You can even make demonstrations of your proposition, by looking up the values table or simply by demonstrating it (simple analysis of the disjunctive form: not too greedy). The FOLP Checker allows you to prove that a proposition is a theorem, and if it is not, you will be presented a counterexample.

Karnaugh's table and other nice features will be soon added.

License type: GPL - GNU General Public License
Date added: 6 years, 17 days ago | Last updated: 6 years, 17 days ago

More popular Math

This is actually one of the most advanced image hosting script. The imagetize key features: SEO, Ads Ready, Admin

Listing Files

first-order-logic-prop
examples
demo
  • syntax.litteral
  • 319 Bytes
  • 10/15/2008 03:00:06
Hot Scripts
Sponsors