User contributions
Jump to navigation
Jump to search
- 19:34, 14 October 2020 diff hist +118 Exercícios de Dedução Natural →Derivabilidade de sequentes Tag: 2017 source edit
- 19:17, 14 October 2020 diff hist +158 Exercícios de Dedução Natural
- 22:49, 12 October 2020 diff hist +258 Exercícios de Dedução Natural Tag: 2017 source edit
- 22:34, 12 October 2020 diff hist +167 Exercícios de Dedução Natural Tag: 2017 source edit
- 22:28, 12 October 2020 diff hist +176 Exercícios de Dedução Natural
- 17:14, 12 October 2020 diff hist +2 Exercícios de Dedução Natural Tag: 2017 source edit
- 17:10, 12 October 2020 diff hist +3 Exercícios de Dedução Natural Tag: 2017 source edit
- 17:08, 12 October 2020 diff hist +141 Exercícios de Dedução Natural Tag: 2017 source edit
- 15:31, 11 October 2020 diff hist +1 Exercícios de Dedução Natural →Dedução Natural para a Lógica de Primeira Ordem Intuicionista Tag: 2017 source edit
- 15:29, 11 October 2020 diff hist +13 Exercícios de Dedução Natural →(\forall x) \varphi \land \psi \dashv\vdash (\forall x) \varphi \land (\forall x)\psi Tag: 2017 source edit
- 15:27, 11 October 2020 diff hist +303 Exercícios de Dedução Natural →Derivabilidade de sequentes Tag: 2017 source edit
- 15:15, 11 October 2020 diff hist +111 Exercícios de Dedução Natural →Dedução Natural para a Lógica de Primeira Ordem Intuicionista Tag: 2017 source edit
- 15:06, 11 October 2020 diff hist +176 Exercícios de Dedução Natural Tag: 2017 source edit
- 00:43, 8 October 2020 diff hist +14 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 00:40, 8 October 2020 diff hist 0 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 00:36, 8 October 2020 diff hist -5 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →(\forall x)\varphi \to (\forall x)\psi ▶_{Sem} (\forall x)(\varphi \to \psi) Tag: 2017 source edit
- 00:36, 8 October 2020 diff hist +162 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →Validade global de sequentes Tag: 2017 source edit
- 00:33, 8 October 2020 diff hist -1 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →(\forall x)\varphi \to (\forall x)\psi ▶ _{Sem} (\forall x)(\varphi \to \psi) Tag: 2017 source edit
- 00:32, 8 October 2020 diff hist +169 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 00:04, 8 October 2020 diff hist +141 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit