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
- 13:44, 6 October 2020 diff hist +56 Dedução Natural para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:44, 6 October 2020 diff hist +56 Dedução Natural para a Lógica de Primeira Ordem Intuicionista Tag: 2017 source edit
- 13:44, 6 October 2020 diff hist +53 Correção e completude para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:42, 6 October 2020 diff hist +56 Quantificadores Tag: 2017 source edit
- 13:41, 6 October 2020 diff hist -310 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:39, 6 October 2020 diff hist -1 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:39, 6 October 2020 diff hist +56 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:38, 6 October 2020 diff hist -11 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 13:38, 6 October 2020 diff hist +53 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 13:37, 6 October 2020 diff hist +148 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 13:37, 6 October 2020 diff hist -148 Acarretamento Tag: 2017 source edit
- 13:36, 6 October 2020 diff hist -182 Acarretamento Tag: 2017 source edit
- 13:36, 6 October 2020 diff hist -11 Semântica formal para a lógica proposicional Tag: 2017 source edit
- 13:35, 6 October 2020 diff hist +182 Semântica formal para a lógica proposicional Tag: 2017 source edit
- 13:28, 6 October 2020 diff hist +60 Correção e completude Tag: 2017 source edit
- 13:28, 6 October 2020 diff hist +56 Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 13:26, 6 October 2020 diff hist +56 Fórmulas de primeira ordem current Tag: 2017 source edit
- 13:25, 6 October 2020 diff hist +56 Termos de primeira ordem current Tag: 2017 source edit
- 13:25, 6 October 2020 diff hist +56 Assinatura de primeira ordem current Tag: 2017 source edit
- 13:24, 6 October 2020 diff hist +39 Sintaxe da lógica de primeira ordem Tag: 2017 source edit
- 13:22, 6 October 2020 diff hist +56 Correção e completude para a Lógica Proposicional Clássica current Tag: 2017 source edit
- 13:22, 6 October 2020 diff hist +56 Dedução Natural para a Lógica Proposicional Clássica current Tag: 2017 source edit
- 13:21, 6 October 2020 diff hist +56 Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 13:20, 6 October 2020 diff hist +56 Dedução Natural Tag: 2017 source edit
- 13:20, 6 October 2020 diff hist +67 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 13:19, 6 October 2020 diff hist +40 Poder expressivo dos operadores clássicos current Tag: 2017 source edit
- 13:18, 6 October 2020 diff hist +56 Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 13:17, 6 October 2020 diff hist +56 Acarretamento Tag: 2017 source edit
- 13:17, 6 October 2020 diff hist +56 Semântica formal para a lógica proposicional Tag: 2017 source edit
- 13:16, 6 October 2020 diff hist +4 Relação de consequência Tag: 2017 source edit
- 13:15, 6 October 2020 diff hist +33 Formalismos dedutivos Tag: 2017 source edit
- 13:14, 6 October 2020 diff hist +11 Semântica formal para a lógica proposicional Tag: 2017 source edit
- 13:14, 6 October 2020 diff hist +56 Modelos (lógica) Tag: 2017 source edit
- 13:14, 6 October 2020 diff hist 0 Lógica proposicional current Tag: 2017 source edit
- 13:13, 6 October 2020 diff hist 0 Modelos (lógica) Tag: 2017 source edit
- 13:13, 6 October 2020 diff hist 0 Modelos (lógica) Tag: 2017 source edit
- 13:11, 6 October 2020 diff hist +53 Lógica proposicional Tag: 2017 source edit
- 13:10, 6 October 2020 diff hist -26 Lógica proposicional Tag: 2017 source edit
- 13:09, 6 October 2020 diff hist +66 Formalismos dedutivos Tag: 2017 source edit
- 13:08, 6 October 2020 diff hist +10 Formalismos dedutivos Tag: 2017 source edit
- 13:07, 6 October 2020 diff hist +177 Formalismos dedutivos Tag: 2017 source edit
- 13:04, 6 October 2020 diff hist -42 Formalismos dedutivos Tag: 2017 source edit
- 13:02, 6 October 2020 diff hist +56 Formalismos dedutivos Tag: 2017 source edit
- 13:02, 6 October 2020 diff hist +56 Sintaxe da lógica proposicional Tag: 2017 source edit
- 13:02, 6 October 2020 diff hist +53 Sintaxe (lógica) current Tag: 2017 source edit
- 13:01, 6 October 2020 diff hist 0 Relação de consequência Tag: 2017 source edit
- 13:00, 6 October 2020 diff hist 0 Lógica proposicional Tag: 2017 source edit
- 12:59, 6 October 2020 diff hist 0 Lógica proposicional Tag: 2017 source edit
- 12:58, 6 October 2020 diff hist 0 Sintaxe da lógica proposicional Tag: 2017 source edit
- 12:57, 6 October 2020 diff hist +429 N Sintaxe da lógica proposicional Created page with "* '''Fórmulas'''<!-- --><p>{{#ev:youtube|OqcmQGaJjl0}}</p> * Algumas ''comparações'' entre as linguagens proposicional e de primeira ordem<!-- --><p>{{#ev:youtube|NuMzq-9i2..."
- 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
- 22:15, 21 September 2020 diff hist -29 m Exercícios de Dedução Natural Tag: 2017 source edit
- 22:11, 21 September 2020 diff hist +6 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 22:10, 21 September 2020 diff hist +4 m Fórmulas de primeira ordem Tag: 2017 source edit
- 22:09, 21 September 2020 diff hist +33 m Correção e completude Tag: 2017 source edit
- 22:08, 21 September 2020 diff hist -33 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 22:07, 21 September 2020 diff hist -6 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 22:04, 21 September 2020 diff hist +1 m Modelos (lógica) Tag: 2017 source edit
- 21:57, 21 September 2020 diff hist +20 Relação de consequência vídeo adicionado
- 01:53, 21 September 2020 diff hist +117 Relação de consequência vídeo adicionado Tag: 2017 source edit
- 23:54, 20 September 2020 diff hist +20 m Semântica formal para a Lógica Proposicional Clássica acrescentando video Tag: 2017 source edit
- 23:53, 20 September 2020 diff hist +20 Dedução Natural para a Lógica Proposicional Intuicionista acrescentando video Tag: 2017 source edit
- 23:49, 20 September 2020 diff hist +20 Relação de consequência adicionando video Tag: 2017 source edit
- 23:24, 20 September 2020 diff hist +20 Dedução Natural acrescentando video Tag: 2017 source edit
- 01:13, 20 September 2020 diff hist +7 Relação de consequência Tag: 2017 source edit
- 01:09, 20 September 2020 diff hist +155 m Relação de consequência Tag: 2017 source edit
- 01:08, 20 September 2020 diff hist -6 Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:06, 20 September 2020 diff hist +11 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 23:20, 19 September 2020 diff hist +151 Relação de consequência acrescentando video Tag: 2017 source edit
- 22:08, 18 September 2020 diff hist +20 Dedução Natural adicionando video Tag: 2017 source edit
- 02:46, 18 September 2020 diff hist +20 m Dedução Natural acrescentando video Tag: 2017 source edit
- 02:46, 17 September 2020 diff hist +31 m Dedução Natural Tag: 2017 source edit
- 02:39, 17 September 2020 diff hist +24 m Dedução Natural Tag: 2017 source edit
- 02:38, 17 September 2020 diff hist +183 m Dedução Natural Tag: 2017 source edit
- 02:11, 17 September 2020 diff hist +42 m Dedução Natural Tag: 2017 source edit
- 02:10, 17 September 2020 diff hist +20 Dedução Natural acrescentando video Tag: 2017 source edit
- 20:02, 16 September 2020 diff hist -62 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 20:01, 16 September 2020 diff hist +1,117 N Semântica formal para a Lógica de Primeira Ordem Clássica criando verbete
- 02:01, 16 September 2020 diff hist +60 Dedução Natural acrescentando video Tag: 2017 source edit
- 13:42, 15 September 2020 diff hist +30 m Fundamentos Matemáticos da Computação 3 current Tag: 2017 source edit
- 13:41, 15 September 2020 diff hist +94 Fundamentos Matemáticos da Computação 3 referência à estrutura da videopédia Tag: 2017 source edit
- 04:51, 15 September 2020 diff hist +38 Dedução Natural para a Lógica Proposicional Clássica acrescentando video Tag: 2017 source edit
- 04:51, 15 September 2020 diff hist +20 Dedução Natural para a Lógica Proposicional Intuicionista acrescentando video Tag: 2017 source edit
- 05:07, 14 September 2020 diff hist +20 Dedução Natural para a Lógica Proposicional Intuicionista acrescentando video Tag: 2017 source edit
- 02:19, 14 September 2020 diff hist +20 Dedução Natural para a Lógica Proposicional Intuicionista acrescentando video Tag: 2017 source edit
- 01:35, 14 September 2020 diff hist +20 Dedução Natural para a Lógica Proposicional Intuicionista acrescentando video Tag: 2017 source edit
- 18:53, 13 September 2020 diff hist +20 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 18:45, 13 September 2020 diff hist -19 Exercícios de Dedução Natural mudando as coisas de lugar Tag: 2017 source edit
- 01:23, 13 September 2020 diff hist +20 Dedução Natural para a Lógica Proposicional Intuicionista acrescentando video Tag: 2017 source edit
- 21:21, 12 September 2020 diff hist +85 Dedução Natural adicionando video Tag: 2017 source edit
- 16:37, 12 September 2020 diff hist -2 m Formalismos dedutivos Tag: 2017 source edit
- 16:36, 12 September 2020 diff hist +191 Formalismos dedutivos acrescentando video Tag: 2017 source edit
- 23:39, 11 September 2020 diff hist +19 Definição recursiva da linguagem proposicional adicionando video Tag: 2017 source edit
- 22:34, 11 September 2020 diff hist +21 m Definição recursiva da linguagem proposicional adicionando video Tag: 2017 source edit
- 01:23, 11 September 2020 diff hist +20 Fórmulas de primeira ordem acrescentando video Tag: 2017 source edit
- 21:44, 10 September 2020 diff hist 0 m Termos de primeira ordem Tag: 2017 source edit
- 21:24, 10 September 2020 diff hist +20 Termos de primeira ordem adicionando video Tag: 2017 source edit
- 22:55, 9 September 2020 diff hist +20 Assinatura de primeira ordem acrescentando video
- 22:00, 3 September 2020 diff hist +12 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:59, 3 September 2020 diff hist +10 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 21:58, 3 September 2020 diff hist +23 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 21:57, 3 September 2020 diff hist +36 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 21:56, 3 September 2020 diff hist +8 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 21:55, 3 September 2020 diff hist +3 m Assinatura de primeira ordem Tag: 2017 source edit
- 21:55, 3 September 2020 diff hist +39 m Assinatura de primeira ordem Tag: 2017 source edit
- 21:54, 3 September 2020 diff hist +4 Correção e completude para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:53, 3 September 2020 diff hist +30 m Correção e completude para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:53, 3 September 2020 diff hist +16 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 21:52, 3 September 2020 diff hist +67 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:30, 3 September 2020 diff hist +4 m Poder expressivo dos operadores clássicos Tag: 2017 source edit
- 21:29, 3 September 2020 diff hist +2 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:29, 3 September 2020 diff hist +34 Acarretamento Tag: 2017 source edit
- 21:28, 3 September 2020 diff hist +4 m Modelos (lógica) Tag: 2017 source edit
- 21:27, 3 September 2020 diff hist +4 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 21:27, 3 September 2020 diff hist +53 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 21:25, 3 September 2020 diff hist +39 m Estratégias de demonstração Tag: 2017 source edit
- 21:23, 3 September 2020 diff hist 0 m Dedução Natural Tag: 2017 source edit
- 21:23, 3 September 2020 diff hist +62 m Dedução Natural Tag: 2017 source edit
- 21:19, 3 September 2020 diff hist +156 m Poder expressivo dos operadores clássicos Tag: 2017 source edit
- 21:17, 3 September 2020 diff hist +25 m Poder expressivo dos operadores clássicos Tag: 2017 source edit
- 21:16, 3 September 2020 diff hist +38 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:09, 3 September 2020 diff hist +42 m Relação de consequência Tag: 2017 source edit
- 21:08, 3 September 2020 diff hist +29 m Formalismos dedutivos Tag: 2017 source edit
- 21:08, 3 September 2020 diff hist +382 m Formalismos dedutivos Tag: 2017 source edit
- 21:03, 3 September 2020 diff hist +56 Acarretamento Tag: 2017 source edit
- 21:02, 3 September 2020 diff hist +67 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:00, 3 September 2020 diff hist +61 m Dedução Natural Tag: 2017 source edit
- 20:59, 3 September 2020 diff hist +112 m Dedução Natural Tag: 2017 source edit
- 20:58, 3 September 2020 diff hist +91 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 20:56, 3 September 2020 diff hist +117 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 20:55, 3 September 2020 diff hist +15 Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 20:54, 3 September 2020 diff hist +28 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 20:54, 3 September 2020 diff hist +28 m Assinatura de primeira ordem Tag: 2017 source edit
- 20:52, 3 September 2020 diff hist +14 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 20:51, 3 September 2020 diff hist +16 Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 20:50, 3 September 2020 diff hist +188 m Correção e completude para a Lógica Proposicional Clássica Tag: 2017 source edit
- 20:21, 3 September 2020 diff hist -2 m Relação de consequência Tag: 2017 source edit
- 20:20, 3 September 2020 diff hist +32 m Relação de consequência Tag: 2017 source edit
- 20:20, 3 September 2020 diff hist +30 m Dedução Natural Tag: 2017 source edit
- 20:18, 3 September 2020 diff hist +205 N Correção e completude para a Lógica Proposicional Clássica criando verbete
- 20:17, 3 September 2020 diff hist -61 m Correção e completude Tag: 2017 source edit
- 23:19, 2 September 2020 diff hist +176 m Correção e completude Tag: 2017 source edit
- 23:16, 2 September 2020 diff hist +128 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 23:13, 2 September 2020 diff hist -38 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 23:12, 2 September 2020 diff hist +127 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 02:00, 2 September 2020 diff hist +61 m Exercícios de semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:58, 2 September 2020 diff hist +77 N Exercícios de semântica formal para a Lógica Proposicional Clássica esqueleto da página
- 01:57, 2 September 2020 diff hist -70 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:57, 2 September 2020 diff hist +13 Poder expressivo dos operadores clássicos Tag: 2017 source edit
- 01:57, 2 September 2020 diff hist +319 N Poder expressivo dos operadores clássicos criando boneco do verbete para o futuro
- 01:54, 2 September 2020 diff hist +78 Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:53, 2 September 2020 diff hist -39 Exercícios de Dedução Natural Tag: 2017 source edit
- 01:47, 2 September 2020 diff hist +77 N Correção e completude esqueleto do verbete
- 01:46, 2 September 2020 diff hist +30 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:44, 2 September 2020 diff hist +29 Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:42, 2 September 2020 diff hist +152 m Acarretamento Tag: 2017 source edit
- 00:48, 1 September 2020 diff hist +193 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 00:44, 1 September 2020 diff hist +74 m Acarretamento Tag: 2017 source edit
- 00:41, 1 September 2020 diff hist +67 m Acarretamento Tag: 2017 source edit
- 00:40, 1 September 2020 diff hist +212 m Acarretamento Tag: 2017 source edit
- 23:53, 31 August 2020 diff hist +45 Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:12, 31 August 2020 diff hist +8 Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:11, 31 August 2020 diff hist +68 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:36, 31 August 2020 diff hist +4 Modelos (lógica) Tag: 2017 source edit
- 01:30, 31 August 2020 diff hist +73 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 21:01, 30 August 2020 diff hist -142 m Modelos (lógica) Tag: 2017 source edit
- 20:31, 30 August 2020 diff hist +77 N Acarretamento Created page with "* == Para reflexão == * == Veja também == * == Links externos == *"
- 20:30, 30 August 2020 diff hist +205 N Semântica formal para a Lógica Proposicional Clássica Created page with "* == Para reflexão == * == Veja também == * Acarretamento (consequência semântica, entailment) == Links externos == * [https://pt.wikipedia.org/wiki/%C3%81lgeb..."
- 20:29, 30 August 2020 diff hist +56 m Modelos (lógica) Tag: 2017 source edit
- 20:16, 30 August 2020 diff hist +38 m Modelos (lógica) Tag: 2017 source edit
- 20:09, 30 August 2020 diff hist +104 Modelos (lógica) Tag: 2017 source edit
- 20:03, 30 August 2020 diff hist +86 m Modelos (lógica) Tag: 2017 source edit
- 03:05, 30 August 2020 diff hist +373 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 02:47, 30 August 2020 diff hist +6 Formalismos dedutivos Tag: 2017 source edit
- 02:47, 30 August 2020 diff hist +18 m Relação de consequência Tag: 2017 source edit
- 02:05, 30 August 2020 diff hist +128 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 17:31, 29 August 2020 diff hist -28 Dedução Natural Tag: 2017 source edit
- 23:49, 28 August 2020 diff hist +13 m Dedução Natural Tag: 2017 source edit
- 23:46, 28 August 2020 diff hist 0 m Dedução Natural Tag: 2017 source edit
- 16:24, 28 August 2020 diff hist +37 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 16:22, 28 August 2020 diff hist +635 N Dedução Natural para a Lógica Proposicional Clássica criando página
- 16:21, 28 August 2020 diff hist +504 N Dedução Natural para a Lógica Proposicional Intuicionista criando página
- 16:20, 28 August 2020 diff hist +12 m Dedução Natural Tag: 2017 source edit
- 16:19, 28 August 2020 diff hist +31 m Estratégias de demonstração Tag: 2017 source edit
- 16:17, 28 August 2020 diff hist +1 m Estratégias de demonstração Tag: 2017 source edit
- 16:16, 28 August 2020 diff hist -1 m Estratégias de demonstração Tag: 2017 source edit
- 16:14, 28 August 2020 diff hist +616 N Exercícios de Dedução Natural criando página
- 16:12, 28 August 2020 diff hist +16 m Formalismos dedutivos Tag: 2017 source edit
- 16:03, 28 August 2020 diff hist +124 m Relação de consequência Tag: 2017 source edit
- 14:35, 28 August 2020 diff hist +63 m Relação de consequência Tag: 2017 source edit
- 14:27, 28 August 2020 diff hist +195 N Relação de consequência criando página
- 14:26, 28 August 2020 diff hist -1 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 14:24, 28 August 2020 diff hist +35 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 17:33, 27 August 2020 diff hist +13 m Dedução Natural Tag: 2017 source edit
- 17:33, 27 August 2020 diff hist +45 m Dedução Natural Tag: 2017 source edit
- 17:32, 27 August 2020 diff hist +31 m Dedução Natural Tag: 2017 source edit
- 17:31, 27 August 2020 diff hist +70 m Dedução Natural Tag: 2017 source edit
- 17:20, 27 August 2020 diff hist +51 m Dedução Natural Tag: 2017 source edit
- 17:14, 27 August 2020 diff hist +77 m Dedução Natural Tag: 2017 source edit
- 16:57, 27 August 2020 diff hist 0 m Dedução Natural Tag: 2017 source edit
- 16:53, 27 August 2020 diff hist -129 m Dedução Natural Tag: 2017 source edit
- 16:21, 27 August 2020 diff hist -131 m Dedução Natural Tag: 2017 source edit
- 16:18, 27 August 2020 diff hist -180 m Dedução Natural Tag: 2017 source edit
- 16:16, 27 August 2020 diff hist +125 m Dedução Natural Tag: 2017 source edit
- 22:16, 26 August 2020 diff hist -89 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 22:14, 26 August 2020 diff hist +46 N Fórmulas proposicionais redirect simples current Tag: New redirect
- 21:54, 26 August 2020 diff hist +23 m Modelos (lógica) Tag: 2017 source edit
- 21:48, 26 August 2020 diff hist +159 m Dedução Natural Tag: 2017 source edit
- 18:35, 26 August 2020 diff hist +18 m Estratégias de demonstração Tag: 2017 source edit
- 18:34, 26 August 2020 diff hist +47 m Estratégias de demonstração Tag: 2017 source edit
- 18:30, 26 August 2020 diff hist +15 m Estratégias de demonstração Tag: 2017 source edit
- 18:29, 26 August 2020 diff hist +101 m Estratégias de demonstração Tag: 2017 source edit
- 18:27, 26 August 2020 diff hist +21 m Estratégias de demonstração Tag: 2017 source edit
- 18:03, 26 August 2020 diff hist -11 m Estratégias de demonstração Tag: 2017 source edit
- 18:02, 26 August 2020 diff hist +15 m Estratégias de demonstração Tag: 2017 source edit
- 17:57, 26 August 2020 diff hist 0 m Estratégias de demonstração Tag: 2017 source edit
- 17:57, 26 August 2020 diff hist 0 m Estratégias de demonstração Tag: 2017 source edit
- 17:54, 26 August 2020 diff hist +1,516 N Estratégias de demonstração criando página
- 17:15, 26 August 2020 diff hist +122 m Dedução Natural Tag: 2017 source edit
- 14:55, 26 August 2020 diff hist 0 Dedução Natural Tag: 2017 source edit
- 14:54, 26 August 2020 diff hist -2 m Dedução Natural Tag: 2017 source edit
- 14:53, 26 August 2020 diff hist +63 m Dedução Natural Tag: 2017 source edit
- 14:50, 26 August 2020 diff hist -3 m Dedução Natural Tag: 2017 source edit
- 14:32, 26 August 2020 diff hist -6 m Dedução Natural Tag: 2017 source edit
- 14:31, 26 August 2020 diff hist +267 m Dedução Natural Tag: 2017 source edit
- 21:27, 25 August 2020 diff hist +4 m Dedução Natural Tag: 2017 source edit
- 21:21, 25 August 2020 diff hist +50 m Dedução Natural Tag: 2017 source edit
- 21:19, 25 August 2020 diff hist +229 m Dedução Natural Tag: 2017 source edit
- 19:30, 23 August 2020 diff hist +75 m Dedução Natural Tag: 2017 source edit
- 19:24, 23 August 2020 diff hist +6 m Dedução Natural Tag: 2017 source edit
- 19:19, 23 August 2020 diff hist +4 m Formalismos dedutivos Tag: 2017 source edit
- 19:18, 23 August 2020 diff hist -4 m Formalismos dedutivos Tag: 2017 source edit
- 19:17, 23 August 2020 diff hist -1 m Formalismos dedutivos Tag: 2017 source edit
- 19:15, 23 August 2020 diff hist -27 m Formalismos dedutivos Tag: 2017 source edit
- 19:14, 23 August 2020 diff hist +60 m Formalismos dedutivos Tag: 2017 source edit
- 19:03, 23 August 2020 diff hist +15 m Formalismos dedutivos Tag: 2017 source edit
- 14:10, 23 August 2020 diff hist +65 m Fórmulas de primeira ordem Tag: 2017 source edit
- 20:13, 22 August 2020 diff hist +156 N Sintaxe (lógica) criando verbete
- 20:11, 22 August 2020 diff hist +74 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 18:37, 22 August 2020 diff hist +10 m Formalismos dedutivos Tag: 2017 source edit
- 18:36, 22 August 2020 diff hist +135 N Formalismos dedutivos recriando página apagada por equívoco
- 18:35, 22 August 2020 diff hist +15 Dedução Natural Tag: 2017 source edit
- 18:35, 22 August 2020 diff hist +3 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 18:34, 22 August 2020 diff hist +47 Dedução Natural Tag: 2017 source edit
- 18:29, 22 August 2020 diff hist +75 N Modelos (lógica) criando verbete
- 18:28, 22 August 2020 diff hist +79 Dedução Natural Tag: 2017 source edit
- 18:03, 22 August 2020 diff hist +170 N Dedução Natural Created page with "* DN para Lógica Clássica Proposicional * DN para Lógica Clássica de Primeira Ordem == Para reflexão == * == Veja também == * == Links externos == *"
- 16:15, 22 August 2020 diff hist +99 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 16:13, 22 August 2020 diff hist +82 m Assinatura de primeira ordem Tag: 2017 source edit
- 16:08, 22 August 2020 diff hist +33 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 16:06, 22 August 2020 diff hist -285 m Introdução Computacional à Lógica Matemática Tag: 2017 source edit
- 15:55, 22 August 2020 diff hist +379 Introdução Computacional à Lógica Matemática reestruturação da página Tag: 2017 source edit
- 22:15, 21 August 2020 diff hist +25 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 22:14, 21 August 2020 diff hist +58 m Fórmulas de primeira ordem Tag: 2017 source edit
- 22:13, 21 August 2020 diff hist +33 m Termos de primeira ordem Tag: 2017 source edit
- 22:13, 21 August 2020 diff hist +25 m Termos de primeira ordem Tag: 2017 source edit
- 22:13, 21 August 2020 diff hist +25 m Assinatura de primeira ordem Tag: 2017 source edit
- 21:55, 21 August 2020 diff hist +183 N Definição recursiva da linguagem proposicional Created page with "* Como um conjunto indutivamente definido [VIDEO] * Como uma álgebra absolutamente livre [VIDEO] == Para reflexão == * == Veja também == * Sintaxe da Lógica Proposi..."
- 21:49, 21 August 2020 diff hist +56 N Fórmulas de primeira ordem Created page with "[VIDEO] == Para reflexão == * == Veja também == *"
- 21:49, 21 August 2020 diff hist +49 m Termos de primeira ordem Tag: 2017 source edit
- 21:49, 21 August 2020 diff hist +7 N Termos de primeira ordem Created page with "[VIDEO]"
- 21:47, 21 August 2020 diff hist +123 m Assinatura de primeira ordem Tag: 2017 source edit
- 20:18, 21 August 2020 diff hist -6 m Assinatura de primeira ordem Tag: 2017 source edit
- 20:16, 21 August 2020 diff hist +8 m Assinatura de primeira ordem Tag: 2017 source edit
- 20:16, 21 August 2020 diff hist +103 N Assinatura de primeira ordem versão 0
- 01:19, 21 August 2020 diff hist +608 N Editing tricks some code to copy-paste
- 00:11, 21 August 2020 diff hist +40 N Introdução Computacional à Lógica Matemática adding links
- 18:26, 18 August 2020 diff hist +53 N Fundamentos Matemáticos da Computação 3 link to FMC3c