Question

Dentre as implicações lógicas a fórmula ~q ^ (p ->q) => ~p representa qual regra de inferência.

1-Modus Tollens
2-Silogismo Disjuntivo
3-Modus Ponens
4-Silogismo Hipotético
5-Eliminação​

Answer 1

Resposta:

1-Modus Tollens

Explicação passo a passo:

Gabarito