Argumento Válido

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