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