---

6.2.3 Ordinary functions

Function: %main (argv) ¶

Parse CLI args.

Package

logicky-lisp.

Source

logicky-lisp.lisp.

Function: all-interpretations-recursive (parameters) ¶

Package

logicky-lisp.

Source

logic.lisp.

Function: binary-connective-p (formula) ¶

Package

logicky-lisp.

Source

logic.lisp.

Function: connective-p (formula connectives num_elements) ¶

Package

logicky-lisp.

Source

logic.lisp.

Function: find-parameters (formula) ¶

Returns a list of all propositional parameters (logical atoms) in FORMULA.

Package

logicky-lisp.

Source

logic.lisp.

Function: greet () ¶

Package

logicky-lisp.

Source

logicky-lisp.lisp.

Function: help () ¶

Package

logicky-lisp.

Source

logicky-lisp.lisp.

Function: propositional-parameter-p (formula) ¶

Package

logicky-lisp.

Source

logic.lisp.

Function: unary-connective-p (formula) ¶

Package

logicky-lisp.

Source

logic.lisp.