記号論理学とは...?(記号論理の基本事項をまとめた記事) (AMC 2023 Day9)

皆さんこんにちは！cipherです！この記事は仮の人さん主催の　”AMC2023 (Advent Math Calendar2023)”の記事になっています。 （初めてこういう記事を書くので至らぬ点もたくさんあると思いますが、どうか温かい目で見てほしいです。）1～8日目の方々の出来がすごくて横転してます。まだ見ていない方はぜひ見に行ってみてください！ 九日目に私が取り扱う内容は記号論理学です。(私のTwitter(X)プロフィールを見たことがある方は、『記号論理学』という名