This is an inofficial mirror of
http://metamath.tirix.org
for personal testing of a visualizer extension only.
Database
CLASSICAL FIRST-ORDER LOGIC WITH EQUALITY
Propositional calculus
True and false constants
The false constant
wfal
Next ⟩
df-fal
Metamath Proof Explorer
Ascii
Structured
Syntax definition
wfal
Description:
The constant
F.
is a wff.
Ref
Expression
Assertion
wfal
wff
⊥