En este caso, la declaración «todos los teléfonos celulares en la habitación están encendidos» también sería vacuamente verdadera, tanto como la conjunción de las dos: «todos los teléfonos celulares en la habitación están encendidos y apagados».
Más formalmente, un uso relativamente bien definido se refiere a una declaración condicional con un antecedente falso.
[1] Esta idea es relevante, así como en cualquier otro campo que use lógica clásica.
Tales declaraciones hacen aserciones razonables sobre objetos cualificados que no existen realmente.
Declaraciones que puede ser reducidas (con transformaciones adecuadas) a esta forma básica incluyen las siguientes declaraciones universalmente cuantificadas: La verdad vacua aparece más comúnmente en la lógica clásica, que en particular es bivaluada (es decir, con dos valores de verdad, «verdadero» y «falso»).
Aun así, la verdad vacua también aparece en, por ejemplo, en la lógica intuicionista en las mismas situaciones que las dadas anteriormente.
[2] – Esta declaración es cierta no-vacuamente (dado que algunos enteros son más grandes que 5), pero algunas de sus implicaciones son solo vacuamente verdaderas: por ejemplo, cuándo x es el entero 2, la declaración implica la verdad vacua «si 2 > 5 entonces 2 > 3».