Flashcard FC511530
Como representar simbolicamente uma condicional cuja consequência é uma conjunção que contém a negação de uma proposição?
Lógica de Proposições
IBFC · 2022
Como representar simbolicamente uma condicional cuja consequência é uma conjunção que contém a negação de uma proposição?
Mostrar resposta e comentário
Resposta
\(p \to (q \land \sim r)\)Explicação detalhada:
O conectivo principal é a condicional \( \to \), o antecedente é \(p\), a consequência é a conjunção, por isso usamos parênteses para indicar o escopo: \(q \land \sim r\).
A negação atua apenas sobre \(r\), representada por \(\sim r\).
Exemplo:
Frase: "Se a proposta for aprovada, então receberá financiamento e não será submetida a nova avaliação."
Proposições: p: "a proposta for aprovada", q: "receberá financiamento", r: "será submetida a nova avaliação".
Tradução simbólica: \(p \to (q \land \sim r)\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509162
Conteúdo do catálogo FC Concursos · Atualizado em