Questões de Concurso

Considere as seguintes afirmativas:

" Se B é um licor, então sua cor não é âmbar.
" Se B não é um licor, então é um vinho.

Pode-se concluir logicamente que:

A compreensão algébrica exige distinguir equivalência, implicação, identidade e preservação do conjunto solução, pois procedimentos simbolicamente semelhantes podem estabelecer relações lógicas diferentes conforme o domínio e as propriedades das transformações empregadas. O tratamento rigoroso dessas relações pressupõe considerar tanto os valores admissíveis quanto a reversibilidade das operações realizadas. Com base nesses princípios, assinale a alternativa CORRETA.

Considere a afirmação abaixo.

Andrade é escritor ou Cecília é estudante.

A negação lógica para a afirmação é

Em uma auditoria interna, o responsável por um sistema de controle registrou a proposição: "Se o relatório mensal foi validado, então os dados financeiros foram conferidos", utilizando essa condição como critério para liberar uma etapa do processo.

Ao revisar o procedimento, outro servidor deverá substituir a proposição por uma sentença logicamente equivalente, isto é, que apresente exatamente os mesmos valores lógicos em todas as combinações possíveis das proposições simples.

Considere p: "o relatório mensal foi validado" e q: "os dados financeiros foram conferidos", de modo que a proposição registrada corresponde a p ’ q.

Qual proposição apresenta equivalência lógica com a condição registrada?

Em um procedimento de auditoria, adotam-se as proposições p: "o relatório é aprovado", q: "o relatório está assinado" e r: "a validação orçamentária foi concluída", estabelecendo-se como premissa a implicação p ? (q ^ r). Considerando as consequências lógicas dessa premissa e as equivalências da lógica proposicional, analise as assertivas abaixo e classifique cada uma como verdadeira (V) ou falsa (F).
(__)Se r for falsa, então p também deverá ser falsa.
(__)Se q for verdadeira, então p também deverá ser verdadeira.
(__)As proposições p e ¬r não podem ser simultaneamente verdadeiras quando a premissa é satisfeita.
(__)A expressão (¬q v ¬r) ? ¬p é logicamente equivalente à contrapositiva da premissa.
(__)Se p for falsa, então q e r deverão ser simultaneamente falsas.
A sequência correta, de cima para baixo, é: