Database
CLASSICAL FIRST-ORDER LOGIC WITH EQUALITY
Propositional calculus
True and false constants
The true constant
wtru

Next ⟩ trujust

Metamath Proof Explorer

Ascii
Structured

Syntax definition wtru

Description: The constant T. is a wff.

		Ref	Expression
	Assertion	wtru	wff ⊤