Difference between revisions of "Dedução Natural para a Lógica de Primeira Ordem Clássica"

Latest revision as of 21:02, 15 October 2020

Regras para os quantificadores e para a igualdade:
ver Dedução Natural para a Lógica de Primeira Ordem Intuicionista
Efeitos das regras clássicas da negação sobre os quantificadores

Revision as of 23:09, 13 October 2020 (view source) Jmarcos (talk \| contribs) m (vídeo adicionado) Tag: 2017 source edit ← Older edit		Latest revision as of 21:02, 15 October 2020 (view source) Greati (talk \| contribs) (→‎Links externos) Tag: 2017 source edit
Line 19:		Line 19:
	== Links externos ==		== Links externos ==

−	*	+	* [http://pt.wikipedia.org/wiki/Dedu%C3%A7%C3%A3o_natural Dedução natural]