User contributions
Jump to navigation
Jump to search
- 21:09, 8 October 2020 diff hist +272 Sintaxe da lógica de primeira ordem Tag: 2017 source edit
- 17:59, 7 October 2020 diff hist -30 Lógica de primeira ordem current Tag: 2017 source edit
- 17:53, 7 October 2020 diff hist +188 Dedução Natural →Para reflexão Tag: 2017 source edit
- 17:34, 7 October 2020 diff hist +1 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 17:19, 7 October 2020 diff hist +14 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 17:17, 7 October 2020 diff hist +49 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 17:10, 7 October 2020 diff hist +17 Acarretamento current Tag: 2017 source edit
- 17:10, 7 October 2020 diff hist +180 Acarretamento Tag: 2017 source edit
- 15:36, 7 October 2020 diff hist +20 Acarretamento Tag: 2017 source edit
- 19:28, 6 October 2020 diff hist +193 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 16:59, 6 October 2020 diff hist 0 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →(\forall x : P)\varphi ◁▷ \neg(\exists x : P) \neg\varphi Tag: 2017 source edit
- 16:42, 6 October 2020 diff hist +8 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 16:41, 6 October 2020 diff hist -26 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 16:37, 6 October 2020 diff hist +14 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 16:35, 6 October 2020 diff hist +132 Semântica formal para a lógica de primeira ordem Tag: 2017 source edit
- 15:17, 6 October 2020 diff hist +2 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 15:16, 6 October 2020 diff hist +6 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 15:15, 6 October 2020 diff hist +159 Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 14:59, 6 October 2020 diff hist -44 Quantificadores Tag: 2017 source edit
- 14:54, 6 October 2020 diff hist -10 Acarretamento Tag: 2017 source edit