User contributions
Jump to navigation
Jump to search
- 16:22, 26 September 2020 diff hist -2 m Exercícios de Dedução Natural Tag: 2017 source edit
- 16:18, 26 September 2020 diff hist +1 m Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 16:17, 26 September 2020 diff hist +95 m Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 16:13, 26 September 2020 diff hist +309 m Correção e completude Tag: 2017 source edit
- 15:24, 26 September 2020 diff hist +122 m Exercícios de Dedução Natural →Para reflexão Tag: 2017 source edit
- 15:20, 26 September 2020 diff hist +16 m Exercícios de Dedução Natural →Para reflexão Tag: 2017 source edit
- 15:18, 26 September 2020 diff hist -2 m Exercícios de Dedução Natural →Para reflexão Tag: 2017 source edit
- 15:15, 26 September 2020 diff hist +807 Exercícios de Dedução Natural Tag: 2017 source edit
- 14:01, 26 September 2020 diff hist +60 m Exercícios de semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 13:06, 26 September 2020 diff hist +4 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:05, 26 September 2020 diff hist +47 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 13:02, 26 September 2020 diff hist +10 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 13:01, 26 September 2020 diff hist +23 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 12:56, 26 September 2020 diff hist -12 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 12:51, 26 September 2020 diff hist -36 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 12:02, 26 September 2020 diff hist +6 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 12:01, 26 September 2020 diff hist +262 Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 11:54, 26 September 2020 diff hist +50 Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 11:49, 26 September 2020 diff hist +86 m Fórmulas de primeira ordem Tag: 2017 source edit
- 11:49, 26 September 2020 diff hist +86 m Termos de primeira ordem Tag: 2017 source edit
- 11:47, 26 September 2020 diff hist +4 m Assinatura de primeira ordem
- 11:22, 26 September 2020 diff hist +194 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 03:00, 26 September 2020 diff hist -8 Quantificadores Tag: 2017 source edit
- 02:59, 26 September 2020 diff hist +423 N Quantificadores criando página
- 02:45, 26 September 2020 diff hist +20 m Correção e completude para a Lógica Proposicional Clássica vídeo adicionado Tag: 2017 source edit
- 02:35, 26 September 2020 diff hist +22 m Semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 01:15, 26 September 2020 diff hist +128 m Correção e completude vídeo adicionado Tag: 2017 source edit
- 04:05, 25 September 2020 diff hist +40 Acarretamento vídeo adicionado Tag: 2017 source edit
- 00:39, 24 September 2020 diff hist +20 Semântica formal para a Lógica Proposicional Clássica vídeo adicionado Tag: 2017 source edit
- 23:56, 23 September 2020 diff hist +40 Acarretamento vídeo adicionado Tag: 2017 source edit
- 23:35, 22 September 2020 diff hist +3 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 23:34, 22 September 2020 diff hist +315 Semântica formal para a Lógica Proposicional Clássica vídeo adicionado Tag: 2017 source edit
- 23:34, 22 September 2020 diff hist +39 m Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 22:15, 21 September 2020 diff hist -29 m Exercícios de Dedução Natural Tag: 2017 source edit
- 22:11, 21 September 2020 diff hist +6 m Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 22:10, 21 September 2020 diff hist +4 m Fórmulas de primeira ordem Tag: 2017 source edit
- 22:09, 21 September 2020 diff hist +33 m Correção e completude Tag: 2017 source edit
- 22:08, 21 September 2020 diff hist -33 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 22:07, 21 September 2020 diff hist -6 m Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 22:04, 21 September 2020 diff hist +1 m Modelos (lógica) Tag: 2017 source edit
- 21:57, 21 September 2020 diff hist +20 Relação de consequência vídeo adicionado
- 01:53, 21 September 2020 diff hist +117 Relação de consequência vídeo adicionado Tag: 2017 source edit
- 23:54, 20 September 2020 diff hist +20 m Semântica formal para a Lógica Proposicional Clássica acrescentando video Tag: 2017 source edit
- 23:53, 20 September 2020 diff hist +20 Dedução Natural para a Lógica Proposicional Intuicionista acrescentando video Tag: 2017 source edit
- 23:49, 20 September 2020 diff hist +20 Relação de consequência adicionando video Tag: 2017 source edit
- 23:24, 20 September 2020 diff hist +20 Dedução Natural acrescentando video Tag: 2017 source edit
- 01:13, 20 September 2020 diff hist +7 Relação de consequência Tag: 2017 source edit
- 01:09, 20 September 2020 diff hist +155 m Relação de consequência Tag: 2017 source edit
- 01:08, 20 September 2020 diff hist -6 Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 01:06, 20 September 2020 diff hist +11 m Semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit