@@adrianocardoso7347 Eu fiz assim: 1. (a v j) → g [prem.] 2. j → (~g ^ ~h) [prem.] 3. j v b [prem.] 4. a → (a v j) [adição] 5. a → g [S.H, 1 & 4] 6. ~(~g ^ ~h) → ~j [contraposição, 2] 7. (g v h) → ~j [De Morgan, 6] 8. ~j → b [S.D, 3] 9. (g v h) → b [S.H, 7 & 8] 10. g → (g v h) [adição] 11. a → (g v h) [S.H, 5 & 10] 12. :. a → b [S.H, 9 & 11]
No primeiro caso eu resolvi da seguinte maneira : 1.p -->q 2.r--->q' 3.r-->p' (q' com q contrario de p é igual a p' desci o r--> e acrescentei o p'. Pode isso ?
![Lógica proposicional [8] - Dedução natural (provas hipotéticas) (2/3)](http://i.ytimg.com/vi/GQ8xezGZ2Yk/mqdefault.jpg)
assistindo em 2020, parabéns professor!
não entendi o G barrado do 3 exemplo linha 5, e a condicional?
No 2º exemplo, na linha 5 eu não podeira ficar apenas com d' da linha 4, uma vez que tenho + (ou) ?
Na premissa 2 foi removido o g', mas como? O J -> foi para onde?
to fazendo uma prova sobre alguem me ajuda?
não entendi o exemplo 3 na simplificação j-->(g'.h') e j na simplificação fica aonde
eu também não entendi essa parte
@@adrianocardoso7347 Eu fiz assim:
1. (a v j) → g [prem.]
2. j → (~g ^ ~h) [prem.]
3. j v b [prem.]
4. a → (a v j) [adição]
5. a → g [S.H, 1 & 4]
6. ~(~g ^ ~h) → ~j [contraposição, 2]
7. (g v h) → ~j [De Morgan, 6]
8. ~j → b [S.D, 3]
9. (g v h) → b [S.H, 7 & 8]
10. g → (g v h) [adição]
11. a → (g v h) [S.H, 5 & 10]
12. :. a → b [S.H, 9 & 11]
Explica muito rápido!
No primeiro caso eu resolvi da seguinte maneira :
1.p -->q
2.r--->q'
3.r-->p' (q' com q contrario de p é igual a p' desci o r--> e acrescentei o p'. Pode isso ?
q?
tmb tive dificuldade com o 1
1. p →q [prem.]
2. r → ~q [prem.]
3. ~q → ~p [contraposição, 1]
4. :. r → ~p [silogismo hipotético, 2 & 3]