wff-false - bfol.mm Proof Explorer

	bfol.mm Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > PE Home > Th. List > wff-false

Syntax Definition wff-false 157

Description: Extend WFF definition to include the "false" constant '⊥'.

**Assertion**
Ref	Expression
wff-false	wff ⊥

See definition df-false-D2.5 158 for more information.

Colors of variables: wff objvar term class