2
$\begingroup$

The logical operations $\Rightarrow$ and $\Leftrightarrow$ correspond to relations on sets. What are these two relations? Is there anything in logic that could not be expressed in terms of set theory and vice versa?

2 Answers 2