This site's content was compiled from 1993 to 2006. Beyond that, Google is your friend.
Andreas Leitner, Laure Gunther and Wolfgang Lazian
This application is a converter for ยป First Order Predicate Logic expressions. The package includes a first order predicate logic library, a command-line application, and a CGI application.
The applications read a formula in plain ASCII and output the same formula as an image file in various formats. Optionally the formula can be converted to its conjective normal form, showing the intermediate steps of the conversion process.
The grammar includes: » For All quantifier, » Existence quantifier, implication, equivalence, conjunction, disjunction, negation, variables, functions, constants and predicates.
Options allow for conjunctive normal form conversion (with or without negation step).
Output formats for the CGI application are:
Input formula:
( human (SOKRATES) & \A x . (human (x) => mortal (x)) ) => mortal (SOKRATES)
PNG image scaled to 50% / » image: generated by Kniffel
PNG tree-image / » image: generated by Kniffel
