Changes

Correção e completude (view source)

61 bytes removed , 20:17, 3 September 2020

m

no edit summary

* Definições gerais

~~[VIDEO]~~

* Correção e completude de um sistema de Dedução Natural para a Lógica Proposicional Clássica

[VIDEO]

* [[Dedução Natural]]

* [[Acarretamento]]

* [[Correção e completude para a Lógica Proposicional Clássica]]

== Links externos ==

*

525

edits