User contributions
Jump to navigation
Jump to search
- 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