User contributions
Jump to navigation
Jump to search
- 16:58, 1 March 2021 diff hist +63 m Dedução Natural para a Lógica Proposicional Intuicionista adding links current Tag: 2017 source edit
- 19:15, 28 October 2020 diff hist -2 m Semântica formal para a Lógica Proposicional Clássica current Tag: 2017 source edit
- 19:13, 28 October 2020 diff hist +260 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 19:07, 28 October 2020 diff hist +160 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 15:45, 22 October 2020 diff hist -24 m Semântica formal para a Lógica de Primeira Ordem Clássica current Tag: 2017 source edit
- 15:37, 22 October 2020 diff hist +32 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 15:34, 22 October 2020 diff hist -2 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 15:24, 22 October 2020 diff hist +162 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 02:14, 16 October 2020 diff hist +20 Correção e completude para a Lógica de Primeira Ordem Clássica vídeo adicionado current Tag: 2017 source edit
- 15:57, 14 October 2020 diff hist +20 Dedução Natural para a Lógica de Primeira Ordem Intuicionista vídeo adicionado Tag: 2017 source edit
- 23:14, 13 October 2020 diff hist +5 m Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →Validade de sequentes em uma interpretação fixa Tag: 2017 source edit
- 23:13, 13 October 2020 diff hist +45 m Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →Validade de sequentes em uma interpretação fixa Tag: 2017 source edit
- 23:09, 13 October 2020 diff hist +20 m Dedução Natural para a Lógica de Primeira Ordem Clássica vídeo adicionado Tag: 2017 source edit
- 23:42, 12 October 2020 diff hist +27 m Dedução Natural →Para reflexão Tag: 2017 source edit
- 23:27, 12 October 2020 diff hist +163 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 17:58, 12 October 2020 diff hist +2 m Correção e completude current Tag: 2017 source edit
- 10:09, 12 October 2020 diff hist +20 Dedução Natural para a Lógica de Primeira Ordem Intuicionista vídeo adicionado Tag: 2017 source edit
- 21:25, 10 October 2020 diff hist +324 m Exercícios de Dedução Natural →Para reflexão Tag: 2017 source edit
- 16:58, 10 October 2020 diff hist +20 Dedução Natural para a Lógica de Primeira Ordem Intuicionista vídeo adicionado Tag: 2017 source edit
- 21:11, 8 October 2020 diff hist +66 Sintaxe da lógica de primeira ordem current Tag: 2017 source edit
- 21:09, 8 October 2020 diff hist +272 Sintaxe da lógica de primeira ordem Tag: 2017 source edit
- 17:59, 7 October 2020 diff hist -30 Lógica de primeira ordem current Tag: 2017 source edit
- 17:53, 7 October 2020 diff hist +188 Dedução Natural →Para reflexão Tag: 2017 source edit
- 17:34, 7 October 2020 diff hist +1 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 17:19, 7 October 2020 diff hist +14 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 17:17, 7 October 2020 diff hist +49 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 17:10, 7 October 2020 diff hist +17 Acarretamento current Tag: 2017 source edit
- 17:10, 7 October 2020 diff hist +180 Acarretamento Tag: 2017 source edit
- 15:36, 7 October 2020 diff hist +20 Acarretamento Tag: 2017 source edit
- 19:28, 6 October 2020 diff hist +193 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 16:59, 6 October 2020 diff hist 0 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 Tag: 2017 source edit
- 16:42, 6 October 2020 diff hist +8 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 16:41, 6 October 2020 diff hist -26 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 16:37, 6 October 2020 diff hist +14 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 16:35, 6 October 2020 diff hist +132 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 15:17, 6 October 2020 diff hist +2 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 15:16, 6 October 2020 diff hist +6 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 15:15, 6 October 2020 diff hist +159 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 14:59, 6 October 2020 diff hist -44 Quantificadores Tag: 2017 source edit
- 14:54, 6 October 2020 diff hist -10 Acarretamento Tag: 2017 source edit
- 14:16, 6 October 2020 diff hist +9 Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 14:08, 6 October 2020 diff hist +8 Dedução Natural Tag: 2017 source edit
- 14:08, 6 October 2020 diff hist +1 Dedução Natural Tag: 2017 source edit
- 14:05, 6 October 2020 diff hist +4 Acarretamento Tag: 2017 source edit
- 13:51, 6 October 2020 diff hist -9 Acarretamento Tag: 2017 source edit
- 13:48, 6 October 2020 diff hist +53 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →Veja também Tag: 2017 source edit
- 13:47, 6 October 2020 diff hist +56 Exercícios de semântica formal para a Lógica Proposicional Clássica current Tag: 2017 source edit
- 13:47, 6 October 2020 diff hist +2 Exercícios de Dedução Natural Tag: 2017 source edit
- 13:46, 6 October 2020 diff hist +56 Exercícios de Dedução Natural Tag: 2017 source edit
- 13:45, 6 October 2020 diff hist +56 Estratégias de demonstração current Tag: 2017 source edit
