PHP Classes

File: demo/syntax.litteral

Recommend this page to a friend!
  Classes of naholyr   First Order Logic Prop   demo/syntax.litteral   Download  
File: demo/syntax.litteral
Role: Auxiliary data
Content type: text/plain
Description: 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
Class: First Order Logic Prop
Manipulate, analyze, and prove logic propositions
Author: By
Last change:
Date: 20 years ago
Size: 319 bytes
 

Contents

Class file image Download
# litteral syntax TRUE: TRUE FALSE: FALSE NOT: NOT AND: AND NAND: NAND OR: OR NOR: NOR XOR: XOR IMPLIES: IMPLIES NOT_IMPLIES: NOT_IMPLIES IMPLIED: IMPLIED_BY NOT_IMPLIED: NOT_IMPLIED_BY IFF: IF_ONLY_IF