Changes

Exercícios de Dedução Natural (view source)

4 bytes added , 16:23, 26 September 2020

===Derivabilidade de regras===

====Raciocínios por casos e por redução ao absurdo====

Confira [[Estratégias de demonstração]].

525

edits