1. L�gica e racioc�nio l�gico e proposi��es. Conectivos Conceito de
proposi��o. Valores l�gicos das proposi��es. 2. Opera��es L�gicas Sobre Proposi��es Nega��o de uma proposi��o. Conjuga��o de duas proposi��es. 3. Disjun��o de duas proposi��es. Proposi��o condicional. Proposi��o bicondicional. 4. Tabelas-Verdade de Proposi��es Compostas. Constru��o de Proposi��es Conjuntas. Tabela-Verdade de Proposi��es Conjuntas. 5. Tautologias e Contradi��es Defini��o de tautologia. Defini��o de contradi��o. 6. Equival�ncia l�gica e Implica��o l�gica Equival�ncia l�gica. Propriedades da rela��o de equival�ncia l�gica. Rec�proca, contr�ria e contrapositiva de uma proposi��o condicional. Implica��o l�gica. Princ�pio de substitui��o. Propriedade da implica��o l�gica. 7. �lgebra das Proposi��es Propriedade idempotente. Propriedade comutativa. Propriedade associativa. Propriedade distributiva. Propriedade de absor��o. Leis de Morgan. 8. Argumentos. Conceito de argumento. Validade de um argumento. Crit�rio de validade de um argumento. 9. Senten�as Abertas. Senten�as abertas com uma vari�vel. Conjunto-verdade. Senten�as abertas com duas vari�veis. Conjunto-verdade de uma senten�a aberta com duas vari�veis. Senten�as abertas com n vari�veis. Conjunto-verdade de uma senten�a aberta com n vari�veis. 10. Opera��es L�gicas Sobre Senten�as Abertas Conjun��o. Disjun��o. Nega��o. 11. Quantificadores Quantificador universal. Quantificador existencial Nega��o de proposi��es contendo quantificadores. Quantifica��o parcial e Quantifica��o m�ltipla. Exist�ncia e unicidade. Conjunto limitados.
MATEM�TICA
Fun��o exponencial e fun��o logar�tmica. An�lise Combinat�ria Simples.
Rela��es m�tricas e trigonom�tricas nos tri�ngulos ret�ngulos: aplica��o do teorema de Pit�goras