User contributions
Jump to navigation
Jump to search
- 13:44, 6 October 2020 diff hist +56 Dedução Natural para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:44, 6 October 2020 diff hist +56 Dedução Natural para a Lógica de Primeira Ordem Intuicionista Tag: 2017 source edit
- 13:44, 6 October 2020 diff hist +53 Correção e completude para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:42, 6 October 2020 diff hist +56 Quantificadores Tag: 2017 source edit
- 13:41, 6 October 2020 diff hist -310 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:39, 6 October 2020 diff hist -1 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:39, 6 October 2020 diff hist +56 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:38, 6 October 2020 diff hist -11 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 13:38, 6 October 2020 diff hist +53 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 13:37, 6 October 2020 diff hist +148 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 13:37, 6 October 2020 diff hist -148 Acarretamento Tag: 2017 source edit
- 13:36, 6 October 2020 diff hist -182 Acarretamento Tag: 2017 source edit
- 13:36, 6 October 2020 diff hist -11 Semântica formal para a lógica proposicional Tag: 2017 source edit
- 13:35, 6 October 2020 diff hist +182 Semântica formal para a lógica proposicional Tag: 2017 source edit
- 13:28, 6 October 2020 diff hist +60 Correção e completude Tag: 2017 source edit
- 13:28, 6 October 2020 diff hist +56 Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 13:26, 6 October 2020 diff hist +56 Fórmulas de primeira ordem current Tag: 2017 source edit
- 13:25, 6 October 2020 diff hist +56 Termos de primeira ordem current Tag: 2017 source edit
- 13:25, 6 October 2020 diff hist +56 Assinatura de primeira ordem current Tag: 2017 source edit
- 13:24, 6 October 2020 diff hist +39 Sintaxe da lógica de primeira ordem Tag: 2017 source edit