Questões de Concursos Fundamentos de Lógica

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).

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.