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