AULA 16

13 Novembro 2018, 10:30 • Fernando Ferreira

O método da resolução como método dedutivo. Exemplo.

Exemplos de deduções formais no sistema de Fitch. Demonstrações indiretas. Exemplos.