Login   Register  
PHP Classes
elePHPant
Icontem

File: examples/example2.php

Recommend this page to a friend!
Stumble It! Stumble It! Bookmark in del.icio.us Bookmark in del.icio.us
  Classes of naholyr  >  First Order Logic Prop  >  examples/example2.php  >  Download  
File: examples/example2.php
Role: Example script
Content type: text/plain
Description: testing EQUALITY (and not equivalence) of formulas
Class: First Order Logic Prop
Manipulate, analyze, and prove logic propositions
Author: By
Last change: correction of a bug: used static methods that were not
Date: 2003-10-07 10:57
Size: 272 bytes
 

Contents

Class file image Download
<?php

require '../FirstOrderLogicProp.inc.php';

$t = new FirstOrderLogicProp('1');
$t->or_(new FirstOrderLogicProp('a'));
$t->writeLn();
var_dump($t->equals($t->fromBoolean(TRUE)));
$t->clean();
$t->writeLn();
var_dump($t->equals($t->fromBoolean(TRUE)));

?>