In Logic: An empty or
vacuous statement composed of simpler statements in a fashion that makes it
logically true whether the simpler statements are
factually true or false; for example, the statement
Either it will rain tomorrow or it will not rain tomorrow.
Source: Guru.com