User contributions
17 October 2020
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+185
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+144
15 October 2020
Dedução Natural para a Lógica de Primeira Ordem Clássica
Links externos
+75
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
Links externos
+337
Dedução Natural
Links externos
+75
Quantificadores
Links externos
+260
Semântica formal para a Lógica de Primeira Ordem Clássica
Links externos
+281
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
Links externos
+281
Exercícios de Dedução Natural
Links externos
+142
Formalismos dedutivos
Links externos
+77
Formalismos dedutivos
Links externos
+146
Definição recursiva da linguagem proposicional
Links externos
+247
Sintaxe da lógica proposicional
Links externos
+10
Sintaxe da lógica proposicional
Links externos
+235
Relação de consequência
Links externos
+288
Semântica formal para a lógica de primeira ordem
Links externos
Semântica formal para a lógica de primeira ordem
Links externos
+1,124
Semântica formal para a lógica proposicional
Links externos
+672
Modelos (lógica)
Links externos
+72
14 October 2020
Exercícios de Dedução Natural
Dedução Natural para a Lógica de Primeira Ordem Clássica
+336
Exercícios de Dedução Natural
Derivabilidade de sequentes
+118
Exercícios de Dedução Natural
no edit summary
+158
12 October 2020
Exercícios de Dedução Natural
no edit summary
+258
Exercícios de Dedução Natural
no edit summary
+167
Exercícios de Dedução Natural
no edit summary
+176
Exercícios de Dedução Natural
no edit summary
+2
Exercícios de Dedução Natural
no edit summary
+3
Exercícios de Dedução Natural
no edit summary
+141
11 October 2020
Exercícios de Dedução Natural
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
+1
Exercícios de Dedução Natural
(\forall x) \varphi \land \psi \dashv\vdash (\forall x) \varphi \land (\forall x)\psi
+13
Exercícios de Dedução Natural
Derivabilidade de sequentes
+303
Exercícios de Dedução Natural
Dedução Natural para a Lógica de Primeira Ordem Intuicionista
+111
Exercícios de Dedução Natural
no edit summary
+176
8 October 2020
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+14
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
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)
-5
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
Validade global de sequentes
+162
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)
-1
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+169
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+141
7 October 2020
6 October 2020
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
-1
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
(\forall x : P)\varphi ◁▷ \not(\exists x : P). \varphi
+4
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
Validade global de sequentes
+149
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+30
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
-4
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
Validade global de sequentes
+142
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
no edit summary
+49
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
Validade global de sequentes
+85
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica
Regras para a igualdade quando interpretada como a identidade
-2