空虚な真

数学および論理学において、空虚な真（くうきょなしん、英: vacuous truth）とは、前件が真にならないために真になる条件文や普遍命題（条件命題に変換できる普遍命題）のことである。このような命題は実際に何も表現しないため、命題は空虚に真であると時々表現される。