Matemática, perguntado por ricardorege8, 3 meses atrás

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​

Soluções para a tarefa

Respondido por julioperesjr
7

Resposta:

1-Modus Tollens

Explicação passo a passo:

Gabarito

Perguntas interessantes