Usar a regra “Modus tollens” para deduzir a conclusão de cada um dos seguintes pares de premissas:
(1) x=z x=6
(2) x neq 6

Passo 1

O enunciado nos dá duas premissas:
  1. ;x = z x = 6
  2. ;x neq 6
    Queremos usar a regra de inferência modus tollens, que nos ajuda a deduzir conclusões a partir de condicionais.

Passo 2

O modus tollens diz que, se temos
p q
e sabemos que
neg q
então podemos concluir
neg p

Passo 3

Aqui podemos identificar
p:;x = z, q:;x = 6, neg q:;x neq 6
Pelas premissas temos p q e neg q. Aplicando modus tollens, concluímos
neg p,
ou seja,

Resposta

;x neq z.

Exercícios relacionados