Argumento Válido

[Fkarol 0]

Bom dia

não sei se aqui e o lugar certo para posta isso, mas estou com duvida no exercicos abaixo, alguem sabe resolver eu precisso informar quais das regras foram usada para provar.

 

2º (a ^ b') ^ ( (c v d') -> B ) -> (a ^ d)

Modus Ponens

Modus Tollens

Adição

Simplificação

Conjunção,

 

desde ja agradeço muito a ajuda bjus

[quitZAUMMM 18]

Nossa isso eu aprendi faz tanto tempo kkk, de uma liga aki camarada: http://pt.wikipedia.org/wiki/Silogismo

 

[]s