Flashcard FC368151
Como aplicar as regras de verdade de "→" e "∨" para determinar uma atribuição que satisfaça um conjunto de sentenças?
Lógica de Proposições
Instituto Consulplan · 2024
Como aplicar as regras de verdade de "→" e "∨" para determinar uma atribuição que satisfaça um conjunto de sentenças?
Mostrar resposta e comentário
Resposta
Assuma a disjunção verdadeira e propague as implicações; lembre que → é falsa apenas quando antecedente é V e consequente é F.Passos práticos:
1) Da disjunção P∨R, escolha a alternativa que torne as fórmulas consistentes (assuma um dos disjuntos V).
2) Use cada condicional X→Y: se X for V, então Y deve ser V; se Y for V, verifique condicionais que tiverem ¬Y no consequente para forçar seus antecedentes a F.
3) Cheque condicionais com antecedente falso (são verdadeiras) e confirme que todas as sentenças ficam verdadeiras.
exemplo:
Considere: E→P, R→¬P, ¬E→¬R, E∨R.
Assuma E = V (pela disjunção). Então P = V (por E→P). Como P = V, a condicional R→¬P só é verdadeira se R = F. Verifique ¬E→¬R: antecedente é F, logo a condicional é verdadeira. Logo uma atribuição que satisfaz tudo é E = V, P = V, R = F.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/364763
Conteúdo do catálogo FC Concursos · Atualizado em