PHP Classes

File: examples/example1.php

Recommend this page to a friend!
  Classes of naholyr   First Order Logic Prop   examples/example1.php   Download  
File: examples/example1.php
Role: Example script
Content type: text/plain
Description: basic operations on propositions
Class: First Order Logic Prop
Manipulate, analyze, and prove logic propositions
Author: By
Last change:
Date: 21 years ago
Size: 238 bytes
 

Contents

Class file image Download
<?php


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


$a = &new FirstOrderLogicProp('a <!> b');
$b = &new FirstOrderLogicProp('a <-> b');

$b->not_();
$a->iff($b);

$a->writeLn();
$a->clean();
$a->writeLn();
$a->clean();
$a->writeLn();


?>