logica matematica

INTRODUÇÃO

A Lógica estuda os métodos de raciocínio, especialmente os que
Podem expressar-se sob a forma de argumentos.
Um argumento consiste numa série (finita) de proposições declarativas, chamadas premissas, a partir das quais se infere uma outra proposição, a conclusão. Há vários tipos de argumentos: os dois principais são os argumentos indutivos e os argumentos dedutivos.
O primeiro, usado no dia-a-dia pelas ciências empíricas, parte de
Dados da experiencia para concluir que uma dada proposição, provavelmente, é verdadeira. Os dados da experiencia tornam provável a veracidade da
Conclusão, mas não a garantem em absoluto.
Ex: É fácil ser licenciado no ISCED.
Um argumento dedutivo, pelo contrário, garante que se todas as premissas Forem verdadeiras a conclusão também o será. A argumentação dedutiva está na base das demonstrações matemáticas. Por este facto, far-se--á, antes de mais, uma breve resenha dos aspectos mais importantes da lógica elementar. Ex: 2+4 = 6.

1.1- Elementos básicos da lógica (termos e proposições)
Os elementos básicos da lógica são as proposições ou sentenças que
São afirmações precisas (verdadeiras ou falsas, mas não ambas as coisas).
Por exemplo, “2 ´e maior que 3” ´e uma proposição cujo valor lógico ´e o de
“Falsidade” enquanto “todos os triângulos tem três lados e três ˆângulos”
´e uma proposição cujo valor lógico ´e o de “verdade”. Por outro lado “x