User contributions
Jump to navigation
Jump to search
- 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
