User contributions
Jump to navigation
Jump to search
- 00:23, 6 October 2020 diff hist +118 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →Correção de regras Tag: 2017 source edit
- 17:09, 25 September 2020 diff hist +18 Exercícios de semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:08, 25 September 2020 diff hist +4 Exercícios de semântica formal para a Lógica Proposicional Clássica →Correção de regras Tag: 2017 source edit
- 17:08, 25 September 2020 diff hist -12 Exercícios de semântica formal para a Lógica Proposicional Clássica →Correção de regras Tag: 2017 source edit
- 17:07, 25 September 2020 diff hist +173 Exercícios de semântica formal para a Lógica Proposicional Clássica →\Gamma_1 \vdash \varphi \to \psi; \Gamma_2 \vdash \varphi / \Gamma_1,\Gamma_2 \vdash \psi Tag: 2017 source edit
- 17:03, 25 September 2020 diff hist +160 Exercícios de semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 16:35, 25 September 2020 diff hist +147 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 16:19, 25 September 2020 diff hist 0 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 16:17, 25 September 2020 diff hist +172 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 16:11, 25 September 2020 diff hist -17 Exercícios de semântica formal para a Lógica Proposicional Clássica →\neg (r \leftrightarrow p) ▸ q \to \neg p Tag: 2017 source edit
- 16:10, 25 September 2020 diff hist +14 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 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
