User contributions
1 March 2021
28 October 2020
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m-2
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m+260
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m+160
22 October 2020
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
m-24
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+32
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
-2
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
m+162
16 October 2020
14 October 2020
13 October 2020
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
Validade de sequentes em uma interpretação fixa
m+5
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
Validade de sequentes em uma interpretação fixa
m+45
Dedução Natural para a Lógica de Primeira Ordem Clássica
vídeo adicionado
m+20
12 October 2020
Dedução Natural
Para reflexão
m+27
Introdução Computacional à Lógica Matemática
no edit summary
m+163
Correção e completude
no edit summary
m+2
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
vídeo adicionado
+20
10 October 2020
Exercícios de Dedução Natural
Para reflexão
m+324
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
vídeo adicionado
+20
8 October 2020
Sintaxe da lógica de primeira ordem
no edit summary
+66
Sintaxe da lógica de primeira ordem
no edit summary
+272
7 October 2020
Lógica de primeira ordem
no edit summary
-30
Dedução Natural
Para reflexão
+188
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+1
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+14
Semântica formal para a lógica de primeira ordem
no edit summary
+49
Acarretamento
no edit summary
+17
Acarretamento
no edit summary
+180
Acarretamento
no edit summary
+20
6 October 2020
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+193
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
(\forall x : P)\varphi ◁▷ \neg(\exists x : P) \neg\varphi
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+8
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
-26
Semântica formal para a lógica de primeira ordem
no edit summary
+14
Semântica formal para a lógica de primeira ordem
no edit summary
+132
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+2
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+6
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+159
Quantificadores
no edit summary
-44
Acarretamento
no edit summary
-10
Semântica formal para a Lógica Proposicional Clássica
no edit summary
+9
Dedução Natural
no edit summary
+8
Dedução Natural
no edit summary
+1
Acarretamento
no edit summary
+4
Acarretamento
no edit summary
-9
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
Veja também
+53
Exercícios de semântica formal para a Lógica Proposicional Clássica
no edit summary
+56
Exercícios de Dedução Natural
no edit summary
+2
Exercícios de Dedução Natural
no edit summary
+56
Estratégias de demonstração
no edit summary
+56