含意式

$\varphi\to\psi$ を 含意式 とよぶ。