AULA 5
2 Outubro 2018, 10:30 • Fernando Ferreira
Formas normais negativas (FNN). Formas normais conjuntivas (FNC) e formas normais disjuntivas (FND).
A noção (informal) de consequência lógica. Argumentos e contra-exemplos.
2 Outubro 2018, 10:30 • Fernando Ferreira
Formas normais negativas (FNN). Formas normais conjuntivas (FNC) e formas normais disjuntivas (FND).