User contributions

Jmarcos

8 October 2020

Sintaxe da lógica de primeira ordem
no edit summary
21:09
+272

7 October 2020

Lógica de primeira ordem
no edit summary
17:59
-30
Dedução Natural
Para reflexão
17:53
+188
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
17:34
+1
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
17:19
+14
Semântica formal para a lógica de primeira ordem
no edit summary
17:17
+49
Acarretamento
no edit summary
17:10
+17
Acarretamento
no edit summary
17:10
+180
Acarretamento
no edit summary
15:36
+20

6 October 2020

Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
19:28
+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
16:59
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
16:42
+8
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
16:41
-26
Semântica formal para a lógica de primeira ordem
no edit summary
16:37
+14
Semântica formal para a lógica de primeira ordem
no edit summary
16:35
+132
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
15:17
+2
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
15:16
+6
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
15:15
+159
Quantificadores
no edit summary
14:59
-44
Acarretamento
no edit summary
14:54
-10
Semântica formal para a Lógica Proposicional Clássica
no edit summary
14:16
+9
Dedução Natural
no edit summary
14:08
+8
Dedução Natural
no edit summary
14:08
+1
Acarretamento
no edit summary
14:05
+4
Acarretamento
no edit summary
13:51
-9
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
Veja também
13:48
+53
Exercícios de semântica formal para a Lógica Proposicional Clássica
no edit summary
13:47
+56
Exercícios de Dedução Natural
no edit summary
13:47
+2
Exercícios de Dedução Natural
no edit summary
13:46
+56
Estratégias de demonstração
no edit summary
13:45
+56
Dedução Natural para a Lógica de Primeira Ordem Clássica
no edit summary
13:44
+56
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
no edit summary
13:44
+56
Correção e completude para a Lógica de Primeira Ordem Clássica
no edit summary
13:44
+53
Quantificadores
no edit summary
13:42
+56
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
13:41
-310
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
13:39
-1
Semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
13:39
+56
Semântica formal para a lógica de primeira ordem
no edit summary
13:38
-11
Semântica formal para a lógica de primeira ordem
no edit summary
13:38
+53
Semântica formal para a lógica de primeira ordem
no edit summary
13:37
+148
Acarretamento
no edit summary
13:37
-148
Acarretamento
no edit summary
13:36
-182
Semântica formal para a lógica proposicional
no edit summary
13:36
-11
Semântica formal para a lógica proposicional
no edit summary
13:35
+182
Correção e completude
no edit summary
13:28
+60
Definição recursiva da linguagem proposicional
no edit summary
13:28
+56
Fórmulas de primeira ordem
no edit summary
13:26
+56
Termos de primeira ordem
no edit summary
13:25
+56
Assinatura de primeira ordem
no edit summary
13:25
+56
Sintaxe da lógica de primeira ordem
no edit summary
13:24
+39

older 50

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:Contributions/Jmarcos"

User contributions

Jmarcos

8 October 2020

Sintaxe da lógica de primeira ordem

7 October 2020

Lógica de primeira ordem

Dedução Natural

Semântica formal para a Lógica de Primeira Ordem Clássica

Semântica formal para a Lógica de Primeira Ordem Clássica

Semântica formal para a lógica de primeira ordem

Acarretamento

Acarretamento

Acarretamento

6 October 2020

Semântica formal para a Lógica de Primeira Ordem Clássica

Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica

Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica

Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica

Semântica formal para a lógica de primeira ordem

Semântica formal para a lógica de primeira ordem

Semântica formal para a Lógica de Primeira Ordem Clássica

Semântica formal para a Lógica de Primeira Ordem Clássica

Semântica formal para a Lógica de Primeira Ordem Clássica

Quantificadores

Acarretamento

Semântica formal para a Lógica Proposicional Clássica

Dedução Natural

Dedução Natural

Acarretamento

Acarretamento

Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica

Exercícios de semântica formal para a Lógica Proposicional Clássica

Exercícios de Dedução Natural

Exercícios de Dedução Natural

Estratégias de demonstração

Dedução Natural para a Lógica de Primeira Ordem Clássica

Dedução Natural para a Lógica de Primeira Ordem Intuicionista

Correção e completude para a Lógica de Primeira Ordem Clássica

Quantificadores

Semântica formal para a Lógica de Primeira Ordem Clássica

Semântica formal para a Lógica de Primeira Ordem Clássica

Semântica formal para a Lógica de Primeira Ordem Clássica

Semântica formal para a lógica de primeira ordem

Semântica formal para a lógica de primeira ordem

Semântica formal para a lógica de primeira ordem

Acarretamento

Acarretamento

Semântica formal para a lógica proposicional

Semântica formal para a lógica proposicional

Correção e completude

Definição recursiva da linguagem proposicional

Fórmulas de primeira ordem

Termos de primeira ordem

Assinatura de primeira ordem

Sintaxe da lógica de primeira ordem