O princípio da exclusão do meio na lógica clássica estabelece que, para qualquer proposição, ou ela é verdadeira ou a sua negação é verdadeira, sem meio-termo. Qual das alternativas a seguir representa corretamente esse princípio?