T22

3 Dezembro 2019, 10:30 • Mário Jorge Edmundo

Outro exemplo de uma inferência  válida e respectiva demonstração informal e formal usando as regras (A Elim) e (E Intro). A regra eliminação do quantificador existencial (E Elim) (ou instanciação existencial);  Dois exemplos de  inferências  válidas e respectivas demonstrações informal e formal usando (E Elim). 

Lógica dos Quantificadores

3 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte

Resolução dos exercícios 161 (+ tradução para LPO da frase "Há um único cubo")  e 118 .

TP12_23

2 Dezembro 2019, 12:00 • Mário Jorge Edmundo

Exercícios 127 (2, 4, 6, 8, 10), 161, 118.

Lógica dos Quantficadores

2 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte

Resolução dos exercícios 110, 122 (1,5,10,15,20,25,30) e 127 (2,4).

T

29 Novembro 2019, 09:30 • Mário Jorge Edmundo