ちょっと忘れてしまったので教えてください。

高校数学で、たとえば「カエルは緑色である」という論理に対して

緑色→カエル　×
カエル→緑色　○

とやって、それぞれ呼び方があったはずですが、忘れてしまいました。
すみませんが、わかる方はご教授ください。