- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalNegação de Proposições CompostasLeis de De Morgan
- Lógica ProposicionalProposições
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, é:
( ) 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, é: