Dedução natural para a lógica proposicional: exercícios.

23 Outubro 2017, 18:00 • Ricardo Santos

Dedução natural para a lógica proposicional. Resolução de exercícios de dedução com conjunções e condicionais.