AULA 6

6 Outubro 2017, 09:30 • Fernando Ferreira

A noção de consequência lógica. Argumentos e contra-exemplos.

Inferências básicas com a conjunção e a disjunção. O método da demonstração por casos.