En la lógica proposicional, el principio del tercero excluido se expresa: