---

6.1.2 Ordinary functions

Function: all-interpretations (parameters) ¶

Returns a list of all possible interpretations of PARAMETERS.
See ‘*interpretation*‘ for a description of the interpretation format.

Package

logicky-lisp.

Source

logic.lisp.

Function: l-and (p q) ¶

Package

logicky-lisp.

Source

logic.lisp.

Function: l-cond (p q) ¶

Package

logicky-lisp.

Source

logic.lisp.

Function: l-eq (p q) ¶

Package

logicky-lisp.

Source

logic.lisp.

Function: l-not (p) ¶

Logical negation. Returns nil if P is t. Otherwise returns t.

Package

logicky-lisp.

Source

logic.lisp.

Function: l-or (p q) ¶

Package

logicky-lisp.

Source

logic.lisp.

Function: main () ¶

Entry point for the executable. Reads command line arguments.

Package

logicky-lisp.

Source

logicky-lisp.lisp.

Function: semantic-consequence-p (conclusion &rest premises) ¶

Package

logicky-lisp.

Source

logic.lisp.

Function: tautologyp (formula) ¶

Returns t if FORMULA is t under every possible interpretation (i.e. is a semantic consequence of the empty set of premises).

Package

logicky-lisp.

Source

logic.lisp.

Function: truep (formula) ¶

Package

logicky-lisp.

Source

logic.lisp.

Function: well-formed-p (formula) ¶

Returns t if FORMULA is well-formed under the syntax of the active object language. Assumes that FORMULA is an s-expression. Recursively checks whether it is made up exclusively of propositional parameters (logical atoms) connected through the available logical operators.

Package

logicky-lisp.

Source

logic.lisp.