1º Período - Lógica Computacional

Ementa: Lógica formal; Conectivos e valores lógicos; Tautologias; Argumentos válidos; regras de dedução para lógica proposicional; Métodos dedutivos e outras regras; Quantificadores e predicados; Validade. Programação lógica (PROLOG);