Módulo 01 - Ordenamentos, o Direito e a Moral.

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:

o B a proposição p ∨ q→r
o C a proposição r→s
o 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:

o D a proposição ~s → ~p.
o 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.