O argumento lógico é deduzido a partir daquilo que é colocado como verdade, e a nossa opinião sobre a validade das premissas não pode interferir na elaboração da conclusão.
Considere as premissas:
A) Todo número par é escrito na forma 2n, onde n é um número natural.
B) O número 5 é escrito como 5 equals 2 times 2.
Assinale a alternativa que apresenta a conclusão segundo as premissas A e B.
Alternativas:
a) 5 não é um número par.
b) Todo número par não é ímpar.
c) 5 é um número ímpar.
d) 5 é um número par.
e) Todo número ímpar é par.
5 é um número par.
Soluções para a tarefa
- Resolução:
Temos duas premissas iniciais. Para se chegar a uma conclusão lógica verdadeira, temos que supor que as premissas são sempre verdadeiras.
Nesse sentido, da premissa 1: Todo número par é escrito como 2*n.
- Se 5 for par, então 5 pode ser escrito como 2*n
- Se 5 não for par, então 5 não pode ser escrito como 2*n.
Como é da nossa premissa 2 que 5 pode ser escrito como 2*2 (2*n, com n natural) e como consideramos sempre as premissas verdadeiras para chegar a uma conclusão verdadeira, então 5 é um número par.
=> 5 é um número par [válido apenas nessa questão]
Resposta: D)
Alternativa D: 5 é um número par.
Esta questão está relacionada com lógica matemática. Nesse âmbito da matemática, as sentenças são consideradas como proposições e devemos seguir três princípios para ter qualquer conclusão:
- Princípio da identidade: cada proposição é igual a si própria.
- Princípio da não-contradição: cada proposição não pode ser verdadeira e falsa ao mesmo tempo.
- Princípio do terceiro excluído: cada proposição é verdadeira ou falsa.
Nesse caso, podemos concluir que 5 é um número par. Note que isso não é verdade, mas tomamos as sentenças A e B como verdadeiras e a sentença B diz que o número 5 pode ser escrito na forma 2n. Uma vez que a sentença A afirma que os números pares são escritos assim, essa é a conclusão do enunciado.