Sumários
1ª P
26 fevereiro 2019, 10:00 • Helena Sofia Andrade Nunes Pereira Pinto
Demonstrações no Sistema Dedutivo da Lógica Proposicional.
1ª P
25 fevereiro 2019, 15:00 • Helena Sofia Andrade Nunes Pereira Pinto
Demonstrações no Sistema Dedutivo da Lógica Proposicional.
1ª P
25 fevereiro 2019, 11:30 • Helena Sofia Andrade Nunes Pereira Pinto
Demonstrações no Sistema Dedutivo da Lógica Proposicional.
Cap. 3 Lógica Proposicional (II)
25 fevereiro 2019, 11:30 • Maria dos Remédios Vaz Pereira Lopes Cravo
Forma clausal. Resolução. Provas. Provas por refutação.
Aula 1
25 fevereiro 2019, 10:00 • Maria dos Remédios Vaz Pereira Lopes Cravo
Exercícios sobre provas em LP.