Login   Register  
PHP Classes
elePHPant
Icontem

First Order Logic Prop: Manipulate, analyze, and prove logic propositions

Recommend this page to a friend!
Stumble It! Stumble It! Bookmark in del.icio.us Bookmark in del.icio.us

  Author Author  
Picture of naholyr
Name: naholyr <e-mail contact>
Packages: 1 Browse all classes by naholyr Browse all classes by
Country: France France - PHP jobs in France
Age: 33
All time rank: 273076 in France France
Week rank: 2051 Up54 in France France Up


  Detailed description   Download Download .zip .tar.gz  
This class allows you to parse first order logic formulas. These formulas can be written in any syntax that you define.

You can apply basic logic operations (and, or, not, implies, etc...).

You can transform proposition (cleaning, developing, disjunctive form, conjunctive form).

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.

  Classes of naholyr  >  First Order Logic Prop  >  Download Download .zip .tar.gz  >  Support forum Support forum  >  Blog Blog  >  RSS 1.0 feed RSS 2.0 feed Latest changes  
Name: First Order Logic Prop
Base name: firstorderlogicprop
Description: Manipulate, analyze, and prove logic propositions
Version: -
PHP version: -
License: GNU General Public License (GPL)
All time users: 571 users
All time rank: 4789
Week users: 0 users
Week rank: 1792 Equal
 
  Groups   Rate classes User ratings   Applications   Related links   Files Files  

  Groups  
Group folder image Math Math related classes. View top rated classes


  User ratings  
RatingsUtility Consistency Documentation Examples Tests Videos Overall Rank
All time: Good (83.3%) Sufficient (66.7%) - Sufficient (66.7%) - - Not sure (55.0%) 1219
Month: Not yet rated by the users

  Applications that use this class  
Link Description
online demo shows the test script in action
Add link image If you know an application of this package, send a message to the author to add a link here.

  Related links  
Link Description
online documentation (FR) generated by AutoPhpDoc

  Files folder image Files  
File Role Description
Files folder imagedemo (2 files)
Files folder imageexamples (6 files)
Plain text file FirstOrderLogicProp.inc.php Class The file containing base class and the checker class

  Files  /  Files folder image demo  
File Role Description
  Accessible without login Plain text file index.php Example The basic demo: showing the values table, normal forms, and can prove the given formula
  Accessible without login Plain text file syntax.litteral Data Defines litteral syntax for the demo file (it then accepts two syntax, for example "a & b" is the same than "a AND b"). This is an example on how you can add your own supported syntax

  Files  /  Files folder image examples  
File Role Description
  Accessible without login Plain text file example1.php Example basic operations on propositions
  Accessible without login Plain text file example2.php Example testing EQUALITY (and not equivalence) of formulas
  Accessible without login Plain text file example3.php Example testing if propositions are in disjunctive/conjunctive forms
  Accessible without login Plain text file example4.php Example Show cloning feature, and how to set values to variables in a proposition
  Accessible without login Plain text file example5.php Example Shows how you can extend the base class to have nice HTML output of the values table
  Accessible without login Plain text file example6.php Example Shows conjunctive/disjunctive forms of a proposition. You can see here that the computation time is a bit long :(

Download Download all files: firstorderlogicprop.tar.gz firstorderlogicprop.zip
NOTICE: if you are using a download manager program like 'GetRight', please Login before trying to download this archive.