[Lattice L46-7]Home PageHome Quantum Logic Explorer < Previous   Next >
Related theorems
Unicode 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
Copyright terms: Public domain