User contributions
30 August 2020
Modelos (lógica)
no edit summary
m+56
Modelos (lógica)
no edit summary
m+38
Modelos (lógica)
no edit summary
+104
Modelos (lógica)
no edit summary
m+86
Definição recursiva da linguagem proposicional
no edit summary
m+373
Formalismos dedutivos
no edit summary
+6
Relação de consequência
no edit summary
m+18
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m+128
29 August 2020
28 August 2020
Dedução Natural
no edit summary
m+13
Dedução Natural
no edit summary
mDedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m+37
Dedução Natural para a Lógica Proposicional Clássica
criando página
Dedução Natural para a Lógica Proposicional Intuicionista
criando página
Dedução Natural
no edit summary
m+12
Estratégias de demonstração
no edit summary
m+31
Estratégias de demonstração
no edit summary
m+1
Estratégias de demonstração
no edit summary
m-1
Exercícios de Dedução Natural
criando página
Formalismos dedutivos
no edit summary
m+16
Relação de consequência
no edit summary
m+124
Relação de consequência
no edit summary
m+63
Relação de consequência
criando página
Introdução Computacional à Lógica Matemática
no edit summary
m-1
Introdução Computacional à Lógica Matemática
no edit summary
m+35
27 August 2020
Dedução Natural
no edit summary
m+13
Dedução Natural
no edit summary
m+45
Dedução Natural
no edit summary
m+31
Dedução Natural
no edit summary
m+70
Dedução Natural
no edit summary
m+51
Dedução Natural
no edit summary
m+77
Dedução Natural
no edit summary
mDedução Natural
no edit summary
m-129
Dedução Natural
no edit summary
m-131
Dedução Natural
no edit summary
m-180
Dedução Natural
no edit summary
m+125
26 August 2020
Definição recursiva da linguagem proposicional
no edit summary
m-89
Fórmulas proposicionais
redirect simples
Modelos (lógica)
no edit summary
m+23
Dedução Natural
no edit summary
m+159
Estratégias de demonstração
no edit summary
m+18
Estratégias de demonstração
no edit summary
m+47
Estratégias de demonstração
no edit summary
m+15
Estratégias de demonstração
no edit summary
m+101
Estratégias de demonstração
no edit summary
m+21
Estratégias de demonstração
no edit summary
m-11
Estratégias de demonstração
no edit summary
m+15
Estratégias de demonstração
no edit summary
mEstratégias de demonstração
no edit summary
mEstratégias de demonstração
criando página