



























1. O documento apresenta a introdução à disciplina "Lógica para Computação", descrevendo sua história, conceitos fundamentais da lógica como proposições, silogismos e diagramas de Venn-Euler. 2. São apresentadas três citações sobre a relação entre lógica e computação. 3. A lógica é definida como o estudo do raciocínio correto por meio de conceitos, julgamentos e argumentos formais.


























