Interface PropFormula

Represents a well-formed formula in propositional logic. Can be either atomic or composite with an operator and subformulas.

interface PropFormula {
operator: Operator;
values: PropAtom | PropFormula[];
}

Index

Properties

operator values

Properties

operator

operator: Operator

The main logical operator of the formula

values

values: PropAtom | PropFormula[]

Either sub-formulas for composite formulas or an atomic proposition