ILM0001

Conceitos fundamentais da lógica: princípios lógicos; proposições e valores lógicos; conectivos; tabelas verdade. Cálculo proposicional: operações lógicas; tautologia, contradição e contingência; implicação e equivalência lógica; método dedutivo; argumentação e inferências lógicas; demonstração condicional e demonstração indireta. Lógica de predicados: funções proposicionais, quantificadores, validade de argumentos com quantificadores. Noções de álgebra dos conjuntos: relação de inclusão e de igualdade; operações; conjunto das partes; produto cartesiano.