Page history
23 July 2021
→Dedução Natural para a Lógica de Primeira Ordem Clássica
-11
→Dedução Natural para a Lógica de Primeira Ordem Intuicionista
m-11
15 October 2020
14 October 2020
→Dedução Natural para a Lógica de Primeira Ordem Clássica
+336
→Derivabilidade de sequentes
+118
no edit summary
+158
12 October 2020
no edit summary
+258
no edit summary
+167
no edit summary
+176
no edit summary
+2
no edit summary
+3
no edit summary
+141
11 October 2020
→Dedução Natural para a Lógica de Primeira Ordem Intuicionista
+1
→(\forall x) \varphi \land \psi \dashv\vdash (\forall x) \varphi \land (\forall x)\psi
+13
→Derivabilidade de sequentes
+303
→Dedução Natural para a Lógica de Primeira Ordem Intuicionista
+111
no edit summary
+176
10 October 2020
7 October 2020
6 October 2020
5 October 2020
26 September 2020
→Para reflexão
m+10
→Raciocínio por redução ao absurdo: \Gamma_1, \neg\varphi\vdash\neg\psi; \Gamma_2, \neg\varphi\vdash\psi \, / \, \Gamma_1, \Gamma_2 \vdash \varphi
mno edit summary
m-200
→Derivabilidade de regras
m+206
→Derivabilidade de regras
+4
no edit summary
m-2
→Derivabilidade de regras
m+1
→Derivabilidade de regras
m+95
→Para reflexão
m+122
→Para reflexão
m+16
→Para reflexão
m-2
no edit summary
+807
21 September 2020
19 September 2020
→\vdash (\alpha \to \beta) \lor (\beta \to \alpha), via terceiro excluído
→Derivabilidade de regras
no edit summary
+268
no edit summary
no edit summary
+282
16 September 2020
15 September 2020
no edit summary
+41
→Derivabilidade de sequentes
+9
→Dedução Natural para a Lógica Proposicional Clássica
+346
no edit summary
+28
→Derivabilidade de regras
+180
→Derivabilidade de regras
+31
→Dedução Natural para a Lógica Proposicional Clássica
+99
→Dedução Natural para a Lógica Proposicional Clássica
+7
→Dedução Natural para a Lógica Proposicional Intuicionista
+117