User contributions
6 October 2020
Sintaxe (lógica)
no edit summary
Introdução Computacional à Lógica Matemática
no edit summary
-1
Introdução Computacional à Lógica Matemática
no edit summary
+11
Lógica de primeira ordem
Created page with "* Sintaxe da lógica de primeira ordem * Sistemas dedutivos para a lógica de primeira ordem * Semântica formal para a lógica de primeira ordem == Para reflexã..."
Introdução Computacional à Lógica Matemática
no edit summary
Lógica proposicional
Created page with "* Sintaxe da Lógica Proposicional * Sistemas dedutivos para a Lógica Proposicional * Semântica formal para a Lógica Proposicional == Para reflexão == * Que..."
Introdução Computacional à Lógica Matemática
no edit summary
Sintaxe da lógica de primeira ordem
Created page with "* Assinatura de primeira ordem * Termos de primeira ordem * Fórmulas de primeira ordem * Substituição de variáveis por termos == Para reflexão == * ==..."
Quantificadores
no edit summary
mQuantificadores
no edit summary
-10
Semântica formal para a lógica de primeira ordem
Created page with "* Semântica formal para a Lógica de Primeira Ordem Clássica * Semântica formal para a Lógica de Primeira Ordem Intuicionista == Para reflexão == * == Veja ta..."
Semântica formal para a lógica proposicional
Created page with "* Semântica formal para a Lógica Proposicional Clássica * Semântica formal para a Lógica Proposicional Intuicionista == Para reflexão == * == Veja também ==..."
Acarretamento
no edit summary
-35
Acarretamento
no edit summary
m-20
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m+53
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
no edit summary
m+253
Dedução Natural para a Lógica de Primeira Ordem Clássica
no edit summary
m-431
Quantificadores
no edit summary
m+4
Acarretamento
no edit summary
m-3
Acarretamento
no edit summary
m+268
5 October 2020
Correção e completude para a Lógica de Primeira Ordem Clássica
no edit summary
-2
Correção e completude para a Lógica de Primeira Ordem Clássica
no edit summary
m+132
Correção e completude
no edit summary
m+73
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
no edit summary
m+6
Dedução Natural para a Lógica de Primeira Ordem Clássica
no edit summary
m+23
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
no edit summary
m+48
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
no edit summary
m+22
Dedução Natural para a Lógica de Primeira Ordem Clássica
criando verbete
Exercícios de Dedução Natural
no edit summary
m+158
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
no edit summary
m-40
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
criando verbete
Dedução Natural
no edit summary
m+71
Correção e completude para a Lógica de Primeira Ordem Clássica
criando verbete
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
criando verbete
Semântica formal para a Lógica de Primeira Ordem Clássica
Noção de acarretamento associada
m+17
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
m+97
4 October 2020
Quantificadores
vídeo adicionado
+183
Quantificadores
vídeo adicionado
+20
Quantificadores
no edit summary
m-2
Quantificadores
no edit summary
m+394
Quantificadores
no edit summary
m+1
Quantificadores
vídeo adicionado
+19
3 October 2020
2 October 2020
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
m+119
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
m+348
Quantificadores
no edit summary
m+107
Quantificadores
vídeo adicionado
+300
1 October 2020
Quantificadores
De acordo com a semântica clássica
mQuantificadores
no edit summary
m-1
Quantificadores
no edit summary
m+202