Resolução de exercícios de lógica

1. Lógica é conjunto de regras racionais que visam a obtenção de um conhecimento

quanto a área da filosofia que estuda a validade formal das proposições linguísticas,
ou seja, um argumento cujo raciocínio pretende-se que tenha coerência.
2. Raciocínio valido se distingue do raciocínio inválido na medida em que a conclusão
numa premissa lógica seja uma consequência necessária das premissas mas quando
a conclusão não é uma consequência necessária das premissas, dizemos que o
argumento é inválido.
3. Sentença é estrutura que atenda a gramática de uma determinada língua, que essa
estrutura expressa sua contraparte mental, ou, em termos mais gerais, expressa uma
proposição, ou seja, é uma expressão de um pensamento completo, composta por
um sujeito (algo que se declara) e por um predicado (aquilo que se declara sobre o
sujeito).

4. Sentença declarativa pois são aquelas das quais se pode dizer que são verdadeiras
ou falsas quando as analisamos em vista de determinados contextos (já quem nem
todas as sentenças declarativas são evidentemente verdadeiras ou falsas), ou seja,
são proposições em que é possível aferir se são verdadeiras ou falsas.
5. Raciocínio é um acto da razão filosófica pelo qual se chega a uma nova verdade,
partindo de verdades já conhecidas. Dada uma premissa, uma conclusão, e uma
regra segundo a qual a premissa implica a conclusão. Assim, existem três tipos de
raciocínio a saber dedução, indução e abdução.
6. Uma premissa é uma fórmula filosófica que serve de base para um raciocínio, para
um estudo que levará a uma conclusão, dito doutro modo, é uma proposição usada
num argumento para defender uma conclusão.
7. O raciocínio dedutivo se distingue do raciocínio indutivo na medida em que os
argumentos dedutivos preservam a verdade. Isto significa que se as suas premissas
são verdadeiras, as suas conclusões têm de ser verdadeiras. Entraríamos em
contradição se afirmássemos as premissas e negássemos a conclusão. Assim, se as
premissas «todos as aves são animais» e «os cisnes são aves» são ambas
verdadeiras, tem de ser verdade que todos os cisnes são animais. Ao invés, os
argumentos indutivos com premissas verdadeiras podem ter ou não ter conclusões
verdadeiras.