nenhum

FACIMA – Faculdade da Cidade de Maceió

CIÊNCIA DA COMPUTAÇÃO

Maceió-AL

FACIMA – Faculdade da Cidade de Maceió

ARGUMENTOS VÁLIDOS

Componentes: Charles J. Lopes do Nascimento Thiago Timoteo da Silva Pedro Victor Profiro Cardoso Silvio Robson

MACEIÓ-AL

ARGUMENTO VÁLIDO

A noção de argumento é fundamental para a lógica. Argumento é um conjunto de enunciados que estão relacionados uns com os outros. Argumento é um raciocínio lógico.
Observe o seguinte argumento:

Todos os homens são mortais.
Sócrates é homem.
Logo, Sócrates é mortal.

Este é um argumento formado por duas premissas e uma conclusão.

Os dois primeiros enunciados são as premissas e o último enunciado é a conclusão. Os fatos apresentados nas premissas servem de evidência para a conclusão, isto é, são eles que sustentam a conclusão.

Para que o argumento seja válido, não basta que a conclusão seja verdadeira. É preciso que as premissas e a conclusão estejam relacionadas corretamente. Distinguir os raciocínios corretos dos incorretos é a principal tarefa da lógica.

Os argumentos sempre apresentam uma ou mais premissas e uma conclusão.

Silogismo categórico é um argumento composto por três enunciados, sendo duas premissas e uma conclusão.

Vejamos um exemplo:

Todo molusco é invertebrado. premissa
O caracol é um molusco. premissa
Logo, o caracol é invertebrado. conclusão

Observamos que este argumento tem a mesma forma lógica do primeiro argumento apresentado. Ambos são silogismos categóricos. Ambos são argumentos válidos. Todos os argumentos que apresentarem esta forma lógica serão argumentos válidos.

Todo A é B.
C é A.
Logo, C é B.

Proposições
Tanto as premissas quanto a conclusão de uma argumento são proposições. Proposição é uma frase informativa cujo conteúdo pode ser verdadeiro ou falso. Proposições são