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