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
