Changes

Dedução Natural para a Lógica Proposicional Clássica (view source)

29 bytes added , 01:44, 2 September 2020

no edit summary

[VIDEO]

* Efeitos das regras clássicas da negação sobre os demais conectivos

[VIDEO]

== Para reflexão ==

* [[Exercícios de Dedução Natural]]

* [[Estratégias de demonstração]]

* [[Correção e completude]]

== Links externos ==

*

525

edits