否定式

$\neg\,\varphi$ を 否定式 とよぶ。