Question

– Dizer que é verdade que “para todo x, se x é uma rã e x é verde, então x está saltando” é logicamente equivalente a dizer que não é verdade que:

Answer 1

Resposta

X está saltando

Explicação passo-a-passo

Informações

• X é uma rã √
• X é verde √

Ele diz no enunciado que X=rã e X=verde,logo, ele conclui dizendo que X está saltando, se pararmos para observar, no final ele não fala uma informação é sim a sua conclusão ou seja, a sua resposta, mas depois o enunciado pede o que mentira, então vamos lá.

Análise: uma rã necessariamente não precisa pular o tempo todo, como diz no enunciado, ela as vezes fica em repouso, pra ser sincero mais em repouso do que em movimento.

Answer 2

Resposta:

Existe um rã verde que não está saltando.

Explicação:

Dizer que uma sentença não é verdadeira é negar esta sentença. Antes, porém, é interessante traduzi-la para a linguagem corrente. Assim, temos que:

“para todo x, se x é uma rã e x é verde, então x está saltando” equivale a:

“para todo x, se x é uma rã verde, então x está saltando”, que por sua vez, equivale a:

“toda rã  verde está saltando”. Agora sim, podemos negar a proposição categórica universal afirmativa com o quantificador  “ algum”: “alguma rã verde não está saltando” ou sua equivalente “existe uma rã  verde que não está saltando.”