Sets & Propositions
集合とは条件のはっきりした対象の集まりであり、命題とは真か偽かをはっきり判定できる文のことです。 2つの集合の共通部分である交わりと、合わせた和集合をベン図に描くと、その関係がひと目で見えます。 命題「p ならば q」で仮定と結論を入れ替えたり否定したりすると逆・裏・対偶になり、対偶は元の命題と真偽が必ず一致します。 このページでは集合を動かして演算の結果を見て、命題と対偶の関係も自分で確かめられます。