Utilizando as seguintes premissas e a conclusão: - Todo mamífero é um animal. - Todo cavalo é um mamífero. - Logo todo cavalo é um animal. A única ...

Utilizando as seguintes premissas e a conclusão: - Todo mamífero é um animal. - Todo cavalo é um mamífero. - Logo todo cavalo é um animal. A única sentença incorreta é:
A É considerado um si logismo de acordo com a lógica proposicional.
B Tais argumentos compostos por duas premissas e uma conclusão estabelecem uma relação válida ou não. C Esta situação é um dos objetivos da lógica, que estuda técnicas para formalização, dedução e análise para verificação da validade de argumentos.
D É considerado um si logismo de acordo com a lógica de predicados.
Você acertou! Aula 01: Observe os exemplos abaixo: Todo mamífero é um animal. Todo cavalo é um mamífero. Portanto, todo cavalo é um animal. Kaiton é país do planeta Stix. Todos os Xinpins são de Kaiton. Logo, todos os Xinpins são Stixianos. Esses exemplos são considerados silogismos de acordo com a lógica proposicional. No estudo da lógica proposicional, tais argumentos compostos por duas premissas e uma conclusão, estabelecem uma relação que pode ser válida ou não. Ou melhor, verdadeira ou falsa. E tal situação é um dos objetivos da lógica, que estuda técnicas para formalização, dedução e análise para verificação da validade de argumentos.