User contributions
26 August 2020
Dedução Natural
no edit summary
m+122
Dedução Natural
no edit summary
Dedução Natural
no edit summary
m-2
Dedução Natural
no edit summary
m+63
Dedução Natural
no edit summary
m-3
Dedução Natural
no edit summary
m-6
Dedução Natural
no edit summary
m+267
25 August 2020
Dedução Natural
no edit summary
m+4
Dedução Natural
no edit summary
m+50
Dedução Natural
no edit summary
m+229
23 August 2020
Dedução Natural
no edit summary
m+75
Dedução Natural
no edit summary
m+6
Formalismos dedutivos
no edit summary
m+4
Formalismos dedutivos
no edit summary
m-4
Formalismos dedutivos
no edit summary
m-1
Formalismos dedutivos
no edit summary
m-27
Formalismos dedutivos
no edit summary
m+60
Formalismos dedutivos
no edit summary
m+15
Fórmulas de primeira ordem
no edit summary
m+65
22 August 2020
Sintaxe (lógica)
criando verbete
Introdução Computacional à Lógica Matemática
no edit summary
m+74
Formalismos dedutivos
no edit summary
m+10
Formalismos dedutivos
recriando página apagada por equívoco
Dedução Natural
no edit summary
+15
Introdução Computacional à Lógica Matemática
no edit summary
m+3
Dedução Natural
no edit summary
+47
Modelos (lógica)
criando verbete
Dedução Natural
no edit summary
+79
Dedução Natural
Created page with "* DN para Lógica Clássica Proposicional * DN para Lógica Clássica de Primeira Ordem == Para reflexão == * == Veja também == * == Links externos == *"
Definição recursiva da linguagem proposicional
no edit summary
m+99
Assinatura de primeira ordem
no edit summary
m+82
Introdução Computacional à Lógica Matemática
no edit summary
m+33
Introdução Computacional à Lógica Matemática
no edit summary
m-285
Introdução Computacional à Lógica Matemática
reestruturação da página
+379
21 August 2020
Definição recursiva da linguagem proposicional
no edit summary
m+25
Fórmulas de primeira ordem
no edit summary
m+58
Termos de primeira ordem
no edit summary
m+33
Termos de primeira ordem
no edit summary
m+25
Assinatura de primeira ordem
no edit summary
m+25
Definição recursiva da linguagem proposicional
Created page with "* Como um conjunto indutivamente definido [VIDEO] * Como uma álgebra absolutamente livre [VIDEO] == Para reflexão == * == Veja também == * Sintaxe da Lógica Proposi..."
Fórmulas de primeira ordem
Created page with "[VIDEO] == Para reflexão == * == Veja também == *"
Termos de primeira ordem
no edit summary
m+49
Termos de primeira ordem
Created page with "[VIDEO]"
Assinatura de primeira ordem
no edit summary
m+123
Assinatura de primeira ordem
no edit summary
m-6
Assinatura de primeira ordem
no edit summary
m+8
Assinatura de primeira ordem
versão 0
Editing tricks
some code to copy-paste
Introdução Computacional à Lógica Matemática
adding links