含意論理ろんり式

$\varphi,\psi$ を 論理式 とするとき、$\varphi\to\psi$ を 含意論理式 とよぶ。