public interface _PropositionalFormula extends _AbstractFormula
PropositionalConnective
.Modifier and Type | Method and Description |
---|---|
_PropositionalFormula[] |
immediateSubformulas()
The immediate subformulas of this formula.
|
boolean |
isAtomic()
Returns
true iff this formula is atomic. |
boolean |
isCompound()
Returns
true iff this formula is compound. |
PropositionalConnective |
mainConnective()
The main logical operator of this formula.
|
format, shortName
boolean isAtomic()
true
iff this formula is atomic.true
iff this formula is atomic.boolean isCompound()
true
iff this formula is compound.true
iff this formula is compound.PropositionalConnective mainConnective()
_PropositionalFormula[] immediateSubformulas()