---

5.1 logicky-lisp

Source

packages.lisp.

Use List

common-lisp.

Public Interface

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

Internals

• %main (function).
• *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).
• greet (function).
• help (function).
• mapcar-cons-flat (macro).
• propositional-parameter-p (function).
• reduce-atoms (macro).
• unary-connective-p (function).