User contributions
Jump to navigation
Jump to search
- 12:57, 6 October 2020 diff hist 0 Sintaxe (lógica) Tag: 2017 source edit
- 12:56, 6 October 2020 diff hist -1 Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 12:56, 6 October 2020 diff hist +11 Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 12:55, 6 October 2020 diff hist +320 N Lógica de primeira ordem Created page with "* Sintaxe da lógica de primeira ordem * Sistemas dedutivos para a lógica de primeira ordem * Semântica formal para a lógica de primeira ordem == Para reflexã..."
- 12:55, 6 October 2020 diff hist 0 Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 12:54, 6 October 2020 diff hist +420 N Lógica proposicional Created page with "* Sintaxe da Lógica Proposicional * Sistemas dedutivos para a Lógica Proposicional * Semântica formal para a Lógica Proposicional == Para reflexão == * Que..."
- 12:53, 6 October 2020 diff hist 0 Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 12:50, 6 October 2020 diff hist +445 N Sintaxe da lógica de primeira ordem Created page with "* Assinatura de primeira ordem * Termos de primeira ordem * Fórmulas de primeira ordem * Substituição de variáveis por termos == Para reflexão == * ==..."
- 12:48, 6 October 2020 diff hist 0 m Quantificadores Tag: 2017 source edit
- 12:47, 6 October 2020 diff hist -10 Quantificadores Tag: 2017 source edit
- 12:47, 6 October 2020 diff hist +259 N Semântica formal para a lógica de primeira ordem Created page with "* Semântica formal para a Lógica de Primeira Ordem Clássica * Semântica formal para a Lógica de Primeira Ordem Intuicionista == Para reflexão == * == Veja ta..."
- 12:46, 6 October 2020 diff hist +251 N Semântica formal para a lógica proposicional Created page with "* Semântica formal para a Lógica Proposicional Clássica * Semântica formal para a Lógica Proposicional Intuicionista == Para reflexão == * == Veja também ==..."
- 12:45, 6 October 2020 diff hist -35 Acarretamento Tag: 2017 source edit
- 12:44, 6 October 2020 diff hist -20 m Acarretamento Tag: 2017 source edit
- 12:44, 6 October 2020 diff hist +53 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 12:35, 6 October 2020 diff hist +253 m Dedução Natural para a Lógica de Primeira Ordem Intuicionista Tag: 2017 source edit
- 12:33, 6 October 2020 diff hist -431 m Dedução Natural para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 12:31, 6 October 2020 diff hist +4 m Quantificadores Tag: 2017 source edit
- 12:28, 6 October 2020 diff hist -3 m Acarretamento Tag: 2017 source edit
- 12:27, 6 October 2020 diff hist +268 m Acarretamento Tag: 2017 source edit
- 22:04, 5 October 2020 diff hist -2 Correção e completude para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 22:04, 5 October 2020 diff hist +132 m Correção e completude para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 22:03, 5 October 2020 diff hist +73 m Correção e completude Tag: 2017 source edit
- 22:01, 5 October 2020 diff hist +6 m Dedução Natural para a Lógica de Primeira Ordem Intuicionista Tag: 2017 source edit
- 22:00, 5 October 2020 diff hist +23 m Dedução Natural para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 22:00, 5 October 2020 diff hist +48 m Dedução Natural para a Lógica de Primeira Ordem Intuicionista Tag: 2017 source edit
- 21:59, 5 October 2020 diff hist +22 m Dedução Natural para a Lógica de Primeira Ordem Intuicionista Tag: 2017 source edit
- 21:58, 5 October 2020 diff hist +919 N Dedução Natural para a Lógica de Primeira Ordem Clássica criando verbete
- 21:57, 5 October 2020 diff hist +158 m Exercícios de Dedução Natural Tag: 2017 source edit
- 21:53, 5 October 2020 diff hist -40 m Dedução Natural para a Lógica de Primeira Ordem Intuicionista Tag: 2017 source edit
- 21:53, 5 October 2020 diff hist +381 N Dedução Natural para a Lógica de Primeira Ordem Intuicionista criando verbete
- 21:51, 5 October 2020 diff hist +71 m Dedução Natural Tag: 2017 source edit
- 21:44, 5 October 2020 diff hist +85 N Correção e completude para a Lógica de Primeira Ordem Clássica criando verbete
- 21:43, 5 October 2020 diff hist +206 N Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica criando verbete
- 21:32, 5 October 2020 diff hist +17 m Semântica formal para a Lógica de Primeira Ordem Clássica →Noção de acarretamento associada Tag: 2017 source edit
- 19:31, 5 October 2020 diff hist +97 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 23:55, 4 October 2020 diff hist +183 Quantificadores vídeo adicionado Tag: 2017 source edit
- 17:19, 4 October 2020 diff hist +20 Quantificadores vídeo adicionado Tag: 2017 source edit
- 11:53, 4 October 2020 diff hist -2 m Quantificadores Tag: 2017 source edit
- 11:53, 4 October 2020 diff hist +394 m Quantificadores Tag: 2017 source edit
- 01:51, 4 October 2020 diff hist +1 m Quantificadores Tag: 2017 source edit
- 01:34, 4 October 2020 diff hist +19 Quantificadores vídeo adicionado Tag: 2017 source edit
- 02:22, 3 October 2020 diff hist +20 m Quantificadores Tag: 2017 source edit
- 23:00, 2 October 2020 diff hist +119 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 14:11, 2 October 2020 diff hist +348 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 11:25, 2 October 2020 diff hist +107 m Quantificadores Tag: 2017 source edit
- 10:55, 2 October 2020 diff hist +300 Quantificadores vídeo adicionado Tag: 2017 source edit
- 11:45, 1 October 2020 diff hist 0 m Quantificadores →De acordo com a semântica clássica Tag: 2017 source edit
- 11:45, 1 October 2020 diff hist -1 m Quantificadores Tag: 2017 source edit
- 11:43, 1 October 2020 diff hist +202 m Quantificadores Tag: 2017 source edit
- 03:55, 30 September 2020 diff hist -32 Semântica formal para a Lógica de Primeira Ordem Clássica vídeo adicionado Tag: 2017 source edit
- 13:55, 29 September 2020 diff hist +88 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 10:28, 29 September 2020 diff hist +117 m Semântica formal para a Lógica Proposicional Clássica →Para reflexão Tag: 2017 source edit
- 00:36, 29 September 2020 diff hist +20 Semântica formal para a Lógica de Primeira Ordem Clássica vídeo adicionado Tag: 2017 source edit
- 20:57, 28 September 2020 diff hist +20 Semântica formal para a Lógica de Primeira Ordem Clássica vídeo adicionado Tag: 2017 source edit
- 17:45, 28 September 2020 diff hist +20 Semântica formal para a Lógica de Primeira Ordem Clássica vídeo adicionado Tag: 2017 source edit
- 12:04, 28 September 2020 diff hist +93 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 11:57, 28 September 2020 diff hist +20 Semântica formal para a Lógica de Primeira Ordem Clássica vídeo adicionado Tag: 2017 source edit
- 11:20, 28 September 2020 diff hist -10 m Assinatura de primeira ordem Tag: 2017 source edit
- 11:19, 28 September 2020 diff hist +20 Semântica formal para a Lógica de Primeira Ordem Clássica acrescentando video Tag: 2017 source edit
- 11:19, 28 September 2020 diff hist +67 m Assinatura de primeira ordem Tag: 2017 source edit
- 16:42, 26 September 2020 diff hist +10 m Exercícios de Dedução Natural →Para reflexão Tag: 2017 source edit
- 16:41, 26 September 2020 diff hist 0 m 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 Tag: 2017 source edit
- 16:41, 26 September 2020 diff hist -200 m Exercícios de Dedução Natural Tag: 2017 source edit
- 16:33, 26 September 2020 diff hist -25 m Exercícios de semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 16:31, 26 September 2020 diff hist +206 m Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 16:23, 26 September 2020 diff hist +4 Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 16:22, 26 September 2020 diff hist -2 m Exercícios de Dedução Natural Tag: 2017 source edit
- 16:18, 26 September 2020 diff hist +1 m Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 16:17, 26 September 2020 diff hist +95 m Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 16:13, 26 September 2020 diff hist +309 m Correção e completude Tag: 2017 source edit
- 15:24, 26 September 2020 diff hist +122 m Exercícios de Dedução Natural →Para reflexão Tag: 2017 source edit
- 15:20, 26 September 2020 diff hist +16 m Exercícios de Dedução Natural →Para reflexão Tag: 2017 source edit
- 15:18, 26 September 2020 diff hist -2 m Exercícios de Dedução Natural →Para reflexão Tag: 2017 source edit
- 15:15, 26 September 2020 diff hist +807 Exercícios de Dedução Natural Tag: 2017 source edit
- 14:01, 26 September 2020 diff hist +60 m Exercícios de semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 13:06, 26 September 2020 diff hist +4 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:05, 26 September 2020 diff hist +47 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:02, 26 September 2020 diff hist +10 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 13:01, 26 September 2020 diff hist +23 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 12:56, 26 September 2020 diff hist -12 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 12:51, 26 September 2020 diff hist -36 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 12:02, 26 September 2020 diff hist +6 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 12:01, 26 September 2020 diff hist +262 Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 11:54, 26 September 2020 diff hist +50 Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 11:49, 26 September 2020 diff hist +86 m Fórmulas de primeira ordem Tag: 2017 source edit
- 11:49, 26 September 2020 diff hist +86 m Termos de primeira ordem Tag: 2017 source edit
- 11:47, 26 September 2020 diff hist +4 m Assinatura de primeira ordem
- 11:22, 26 September 2020 diff hist +194 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 03:00, 26 September 2020 diff hist -8 Quantificadores Tag: 2017 source edit
- 02:59, 26 September 2020 diff hist +423 N Quantificadores criando página
- 02:45, 26 September 2020 diff hist +20 m Correção e completude para a Lógica Proposicional Clássica vídeo adicionado Tag: 2017 source edit
- 02:35, 26 September 2020 diff hist +22 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 01:15, 26 September 2020 diff hist +128 m Correção e completude vídeo adicionado Tag: 2017 source edit
- 04:05, 25 September 2020 diff hist +40 Acarretamento vídeo adicionado Tag: 2017 source edit
- 00:39, 24 September 2020 diff hist +20 Semântica formal para a Lógica Proposicional Clássica vídeo adicionado Tag: 2017 source edit
- 23:56, 23 September 2020 diff hist +40 Acarretamento vídeo adicionado Tag: 2017 source edit
- 23:35, 22 September 2020 diff hist +3 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 23:34, 22 September 2020 diff hist +315 Semântica formal para a Lógica Proposicional Clássica vídeo adicionado Tag: 2017 source edit
- 23:34, 22 September 2020 diff hist +39 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit