Introdução à formalização
20 Setembro 2018, 12:00 • Ricardo Lopes Coelho
Operadores lógicos mais comuns na linguagem.
Tábuas de verdade para proporções com 4 ou mais operadores.
Exercícios de formalização: é dado um texto e discutida a expressão lógica conveniente.