2023-11-07 論理・集合・場合の数・確率 ←メインメニュー 命題論理 命題の定義 否定の定義 かつとまたはの定義 命題論理のドモルガンの法則 ならばの定義 必要条件(必須条件)と十分条件 背理法、対偶命題、裏、逆 いろいろな法則 述語論理 パラメタ付きの命題、存在記号と全称記号 アリストテレスの三段論法 述語論理のドモルガンの法則 存在証明と非存在の証明 素朴集合論 集合の定義と書き方、要素の包含 パラメタつき命題を満たす集合 和集合、積集合、補集合と論理演算 集合論のドモルガンの法則 部分集合とならば ベン図 直積集合 写像 写像とは何か 関数とは何か