:
記号論理
:
集合の基礎的性質その1
:
集合の基礎的性質その1
目次
記号論理
記号表現
真理値
恒真式
推論
公理系と推論規則
推論規則
演繹定理,全称化,特称化
集合論の公理系
集合論での定理の証明
集合の演算
包含関係
合弁と共通部分
有限個の集合の演算
集合族の演算
集合の差
排他和
順序対と直積集合
Yasunari SHIDAMA