Flashcard FC452403
Como representar simbolicamente um condicional que tem como antecedente outro condicional?
Lógica de Proposições
Instituto Verbena · 2025
Como representar simbolicamente um condicional que tem como antecedente outro condicional?
Mostrar resposta e comentário
Resposta
Coloque o condicional antecedente entre parênteses, por exemplo (A \to B) \to C.Quando uma expressão retoma uma sentença composta, essa sentença composta passa a ser o antecedente do novo condicional, por isso deve ser parentetizada; use \(\land\) para conjunção e \(\leftrightarrow\) para bicondicional, e conecte as partes conforme o escopo lógico.
exemplo: Considere u: "loja aberta", v: "vendedor presente", w: "máquinas funcionando", x: "promoção ativa".
1) "Se a loja está aberta, então há vendedor presente": \(u \to v\).
2) "Se isso acontece, então, se a loja estiver aberta e não houver promoção, as máquinas funcionarão": \((u \to v) \to [(u \land \neg x) \to w]\).
3) "Além disso, as máquinas só funcionarão se, e somente se, a loja estiver aberta": \(w \leftrightarrow u\).
Fórmula completa: \((u \to v) \to [(u \land \neg x) \to w] \land (w \leftrightarrow u)\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/451135
Conteúdo do catálogo FC Concursos · Atualizado em