(logic) A proposition which is true only because it is a conditional statement with a necessarily false premise, or which asserts a property of all elements of an empty domain of discourse.
vacuous truth
対象域が空である場合、'もしユニコーンが存在するならば角がある' という含意は、論理学では前提が必ず偽であるために真となる命題（空集合に関する自明な命題）と見なされる。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
