Skip to content

Proposition

Proposition

Bases: Expression

Expression that represents a terminal node in the expression tree as variable is [hedge]* term.

related

Attributes

hedges instance-attribute

hedges: list[Hedge] = []

term instance-attribute

term = term

variable instance-attribute

variable = variable

Functions

__init__

__init__(variable: Variable | None = None, hedges: Iterable[Hedge] | None = None, term: Term | None = None) -> None

Constructor.

Parameters:

Name Type Description Default
variable Variable | None

variable in the proposition

None
hedges Iterable[Hedge] | None

list of hedges that apply to the term of the variable

None
term Term | None

term in the proposition.

None

__str__

__str__() -> str

Return proposition as text.

Returns:

Type Description
str

proposition as text.