4. Continue percorrendo a proposição em busca de parênteses, localizando primeiramente a parte “)” e depois o respectivo fechamento “(“:
((p∨q→r)∧(r→s))→(~s→~p)
5. Continue percorrendo a proposição em busca de parênteses, localizando primeiramente a parte “)” e depois o respectivo fechamento “(“:
((p∨q→r)∧(r→s))→(~s→~p)
- Para economizar espaço na tabela, vamos chamar de:
- B a proposição p ∨ q→r
- C a proposição r→s
- Representando este parêntese por B∧C.
6. Continue percorrendo a proposição em busca de parênteses, localizando primeiramente a parte “)” e depois o respectivo fechamento “(“:
((p∨q→r)∧(r→s))→(~s→~p)
- Para economizar espaço na tabela, vamos chamar de:
- D a proposição ~s → ~p.
- Como dentro deste parêntese há mais de duas operações, aplique-se a precedência e identifica-se que primeiramente devemos fazer as negações ~s e ~p.
Copyright © 2016 AIEC.