Un aparato está compuesto por dos lámparas, una verde y una roja, tal que pueden estar las dos apagadas, las dos prendidas o una prendida y la otra apagada.
Se establece la siguiente regla: “Si la lámpara roja está encendida, entonces la verde también”.
De acuerdo con la regla anterior, de las afirmaciones siguientes, la única de la cual no se tiene certeza es: