Lógica proposicional

3 Outubro 2019, 16:30 • Graça Gaspar

Introdução e panorâmica sobre lógica proposicional: exemplos de modelação e resolução de problemas em lógica proposicional, satisfabialidade em lógica proposicional, regra da resolução.