III. Lógica Proposicional - 3

13 Novembro 2019, 18:00 • António José Teiga Zilhão

Tautologias, contradições e fórmulas contingentes. O Problema da Decisão: método semântico de o resolver.

Correcção do exercício escrito efectuado a 04/11 e entrega das classificações do mesmo.