Fichamento Logica

Conceitos básicos de lógica
Introdução
A lógica se interessa pelo estudo de uma classe especial de inferências e que esta classe detém a particularidade de a validade dos espécimes nela representados ficar a dever-se exclusivamente à sua forma.
Convém, no entanto, reconhecer que esta apresentação é um pouco enigmática, sobretudo para quem não tenha já uma ideia aproximada do que se entende por validade, argumento, forma e inferência.
O que é um argumento? Tem-se um argumento sempre que se pretende justificar o valor de verdade de uma asserção.
Mas o que é uma asserção? Uma asserção é uma frase declarativa empregue para afirmar ou negar algo. Quando, por exemplo, queremos expressar a ideia de que a raiz de 2 não pertence ao conjunto dos números racionais, a frase "A raiz de 2 não é um número racional" representa uma asserção. A distinção entre frases assertivas e frases não assertivas pode ser compreendida facilmente. Para isso, basta confrontar o exemplo anterior com a frase "Ao saíres, fecha a porta cuidadosamente”.
A primeira frase é verdadeira, enquanto a segunda não tem valor de verdade. Sempre que uma frase não é verdadeira nem falsa diz-se que não possui valor de verdade.
O sucesso é geralmente obtido pela listagem do conjunto de razões em que se apoia a pretensão de que uma determinada asserção é verdadeira ou falsa.
Espera-se que uma vez apresentado um certo conjunto de razões, a asserção que se tinha em mente defender seja considerada verdadeira no caso das razões propostas o serem igualmente.
A verdade de uma asserção é aceite como consequência da verdade das razões que lhe servem de apoio. Ora, sempre que isto acontece, não é racionalmente admissível aceitar como verdadeiras as razões apresentadas e, em simultâneo, considerar falsa a asserção que essas razões têm em vista suportar.
A argumentação, no sentido acima referido, é um processo que tem lugar entre sujeitos racionais, destinado a ser avaliado racionalmente. Com isto, queremos