Indique a regra de inferência conhecida como Modus Tollens
A) p → q, p q.
B) p → q, ~q ~p.
C) p ^ q q.
D)p, q p ^ q.
E)p → q p → (p ^ q)
Justifique
Soluções para a tarefa
Resposta:
p → q, ~q ~p.
Explicação:
É um argumento comum, simples:
Se P, então Q.
Q é falso.
Logo, P é falso.
A sentença correta é a dada na alternativa de letra b) p → q, ~q, ~p.
Regras de inferência
A regra de inferência modus tollens é formalmente expressa da seguinte maneira:
I. P → Q
II. ~Q
III. ∴ ~P
A premissa I afirma que a proposição Q é uma condição necessária para a proposição P, mas a premissa II nega que esta condição tenha ocorrido. Portanto, não importa o que tenha de fato ocorrido; supondo estas premissas verdadeiras, temos a certeza de que a proposição P é falsa. Em latim, "modus tollens" significa a prova de que uma causa não ocorreu usando como apoio a ausência da consequência dela.
Mais sobre regras de inferência em:
https://brainly.com.br/tarefa/24524855
https://brainly.com.br/tarefa/22806032
