English Dictionary

When the domain of discourse is empty, the implication 'if unicorns exist, then they have horns' is considered a vacuous truth in formal logic.

対象域が空である場合、'もしユニコーンが存在するならば角がある' という含意は、論理学では前提が必ず偽であるために真となる命題（空集合に関する自明な命題）と見なされる。