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
- 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
- 17:59, 7 October 2020 diff hist -114 Exercícios de Dedução Natural →Derivabilidade de sequentes
- 12:25, 6 October 2020 diff hist -1 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
- 12:23, 6 October 2020 diff hist +4 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →(\forall x : P)\varphi ◁▷ \not(\exists x : P). \varphi Tag: 2017 source edit
- 12:22, 6 October 2020 diff hist +149 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →Validade global de sequentes Tag: 2017 source edit
- 12:16, 6 October 2020 diff hist +30 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 12:15, 6 October 2020 diff hist -4 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 01:01, 6 October 2020 diff hist +142 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →Validade global de sequentes Tag: 2017 source edit
- 00:55, 6 October 2020 diff hist +49 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica Tag: 2017 source edit
- 00:51, 6 October 2020 diff hist +85 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →Validade global de sequentes Tag: 2017 source edit
- 00:24, 6 October 2020 diff hist -2 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →Regras para a igualdade quando interpretada como a identidade Tag: 2017 source edit
- 00:23, 6 October 2020 diff hist +118 Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica →Correção de regras Tag: 2017 source edit
- 17:09, 25 September 2020 diff hist +18 Exercícios de semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:08, 25 September 2020 diff hist +4 Exercícios de semântica formal para a Lógica Proposicional Clássica →Correção de regras Tag: 2017 source edit
- 17:08, 25 September 2020 diff hist -12 Exercícios de semântica formal para a Lógica Proposicional Clássica →Correção de regras Tag: 2017 source edit
- 17:07, 25 September 2020 diff hist +173 Exercícios de semântica formal para a Lógica Proposicional Clássica →\Gamma_1 \vdash \varphi \to \psi; \Gamma_2 \vdash \varphi / \Gamma_1,\Gamma_2 \vdash \psi Tag: 2017 source edit
- 17:03, 25 September 2020 diff hist +160 Exercícios de semântica formal para a Lógica Proposicional Clássica Tag: 2017 source edit
- 16:35, 25 September 2020 diff hist +147 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 16:19, 25 September 2020 diff hist 0 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 16:17, 25 September 2020 diff hist +172 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 16:11, 25 September 2020 diff hist -17 Exercícios de semântica formal para a Lógica Proposicional Clássica →\neg (r \leftrightarrow p) ▸ q \to \neg p Tag: 2017 source edit
- 16:10, 25 September 2020 diff hist +14 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 16:04, 25 September 2020 diff hist +10 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 15:49, 25 September 2020 diff hist +4 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 15:49, 25 September 2020 diff hist +5 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 15:48, 25 September 2020 diff hist +1 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 15:48, 25 September 2020 diff hist +59 Exercícios de semântica formal para a Lógica Proposicional Clássica →Validade de sequentes Tag: 2017 source edit
- 02:36, 19 September 2020 diff hist 0 Exercícios de Dedução Natural →\vdash (\alpha \to \beta) \lor (\beta \to \alpha), via terceiro excluído Tag: 2017 source edit
- 02:33, 19 September 2020 diff hist 0 Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 02:30, 19 September 2020 diff hist +268 Exercícios de Dedução Natural Tag: 2017 source edit
- 02:18, 19 September 2020 diff hist 0 Exercícios de Dedução Natural Tag: 2017 source edit
- 02:15, 19 September 2020 diff hist +282 Exercícios de Dedução Natural Tag: 2017 source edit
- 02:53, 16 September 2020 diff hist +1 Exercícios de Dedução Natural Tag: 2017 source edit
- 23:21, 15 September 2020 diff hist +41 Exercícios de Dedução Natural Tag: 2017 source edit
- 23:19, 15 September 2020 diff hist +9 Exercícios de Dedução Natural →Derivabilidade de sequentes Tag: 2017 source edit
- 22:56, 15 September 2020 diff hist +346 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 22:50, 15 September 2020 diff hist +28 Exercícios de Dedução Natural Tag: 2017 source edit
- 22:48, 15 September 2020 diff hist +180 Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 22:45, 15 September 2020 diff hist +31 Exercícios de Dedução Natural →Derivabilidade de regras Tag: 2017 source edit
- 22:44, 15 September 2020 diff hist +99 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 22:39, 15 September 2020 diff hist +7 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 15:41, 15 September 2020 diff hist +117 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 15:08, 15 September 2020 diff hist -1 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 15:07, 15 September 2020 diff hist +7 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista
- 14:21, 15 September 2020 diff hist +6 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 14:16, 15 September 2020 diff hist +133 Exercícios de Dedução Natural Tag: 2017 source edit
- 13:26, 14 September 2020 diff hist +1 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 13:24, 14 September 2020 diff hist +610 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 13:20, 14 September 2020 diff hist +108 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 12:31, 14 September 2020 diff hist +7 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 12:30, 14 September 2020 diff hist +388 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 12:06, 14 September 2020 diff hist +290 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 11:55, 14 September 2020 diff hist +444 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 11:50, 14 September 2020 diff hist +9 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 11:49, 14 September 2020 diff hist +123 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Intuicionista Tag: 2017 source edit
- 18:02, 13 September 2020 diff hist +14 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:53, 13 September 2020 diff hist 0 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:52, 13 September 2020 diff hist +65 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:49, 13 September 2020 diff hist -12 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:48, 13 September 2020 diff hist +83 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:46, 13 September 2020 diff hist +97 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:44, 13 September 2020 diff hist -4 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:43, 13 September 2020 diff hist 0 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:41, 13 September 2020 diff hist +8 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:40, 13 September 2020 diff hist 0 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:39, 13 September 2020 diff hist -6 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:37, 13 September 2020 diff hist +7 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:36, 13 September 2020 diff hist +22 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:31, 13 September 2020 diff hist +37 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:24, 13 September 2020 diff hist +1 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:22, 13 September 2020 diff hist -10 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit
- 17:21, 13 September 2020 diff hist +100 Exercícios de Dedução Natural →Dedução Natural para a Lógica Proposicional Clássica Tag: 2017 source edit