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.
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.
“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:
: “o corpo possui velocidade constante”
: “a força resultante sobre ele é zero”
O argumento fica então:
O argumento fica então:
Logo, conclui-se
Passo 3
A regra de inferência chamada modus ponens diz que, se temos
e também temos
então podemos inferir
de forma válida em lógica proposicional.
Passo 4
Como nosso argumento segue exatamente a forma “
,
, portanto
”, ele se enquadra em modus ponens, uma regra de inferência válida e amplamente aceita.
Resposta
Válido.