>>550
では、「カエル　ならば　緑色　である」という形の命題であれば、
　カエル→緑色　が真のとき、
　カエル　は　緑色　であるための十分条件
　緑色　は　カエル　であるための必要条件
という言い方となりますか？