SET & LOGIC LAB
集合と命題
条件を選ぶと、集合と命題のつながりがベン図で見えます。
集合の演算
必要・十分
逆・裏・対偶