User contributions
30 September 2020
29 September 2020
Introdução Computacional à Lógica Matemática
no edit summary
m+88
Semântica formal para a Lógica Proposicional Clássica
Para reflexão
m+117
Semântica formal para a Lógica de Primeira Ordem Clássica
vídeo adicionado
+20
28 September 2020
Semântica formal para a Lógica de Primeira Ordem Clássica
vídeo adicionado
+20
Semântica formal para a Lógica de Primeira Ordem Clássica
vídeo adicionado
+20
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
m+93
Semântica formal para a Lógica de Primeira Ordem Clássica
vídeo adicionado
+20
Assinatura de primeira ordem
no edit summary
m-10
Semântica formal para a Lógica de Primeira Ordem Clássica
acrescentando video
+20
Assinatura de primeira ordem
no edit summary
m+67
26 September 2020
Exercícios de Dedução Natural
Para reflexão
m+10
Exercícios de Dedução Natural
Raciocínio por redução ao absurdo: \Gamma_1, \neg\varphi\vdash\neg\psi; \Gamma_2, \neg\varphi\vdash\psi \, / \, \Gamma_1, \Gamma_2 \vdash \varphi
mExercícios de Dedução Natural
no edit summary
m-200
Exercícios de semântica formal para a Lógica Proposicional Clássica
no edit summary
m-25
Exercícios de Dedução Natural
Derivabilidade de regras
m+206
Exercícios de Dedução Natural
Derivabilidade de regras
+4
Exercícios de Dedução Natural
no edit summary
m-2
Exercícios de Dedução Natural
Derivabilidade de regras
m+1
Exercícios de Dedução Natural
Derivabilidade de regras
m+95
Correção e completude
no edit summary
m+309
Exercícios de Dedução Natural
Para reflexão
m+122
Exercícios de Dedução Natural
Para reflexão
m+16
Exercícios de Dedução Natural
Para reflexão
m-2
Exercícios de Dedução Natural
no edit summary
+807
Exercícios de semântica formal para a Lógica Proposicional Clássica
no edit summary
m+60
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
m+4
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
m+47
Dedução Natural para a Lógica Proposicional Clássica
no edit summary
m+10
Dedução Natural para a Lógica Proposicional Clássica
no edit summary
m+23
Dedução Natural para a Lógica Proposicional Clássica
no edit summary
m-12
Dedução Natural para a Lógica Proposicional Clássica
no edit summary
m-36
Dedução Natural para a Lógica Proposicional Clássica
no edit summary
m+6
Dedução Natural para a Lógica Proposicional Clássica
no edit summary
+262
Dedução Natural para a Lógica Proposicional Clássica
no edit summary
+50
Fórmulas de primeira ordem
no edit summary
m+86
Termos de primeira ordem
no edit summary
m+86
Assinatura de primeira ordem
no edit summary
m+4
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
m+194
Quantificadores
no edit summary
-8
Quantificadores
criando página
Correção e completude para a Lógica Proposicional Clássica
vídeo adicionado
m+20
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
m+22
Correção e completude
vídeo adicionado
m+128
25 September 2020
24 September 2020
23 September 2020
22 September 2020
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m+3
Semântica formal para a Lógica Proposicional Clássica
vídeo adicionado
+315
Dedução Natural para a Lógica Proposicional Clássica
no edit summary
m+39