Changes

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

1 byte added , 16:18, 26 September 2020

m

===Derivabilidade de regras===

* Ver raciocínios '''por casos''' e '''por redução ao absurdo''' em [[Estratégias de demonstração]].

==Para reflexão==

525

edits