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?
Logic and Sets Expressions
2
$\begingroup$
logic
elementary-set-theory