Package | Description |
---|---|
jtabwbx.prop.formula |
An implementation of propositional formulas based on graphs.
|
Modifier and Type | Method and Description |
---|---|
Formula |
FormulaProposition.applyIntuitionisticPartialSubstitution(Substitution subst) |
abstract Formula |
Formula.applyIntuitionisticPartialSubstitution(Substitution subst)
Returns the formula obtained by applying the specified substitution as
intuitionistic partial substitution.
|
Formula |
FormulaProposition.applySubstitution(Substitution subst) |
abstract Formula |
Formula.applySubstitution(Substitution subst)
Returns the formula obtained by applying the specified substitution.
|