Computação

Lógica Proposicional, Computação e Informática

• Como podem contribuir a Computação e a Informática para a Lógica Proposicional?
  • Desenvolvendo e implementando algoritmos para (ajudar a) descobrir se uma proposição é um teorema, válida ou compatível
• Como pode a Lógica Proposicional contribuir para a Computação e para a Informática?
  • Definindo linguagens para descrever computações, estados, erros, etc.
  • Especificando métodos para detetar e lidar com essas situações.