こんにちは執筆ご苦労様です。記号論理学シリーズですか。集合と位相ゼミもバリバリ書いているようでなによりです。がんばってください。
ところで、間違いと思われるものを発見しました。 最後のほうの⇔の表が⇒になっています。 ( ^□^)レフトライトアロー!!!111!!1