Sets & Propositions
集合とは条件のはっきりした対象の集まりであり、命題とは真か偽かをはっきり判定できる文のことです。 二つの集合の共通部分である交わりと、合わせた和集合をベン図に描くと、その関係がひと目で見えます。 命題「p ならば q」で仮定と結論を入れ替えたり否定したりすると逆・裏・対偶になり、対偶は元の命題と真偽が必ず一致します。 和集合の人数と対偶の真理表を動かすと見えます。補集合とド・モルガンは下の公式箱で続きます。