User contributions
6 October 2020
25 September 2020
Exercícios de semântica formal para a Lógica Proposicional Clássica
no edit summary
+18
Exercícios de semântica formal para a Lógica Proposicional Clássica
Correção de regras
+4
Exercícios de semântica formal para a Lógica Proposicional Clássica
Correção de regras
-12
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
+173
Exercícios de semântica formal para a Lógica Proposicional Clássica
no edit summary
+160
Exercícios de semântica formal para a Lógica Proposicional Clássica
Validade de sequentes
+147
Exercícios de semântica formal para a Lógica Proposicional Clássica
Validade de sequentes
Exercícios de semântica formal para a Lógica Proposicional Clássica
Validade de sequentes
+172
Exercícios de semântica formal para a Lógica Proposicional Clássica
\neg (r \leftrightarrow p) ▸ q \to \neg p
-17
Exercícios de semântica formal para a Lógica Proposicional Clássica
Validade de sequentes
+14
Exercícios de semântica formal para a Lógica Proposicional Clássica
Validade de sequentes
+10
Exercícios de semântica formal para a Lógica Proposicional Clássica
Validade de sequentes
+4
Exercícios de semântica formal para a Lógica Proposicional Clássica
Validade de sequentes
+5
Exercícios de semântica formal para a Lógica Proposicional Clássica
Validade de sequentes
+1
Exercícios de semântica formal para a Lógica Proposicional Clássica
Validade de sequentes
+59
19 September 2020
Exercícios de Dedução Natural
\vdash (\alpha \to \beta) \lor (\beta \to \alpha), via terceiro excluído
Exercícios de Dedução Natural
Derivabilidade de regras
Exercícios de Dedução Natural
no edit summary
+268
Exercícios de Dedução Natural
no edit summary
Exercícios de Dedução Natural
no edit summary
+282
16 September 2020
15 September 2020
Exercícios de Dedução Natural
no edit summary
+41
Exercícios de Dedução Natural
Derivabilidade de sequentes
+9
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Clássica
+346
Exercícios de Dedução Natural
no edit summary
+28
Exercícios de Dedução Natural
Derivabilidade de regras
+180
Exercícios de Dedução Natural
Derivabilidade de regras
+31
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Clássica
+99
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Clássica
+7
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Intuicionista
+117
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Intuicionista
-1
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Intuicionista
+7
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Intuicionista
+6
Exercícios de Dedução Natural
no edit summary
+133
14 September 2020
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Intuicionista
+1
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Intuicionista
+610
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Intuicionista
+108
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Intuicionista
+7
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Intuicionista
+388
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Intuicionista
+290
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Intuicionista
+444
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Intuicionista
+9
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Intuicionista
+123
13 September 2020
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Clássica
+14
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Clássica
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Clássica
+65
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Clássica
-12
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Clássica
+83
Exercícios de Dedução Natural
Dedução Natural para a Lógica Proposicional Clássica
+97