Changes

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

2 bytes removed , 16:22, 26 September 2020

m

no edit summary

===Derivabilidade de regras===

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

==Para reflexão==

525

edits