---

4.1.4 logicky-lisp/src/logic.lisp

Dependency

logicky-lisp.lisp (file).

Source

logicky-lisp.asd.

Parent Component

src (module).

Public Interface

• *interpretation* (special variable).
• all-interpretations (function).
• l-and (function).
• l-cond (function).
• l-eq (function).
• l-not (function).
• l-or (function).
• semantic-consequence-p (function).
• tautologyp (function).
• truep (function).
• well-formed-p (function).

Internals

• *binary-connectives* (special variable).
• *unary-connectives* (special variable).
• all-interpretations-recursive (function).
• assert-wff (macro).
• binary-connective-p (function).
• connective-p (function).
• find-parameters (function).
• mapcar-cons-flat (macro).
• propositional-parameter-p (function).
• reduce-atoms (macro).
• unary-connective-p (function).