記号論理

　この教材は数学や情報工学でよく使われる集合論の基礎事項についてまとめた資料です。
この章では記号論理について述べます。集合論を含む数学に限らず，情報工学でも少なくとも数理的な分野なら，記号論理の表現が頻繁に使われます。この章では記号論理，特に述語論理について，この資料を読むのに必要な配範囲で述べておきます。