This module provides data structures for representing first-order
models.
|
|
bool
|
|
set of tuple of str
|
set2rel(s)
Convert a set containing individuals (strings or numbers) into a set
of unary tuples. |
source code
|
|
int of tuple of str
|
|
bool or a set of tuple s
|
app(rel,
arg,
trace=False)
Apply a relation (as set of tuples) to an argument. |
source code
|
|
VariableExpression or
IndividualVariableExpression
|
|
|
propdemo(trace=None)
Example of a propositional model. |
source code
|
|
|
folmodel(trace=None)
Example of a first-order model. |
source code
|
|
|
foldemo(trace=None)
Interpretation of closed expressions in a first-order model. |
source code
|
|
|
satdemo(trace=None)
Satisfiers of an open formula in a first order model. |
source code
|
|
|
|