User contributions
Jump to navigation
Jump to search
- 16:04, 25 September 2020 diff hist +10 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 15:49, 25 September 2020 diff hist +4 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 15:49, 25 September 2020 diff hist +5 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 15:48, 25 September 2020 diff hist +1 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 15:48, 25 September 2020 diff hist +59 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 02:36, 19 September 2020 diff hist 0 Exercícios de Dedução Natural →\vdash (\alpha \to \beta) \lor (\beta \to \alpha), via terceiro excluído Tag: 2017 source edit
- 02:33, 19 September 2020 diff hist 0 Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 02:30, 19 September 2020 diff hist +268 Exercícios de Dedução Natural Tag: 2017 source edit
- 02:18, 19 September 2020 diff hist 0 Exercícios de Dedução Natural Tag: 2017 source edit
- 02:15, 19 September 2020 diff hist +282 Exercícios de Dedução Natural Tag: 2017 source edit
- 02:53, 16 September 2020 diff hist +1 Exercícios de Dedução Natural Tag: 2017 source edit
- 23:21, 15 September 2020 diff hist +41 Exercícios de Dedução Natural Tag: 2017 source edit
- 23:19, 15 September 2020 diff hist +9 Exercícios de Dedução Natural →Derivabilidade de sequentes Tag: 2017 source edit
- 22:56, 15 September 2020 diff hist +346 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 22:50, 15 September 2020 diff hist +28 Exercícios de Dedução Natural Tag: 2017 source edit
- 22:48, 15 September 2020 diff hist +180 Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 22:45, 15 September 2020 diff hist +31 Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 22:44, 15 September 2020 diff hist +99 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 22:39, 15 September 2020 diff hist +7 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 15:41, 15 September 2020 diff hist +117 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 15:08, 15 September 2020 diff hist -1 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 15:07, 15 September 2020 diff hist +7 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista
- 14:21, 15 September 2020 diff hist +6 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 14:16, 15 September 2020 diff hist +133 Exercícios de Dedução Natural Tag: 2017 source edit
- 13:26, 14 September 2020 diff hist +1 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 13:24, 14 September 2020 diff hist +610 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 13:20, 14 September 2020 diff hist +108 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 12:31, 14 September 2020 diff hist +7 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 12:30, 14 September 2020 diff hist +388 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 12:06, 14 September 2020 diff hist +290 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 11:55, 14 September 2020 diff hist +444 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 11:50, 14 September 2020 diff hist +9 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 11:49, 14 September 2020 diff hist +123 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 18:02, 13 September 2020 diff hist +14 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:53, 13 September 2020 diff hist 0 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:52, 13 September 2020 diff hist +65 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:49, 13 September 2020 diff hist -12 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:48, 13 September 2020 diff hist +83 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:46, 13 September 2020 diff hist +97 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:44, 13 September 2020 diff hist -4 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:43, 13 September 2020 diff hist 0 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:41, 13 September 2020 diff hist +8 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:40, 13 September 2020 diff hist 0 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:39, 13 September 2020 diff hist -6 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:37, 13 September 2020 diff hist +7 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:36, 13 September 2020 diff hist +22 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:31, 13 September 2020 diff hist +37 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:24, 13 September 2020 diff hist +1 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:22, 13 September 2020 diff hist -10 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:21, 13 September 2020 diff hist +100 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
