Portal do Ementário

1. Traduzir sentenças e argumentos da linguagem informal para a notação simbólica e vice-versa.  2. Demonstrar a validade de argumentos formais usando diferentes métodos, sintáticos e semânticos. 

Análise de uma ou mais questões da lógica através do estudo de um ou mais pensadores e/ou escolas da filosofia.

WITTGENSTEIN, Ludwig.  Tractatus Logico-philosophicus. São Paulo:  EDUSP, 1994. COPI, Irving M.  Introdução à lógica. São Paulo: Mestre Jou, 1981. HEGENBERG, Leônidas. Lógica: simbolização e dedução. São Paulo: EDUSP, 1975.

CERQUEIRA, Luiz A. & OLIVA, Alberto. Introdução à lógica. Rio de Janeiro: Zahar, 1979. NAHRA, Cinara & WEBER, I. Hingo. Através da lógica. Petrópolis: Vozes, 1997. NOLT, John e ROHATYN, Dennis. Lógica.  São Paulo, Mcgraw-hill, 1991. MORTARI, Cezar A. Introdução à Lógica. São Paulo: UNESP, 2001. ALENCAR FILHO, Edgard de. Iniciação à Lógica Matemática. São Paulo: Nobel, 1978.