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

25 Outubro 2018, 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.