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