Questões de Concurso Sobre equivalências - proposições logicamente equivalentes em raciocínio lógico

Uma sequência de chaves lógicas (A, B, C, D, E) funciona de modo condicional: cada chave pode estar aberta ou fechada, não havendo terceiro estado possível. As regras de funcionamento das chaves determinam que:

• se a chave A está aberta, então a chave B está aberta;

• se a chave B está aberta, então a chave C está aberta;

• se a chave B está aberta, então a chave D está aberta;

• se a chave C ou a chave D estão abertas, então a chave E está aberta.

Na busca por um sistema de diagnóstico que determine, por meio do menor número de observações possível, o estado das cinco chaves, observou-se que, atualmente, a chave E está fechada. 

Uma frase afirmativa que possa ser classificada em verdadeira ou falsa é uma proposição. Para formular composições de proposições simples, a lógica matemática faz uso de alguns conectivos padronizados: a conjunção (e, indicada por ˄); a disjunção (ou, indicada por ˅); a condicional (se… então, indicada por →); e a bicondicional (se, e somente se, indicada por ↔). Também tem-se a negação, indicada por ¬, que age sobre uma proposição sozinha, negando seu sentido. Algumas sentenças, denominadas sentenças abertas, não são consideradas proposições porque seu valor-verdade depende de uma ou mais variáveis; elas podem ser transformadas em proposições pelo uso de um quantificador universal (para qualquer x) ou de um quantificador existencial (existe x).