Leia os argumentos abaixo e determine se são válidos ou inválidos. Justifique sua resposta.
Se um corpo possui velocidade constante, então a força resultante sobre ele é zero. O corpo possui velocidade constante. Logo, a força resultante sobre ele é zero.

Passo 1

O enunciado apresenta o seguinte argumento em linguagem natural:
“Se um corpo possui velocidade constante, então a força resultante sobre ele é zero. O corpo possui velocidade constante. Logo, a força resultante sobre ele é zero.”
O conteúdo aqui é lógica proposicional, mais precisamente a aplicação de regras de inferência. Para verificar a validade do argumento, vamos formalizar as proposições e usar a regra conhecida como modus ponens.

Passo 2

Definimos as proposições abaixo:
P: “o corpo possui velocidade constante”
Q: “a força resultante sobre ele é zero”
O argumento fica então:
P to Q, P
Logo, conclui-se
Q

Passo 3

A regra de inferência chamada modus ponens diz que, se temos
P to Q
e também temos
P,
então podemos inferir
Q
de forma válida em lógica proposicional.

Passo 4

Como nosso argumento segue exatamente a forma “ P to Q, P, portanto Q”, ele se enquadra em modus ponens, uma regra de inferência válida e amplamente aceita.

Resposta

Válido.

Exercícios relacionados