論理・集合・場合の数・確率

←メインメニュー

命題論理

命題の定義

否定の定義

かつとまたはの定義

命題論理のドモルガンの法則

ならばの定義

必要条件(必須条件)と十分条件

背理法、対偶命題、裏、逆

いろいろな法則

述語論理

パラメタ付きの命題、存在記号と全称記号

アリストテレスの三段論法

述語論理のドモルガンの法則

存在証明と非存在の証明

素朴集合論

集合の定義と書き方、要素の包含

パラメタつき命題を満たす集合

和集合、積集合、補集合と論理演算

集合論のドモルガンの法則

部分集合とならば

ベン図

直積集合

写像

写像とは何か

関数とは何か