13. 命題
命題, 条件, 仮定, 結論, 真理集合, 真, 偽
真, 偽, 真理集合, 包含関係, ならば, 反例
必要条件, 十分条件, 真理集合, 包含関係
必要十分条件, 同値, 真理集合, 包含関係
否定, かつ, または, 補集合, 共通部分, 和集合, ド・モルガンの法則