Aula Prática 2 - Logica Proposicional (Resolução) + MAP 1

2 dezembro 2022, 12:00 • Joana Campos

• Exercicios de Lógica Propocisional das folhas de exercicios (Aula 2 das práticas):
• 3.1.1 a)
• 3.1.2 c) direta + absurdo, a), e)
• MAP 1

Aula Prática 2 - Logica Proposicional (Resolução) + MAP 1

2 dezembro 2022, 10:30 • Marcelo Mouta

• Exercicios de Lógica Propocisional das folhas de exercicios (Aula 2 das práticas):
• 3.1.1 a)
• 3.1.2 c) direta + absurdo, a), e)
• MAP 1

Aula Prática 2 - Resolução e MAP1

2 dezembro 2022, 10:30 • Rui Orlando Magalhães Ribeiro

• Forma Clausal + Resolução
• MAP 1
  

Aula Prática 2 - Logica Proposicional (Resolução) + MAP 1

2 dezembro 2022, 10:30 • Joana Campos

• Exercicios de Lógica Propocisional das folhas de exercicios (Aula 2 das práticas):
• 3.1.1 a)
• 3.1.2 c) direta + absurdo, a), e)
• MAP 1

Lógica de 1º ordem. Unificação.

2 dezembro 2022, 09:30 • Ana Paiva

Lógica de 1º ordem. Resolução. Unificação. (5.2).