See: Description
Interface | Description |
---|---|
_PropositionalFormula |
Interface describing propositional formulas on the set of connecetives
PropositionalConnective . |
Enum | Description |
---|---|
FormulaType |
The types of propositional formulas represented by formulas implemented by
Formula . |
PropositionalConnective |
The basic propositional connectives.
|