空虚な真
数学と自然言語のそれぞれの例で空虚な真の概念を説明する。
「任意の整数 x に対して、x > 5 であるならば x > 3 である」 – この命題は空虚でなく真である(なぜならば実際に5より大きい整数があるため)。しかし、この帰結のうちいくつかだけは空虚に真である。例えば、x が整数 2 であるならば、この命題は「2 > 5 であるならば 2 > 3 である」という空虚な真を導く。
「私の子はすべてヤギである」は、話者が子を持たなければ空虚な真である。同様に、「私の子はだれもヤギでない」も、話者が同じ人ならば空虚な真である。