空虚な真

term

$p\to q$, $p$ が偽の時全体は真