Concursos Públicos ⇒ Proposições

[streg]

P: Se João obedece à sua mãe, então ele come pudim.
Q: Se João não come pudim, então ele fica triste.
R: João gosta de futebol e sua mãe gosta de novela.
Considerando as proposições lógicas acima, julgue os item

Se João não fica triste, então ele obedece à sua mãe.

[PeterPark]

João obedece à sua mãe = O.
João come pudim = C.
[tex3]O\rightarrow C[/tex3]

Código: Selecionar tudoSHIFT+Click na eq = ZOOM

[tex3]O\rightarrow C[/tex3]

João fica triste = T
[tex3]\neg C\rightarrow T [/tex3]

Código: Selecionar tudoSHIFT+Click na eq = ZOOM

[tex3]\neg C\rightarrow T [/tex3]

Derivando [tex3]\neg T \rightarrow O[/tex3]

Código: Selecionar tudoSHIFT+Click na eq = ZOOM

[tex3]\neg T \rightarrow O[/tex3]

:
1- [tex3]O\rightarrow C~~~~~~[/tex3]

Código: Selecionar tudoSHIFT+Click na eq = ZOOM

[tex3]O\rightarrow C~~~~~~[/tex3]

premissa
2- [tex3]\neg C\rightarrow T ~~~~~~[/tex3]

Código: Selecionar tudoSHIFT+Click na eq = ZOOM

[tex3]\neg C\rightarrow T ~~~~~~[/tex3]

premissa
3. [tex3]\neg T~~~~~~[/tex3]

Código: Selecionar tudoSHIFT+Click na eq = ZOOM

[tex3]\neg T~~~~~~[/tex3]

Hipótese
4. [tex3]C~~~~~~[/tex3]

Código: Selecionar tudoSHIFT+Click na eq = ZOOM

[tex3]C~~~~~~[/tex3]

modus Tollens usando linha 3 e 2.

Não há regra para concluir que João obedece à sua mãe.
João pode não obedecer a sua mãe e mesmo assim comer pudim.

Acontece que caso ele obedeça sua mãe, será obrigado a comer pudim.

FALSO
Se João não fica triste, então ele obedece à sua mãe.