User contributions
Jump to navigation
Jump to search
- 10:48, 17 October 2020 diff hist +185 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica current Tag: 2017 source edit
- 10:43, 17 October 2020 diff hist +144 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 21:02, 15 October 2020 diff hist +75 Dedução Natural para a Lógica de Primeira Ordem Clássica →Links externos current Tag: 2017 source edit
- 21:01, 15 October 2020 diff hist +337 Dedução Natural para a Lógica de Primeira Ordem Intuicionista →Links externos current Tag: 2017 source edit
- 20:59, 15 October 2020 diff hist +75 Dedução Natural →Links externos current Tag: 2017 source edit
- 20:56, 15 October 2020 diff hist +260 Quantificadores →Links externos current Tag: 2017 source edit
- 20:55, 15 October 2020 diff hist +281 Semântica formal para a Lógica de Primeira Ordem Clássica →Links externos Tag: 2017 source edit
- 20:53, 15 October 2020 diff hist +281 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →Links externos Tag: 2017 source edit
- 20:51, 15 October 2020 diff hist +142 Exercícios de Dedução Natural →Links externos
- 20:49, 15 October 2020 diff hist +77 Formalismos dedutivos →Links externos current Tag: 2017 source edit
- 20:48, 15 October 2020 diff hist +146 Formalismos dedutivos →Links externos Tag: 2017 source edit
- 20:43, 15 October 2020 diff hist +247 Definição recursiva da linguagem proposicional →Links externos current Tag: 2017 source edit
- 20:41, 15 October 2020 diff hist +10 Sintaxe da lógica proposicional →Links externos current Tag: 2017 source edit
- 20:41, 15 October 2020 diff hist +235 Sintaxe da lógica proposicional →Links externos Tag: 2017 source edit
- 20:38, 15 October 2020 diff hist +288 Relação de consequência →Links externos current Tag: 2017 source edit
- 20:37, 15 October 2020 diff hist 0 Semântica formal para a lógica de primeira ordem →Links externos current Tag: 2017 source edit
- 20:36, 15 October 2020 diff hist +1,124 Semântica formal para a lógica de primeira ordem →Links externos Tag: 2017 source edit
- 20:30, 15 October 2020 diff hist +672 Semântica formal para a lógica proposicional →Links externos current Tag: 2017 source edit
- 20:19, 15 October 2020 diff hist +72 Modelos (lógica) →Links externos current Tag: 2017 source edit
- 19:52, 14 October 2020 diff hist +336 Exercícios de Dedução Natural →Dedução Natural para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit