Database
CLASSICAL FIRST-ORDER LOGIC WITH EQUALITY
Propositional calculus
True and false constants
The false constant
wfal
Next ⟩
df-fal
Metamath Proof Explorer
Unicode
Structured
Syntax definition
wfal
Description:
The constant
F.
is a wff.
Ref
Expression
Assertion
wfal
wff F.