Description: The false constant has no free variables (see nftru ). (Contributed by BJ, 6-May-2019)
|- F/ x F.
|- -. F.