>>640

＞「リンゴならば果物である」
＞この文章は「リンゴの定義と果物の定義」から必要十分条件で導かれた定理です。