525
edits
Changes
Jump to navigation
Jump to search
m
Dedução Natural para a Lógica Proposicional Intuicionista (view source)
Revision as of 02:05, 30 August 2020
, 02:05, 30 August 2020no 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]]
