Definition df-fal 1290

Description: Definition of the truth value "false", or "falsum", denoted by F.. See also df-tru 1287. (Contributed by Anthony Hart, 22-Oct-2010.)

Assertion

Ref	Expression
df-fal	|- ( F. <-> -. T. )

Detailed syntax breakdown of Definition df-fal

Step	Hyp	Ref	Expression
1		wfal 1289	. 2 wff F.
2		wtru 1285	. . 3 wff T.
3	2	wn 3	. 2 wff -. T.
4	1, 3	wb 103	1 wff ( F. <-> -. T. )

This definition is referenced by:  fal  1291  nottru  1344  bdfal  10624