Lógica Proposicional
18 Abril 2023, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano
Exercícios de representação do conhecimento usando Lógica Proposicional
Modelização de puzzles e de
Inferência através de Model checking
A transformação das fórmulas na sua forma normal conjuntiva
Inferência através do princípio da resolução