Changes

Dedução Natural para a Lógica Proposicional Intuicionista (view source)

128 bytes added , 02:05, 30 August 2020

m

no edit summary

[VIDEO]

* Regras para a bi-implicação intuicionista (primitivas versus derivadas)

[VIDEO]

* Congruencialidade: Teorema de Substitutividade de Equivalentes ("replacement")

[VIDEO]

* [[Dedução Natural]]

* [[Noção de equivalência lógica]]

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

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

525

edits