含意
from
『離散数学(第2版)』
含意
$ p \rightarrow q
のこと