Argumento lógico válido
2 participantes
PiR2 :: Matemática :: Álgebra
Página 1 de 1
Argumento lógico válido
por Zeis Qua 16 Ago 2023, 11:30
Verifique se ¬(P∧Q) é uma consequência válida das hipóteses abaixo:
(Utilizar Regras de Inferência)
1. (P Λ Q) -> R hipótese
2. R -> S hip.
3. T -> ¬U hip
4. T
5. ¬S v U hip.
(Utilizar Regras de Inferência)
1. (P Λ Q) -> R hipótese
2. R -> S hip.
3. T -> ¬U hip
4. T
5. ¬S v U hip.
Zeis- Mestre Jedi
- Mensagens : 506
Data de inscrição : 16/03/2020
Re: Argumento lógico válido
por tales amaral Sex 18 Ago 2023, 07:46
Vou assumir [latex] \neg p \lor q \equiv p \implies q[/latex].
1. (P Λ Q) -> R hipótese
2. R -> S hip.
3. T -> ¬U hip
4. T
5. ¬S v U hip.
Na 5 temos [latex] \neg S \lor U \equiv S \implies U[/latex].
1. (P Λ Q) -> R hipótese
2. R -> S hip.
3. T -> ¬U hip
4. T
5. S -> U hip.
3 e 4 modus ponens temos ¬U.
De ¬U e 5, temos por modus Tollens que ¬S.
Por ¬S e 2, temos por modus Tollens que ¬R.
Por ¬R e 1, tems por modus Tollens que ¬(P Λ Q).
1. (P Λ Q) -> R hipótese
2. R -> S hip.
3. T -> ¬U hip
4. T
5. ¬S v U hip.
Na 5 temos [latex] \neg S \lor U \equiv S \implies U[/latex].
1. (P Λ Q) -> R hipótese
2. R -> S hip.
3. T -> ¬U hip
4. T
5. S -> U hip.
3 e 4 modus ponens temos ¬U.
De ¬U e 5, temos por modus Tollens que ¬S.
Por ¬S e 2, temos por modus Tollens que ¬R.
Por ¬R e 1, tems por modus Tollens que ¬(P Λ Q).
____________________________________________
Licenciatura em Matemática (2022 - ????)
tales amaral- Monitor
- Mensagens : 521
Data de inscrição : 02/05/2020
Idade : 20
Localização : Serra, ES -
Tópicos semelhantes» Argumento lógico válido 3
» Diga se o argumento abaixo é válido ou inválido
» Argumento lógico
» Derivar a conclusão de um argumento lógico
» Provar argumento lógico por predicados
» Diga se o argumento abaixo é válido ou inválido
» Argumento lógico
» Derivar a conclusão de um argumento lógico
» Provar argumento lógico por predicados
PiR2 :: Matemática :: Álgebra
Página 1 de 1
Permissões neste sub-fórum
Não podes responder a tópicos|
|
|
