User contributions

Jmarcos

3 September 2020

Definição recursiva da linguagem proposicional
no edit summary
m
21:57
+36
Definição recursiva da linguagem proposicional
no edit summary
m
21:56
+8
Assinatura de primeira ordem
no edit summary
m
21:55
+3
Assinatura de primeira ordem
no edit summary
m
21:55
+39
Correção e completude para a Lógica Proposicional Clássica
no edit summary
21:54
+4
Correção e completude para a Lógica Proposicional Clássica
no edit summary
m
21:53
+30
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m
21:53
+16
Dedução Natural para a Lógica Proposicional Clássica
no edit summary
m
21:52
+67
Poder expressivo dos operadores clássicos
no edit summary
m
21:30
+4
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m
21:29
+2
Acarretamento
no edit summary
21:29
+34
Modelos (lógica)
no edit summary
m
21:28
+4
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m
21:27
+4
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m
21:27
+53
Estratégias de demonstração
no edit summary
m
21:25
+39
Dedução Natural
no edit summary
m
21:23
Dedução Natural
no edit summary
m
21:23
+62
Poder expressivo dos operadores clássicos
no edit summary
m
21:19
+156
Poder expressivo dos operadores clássicos
no edit summary
m
21:17
+25
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m
21:16
+38
Relação de consequência
no edit summary
m
21:09
+42
Formalismos dedutivos
no edit summary
m
21:08
+29
Formalismos dedutivos
no edit summary
m
21:08
+382
Acarretamento
no edit summary
21:03
+56
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m
21:02
+67
Dedução Natural
no edit summary
m
21:00
+61
Dedução Natural
no edit summary
m
20:59
+112
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m
20:58
+91
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m
20:56
+117
Dedução Natural para a Lógica Proposicional Clássica
no edit summary
20:55
+15
Dedução Natural para a Lógica Proposicional Clássica
no edit summary
m
20:54
+28
Assinatura de primeira ordem
no edit summary
m
20:54
+28
Definição recursiva da linguagem proposicional
no edit summary
m
20:52
+14
Definição recursiva da linguagem proposicional
no edit summary
20:51
+16
Correção e completude para a Lógica Proposicional Clássica
no edit summary
m
20:50
+188
Relação de consequência
no edit summary
m
20:21
-2
Relação de consequência
no edit summary
m
20:20
+32
Dedução Natural
no edit summary
m
20:20
+30
Correção e completude para a Lógica Proposicional Clássica
criando verbete
20:18
Correção e completude
no edit summary
m
20:17
-61

2 September 2020

Correção e completude
no edit summary
m
23:19
+176
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m
23:16
+128
Dedução Natural para a Lógica Proposicional Intuicionista
no edit summary
m
23:13
-38
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m
23:12
+127
Exercícios de semântica formal para a Lógica Proposicional Clássica
no edit summary
m
02:00
+61
Exercícios de semântica formal para a Lógica Proposicional Clássica
esqueleto da página
01:58
Semântica formal para a Lógica Proposicional Clássica
no edit summary
m
01:57
-70
Poder expressivo dos operadores clássicos
no edit summary
01:57
+13
Poder expressivo dos operadores clássicos
criando boneco do verbete para o futuro
01:57
Semântica formal para a Lógica Proposicional Clássica
no edit summary
01:54
+78

older 50

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

User contributions

Jmarcos

3 September 2020

Definição recursiva da linguagem proposicional

Definição recursiva da linguagem proposicional

Assinatura de primeira ordem

Assinatura de primeira ordem

Correção e completude para a Lógica Proposicional Clássica

Correção e completude para a Lógica Proposicional Clássica

Dedução Natural para a Lógica Proposicional Intuicionista

Dedução Natural para a Lógica Proposicional Clássica

Poder expressivo dos operadores clássicos

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

Acarretamento

Modelos (lógica)

Dedução Natural para a Lógica Proposicional Intuicionista

Dedução Natural para a Lógica Proposicional Intuicionista

Estratégias de demonstração

Dedução Natural

Dedução Natural

Poder expressivo dos operadores clássicos

Poder expressivo dos operadores clássicos

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

Relação de consequência

Formalismos dedutivos

Formalismos dedutivos

Acarretamento

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

Dedução Natural

Dedução Natural

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

Dedução Natural para a Lógica Proposicional Intuicionista

Dedução Natural para a Lógica Proposicional Clássica

Dedução Natural para a Lógica Proposicional Clássica

Assinatura de primeira ordem

Definição recursiva da linguagem proposicional

Definição recursiva da linguagem proposicional

Correção e completude para a Lógica Proposicional Clássica

Relação de consequência

Relação de consequência

Dedução Natural

Correção e completude para a Lógica Proposicional Clássica

Correção e completude

2 September 2020

Correção e completude

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

Dedução Natural para a Lógica Proposicional Intuicionista

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

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

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

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

Poder expressivo dos operadores clássicos

Poder expressivo dos operadores clássicos

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