Math

First Order Logic Prop 1.0

Developed by naholyr, listed in Math

Webify PHP Business Directory Script, Create a Business Directory on your Website

Download Now
From PHPKode | 15.9 KB

Visit Website
The page visits: 1807

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.

Tags: formula math theorem

License type: GPL - GNU General Public License

Date added: 4 years, 7 months 9 days ago | Last updated: 4 years, 7 months 9 days ago

More popular Math

Arc Length 1.0 (2 years, 4 months 25 days ago)
Numerical 1.0 (2 years, 4 months 24 days ago)
Wap Calculator 1.0 (2 years, 4 months 26 days ago)
Imaginary Numbers 1.0 (7 years, 6 months 26 days ago)
Integer 1.0 (2 years, 4 months 26 days ago)

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

example6.php
220 Bytes
10/15/2008 03:00:06

example4.php
280 Bytes
10/15/2008 03:00:06

example5.php
1.2 KB
10/15/2008 03:00:06

example2.php
272 Bytes
10/15/2008 03:00:06

example1.php
238 Bytes
10/15/2008 03:00:06

example3.php
696 Bytes
10/15/2008 03:00:06

demo

syntax.litteral
319 Bytes
10/15/2008 03:00:06

index.php
3.3 KB
10/15/2008 03:00:06

FirstOrderLogicProp.inc.php
63.9 KB
10/15/2008 03:00:06

Hot Scripts