Home | Trees | Indices | Help |
|
---|
|
A first order model is a domain D of discourse and a valuation V.
A domain D is a set, and a valuation V is a map that associates expressions with values in the model. The domain of V should be a subset of D.
|
|||
|
|||
|
|||
|
|||
|
|||
bool or 'Undefined'
|
|
||
|
|||
|
|||
bool
|
|
||
|
|||
|
|||
bool
|
|
|
|||
NOT =
|
|||
AND =
|
|||
OR =
|
|||
IMPLIES =
|
|||
IFF =
|
|||
OPS =
|
|
Construct a new Model.
|
Wrapper for handling KeyErrors and TypeErrors raised by function application. This constrains instances of CharFun to return
|
Provides a handler for satisfy that blocks further propagation of
|
Recursive interpretation function for a formula of first-order logic. Raises an
|
An interpretation function. Assuming that
|
Is |
Generate the entities from the model's domain that satisfy an open formula.
|
Function to communicate with a first-order functional language. This function tries to make weak assumptions about the parse structure provided by the logic module. It makes the assumption that an expression can be broken down into a pair of subexpressions:
|
Returns True if there is at least one element in the iterable.
|
|
AND
|
OR
|
IMPLIES
|
IFF
|
OPS
|
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0beta1 on Wed May 16 22:47:31 2007 | http://epydoc.sourceforge.net |