Page history
17 October 2020
15 October 2020
13 October 2020
→Validade de sequentes em uma interpretação fixa
m+5
→Validade de sequentes em uma interpretação fixa
m+45
8 October 2020
no edit summary
+14
no edit summary
→(\forall x)\varphi \to (\forall x)\psi ▶_{Sem} (\forall x)(\varphi \to \psi)
-5
→Validade global de sequentes
+162
→(\forall x)\varphi \to (\forall x)\psi ▶ _{Sem} (\forall x)(\varphi \to \psi)
-1
no edit summary
+169
no edit summary
+141
6 October 2020
→(\forall x : P)\varphi ◁▷ \neg(\exists x : P) \neg\varphi
no edit summary
+8
no edit summary
-26
→Veja também
+53
→(\forall x : P)\varphi ◁▷ \neg(\exists x : P). \neg\varphi
-1
→(\forall x : P)\varphi ◁▷ \not(\exists x : P). \varphi
+4
→Validade global de sequentes
+149
no edit summary
+30
no edit summary
-4
→Validade global de sequentes
+142
no edit summary
+49
→Validade global de sequentes
+85
→Regras para a igualdade quando interpretada como a identidade
-2
→Correção de regras
+118