wf - Quantum Logic Explorer

	Quantum Logic Explorer		< Previous Next > Nearby theorems
Mirrors > Home > QLE Home > Th. List > wf		GIF version

Syntax Definition wf 9

Description: The logical false constant is a term.

**Assertion**
Ref	Expression
wf	term 0

See definition df-f 42 for more information.

Colors of variables: term