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..."