LOGCONST : logical constant

wff Primitives

• and
• falsehood
• implies
• not
• or
• truth

TPS documentation homepage

TPS homepage