Is "False" in logic analogous to "Null set" in set theory?

You're basically right, but I'll flesh out a pedantic point. Identifying a set $S$ with the unary predicate $\varphi$ for which $\forall e(e\in S\iff\varphi(e))$, a set is $\emptyset$ is identified with the unary $\varphi$ that always returns "false", not with "false" itself. (This is like confusing a constant function with the value it returns; it's a subtle distinction, but an easy one to make if e.g. you define a function as a certain kind of set of ordered pairs.) The usual choice for an explicit statement of this $\varphi$ is that $\varphi(e)$ iff $e\neq e$.


Yes, they are analogous. You can show the analogy a bit more directly like this:

For boolean logic, we have:

$P \land \bot \Leftrightarrow \bot$ (or: $P\cdot 0 = 0$)

and

$P \lor \bot \Leftrightarrow P$ (or: $P+0=P$)

while for sets we have:

$P \cap \emptyset = \emptyset$

and

$P \cup \emptyset = P$

And yes, if you know that all your sets are subsets of some 'universal' set, you have:

$P \cap U = P$

and

$P \cup U = U$

just as in boolean logic you have:

$P \land \top \Leftrightarrow P$ (or: $P\cdot 1 = P$)

and

$P \lor \top \Leftrightarrow \top$ (or: $P+1=1$)