Filtrar


Questões por página:
Um grupo de analistas desenvolveu um programa capaz de verificar automaticamente propriedades de proposições lógicas utilizadas em rotinas de validação de dados. Entre os testes realizados, foi analisada a proposição P v ¬P, conhecida por apresentar comportamento específico em qualquer atribuição de valores lógicos. Analise as assertivas.

I. A proposição é verdadeira quando P é verdadeira.
II. A proposição é verdadeira quando P é falsa.
III. A proposição é uma tautologia.
IV. A proposição pode assumir valor falso.

Assinale a alternativa que apresenta apenas as proposições CORRETAS.
Um sistema de gestão documental foi configurado para identificar apenas proposições lógicas, entendidas como sentenças declarativas completas às quais se pode atribuir, objetivamente, um valor verdadeiro ou falso. Assinale a alternativa que apresenta CORRETAMENTE uma proposição lógica.
Em um processo de auditoria interna, a analista Renata avaliou a seguinte afirmação utilizada em um relatório d econformidade: "Todos os contratos revisados foram aprovados e nenhuma pendência documental foi identificada". Para verificar a consistência lógica da conclusão, foi solicitado que ela determinasse a negação completa dessa proposição composta, preservando rigorosamente o significado lógico dos conectivos empregados. Qual é a negação correta da afirmação apresentada?
Em um processo de auditoria interna, a analista Renata avaliou a seguinte afirmação utilizada em um relatório de conformidade: "Todos os contratos revisados foram aprovados e nenhuma pendência documental foi identificada". Para verificar a consistência lógica da conclusão, foi solicitado que ela determinasse a negação completa dessa proposição composta, preservando rigorosamente o significado lógico dos conectivos empregados. Qual é a negação correta da afirmação apresentada?
Considere as proposições: "Se o relatório foi aprovado, então o pagamento foi autorizado" e "O relatório foi aprovado". Em uma análise lógica, essas duas informações são tomadas como verdadeiras, sem qualquer outra hipótese adicional. Aplicando a estrutura válida de inferência, qual conclusão decorre necessariamente das premissas?