Page history
Jump to navigation
Jump to search
6 October 2020
26 September 2020
25 September 2020
no edit summary
+18
→Correção de regras
+4
→Correção de regras
-12
→\Gamma_1 \vdash \varphi \to \psi; \Gamma_2 \vdash \varphi / \Gamma_1,\Gamma_2 \vdash \psi
+173
no edit summary
+160
→Validade de sequentes
+147
→Validade de sequentes
→Validade de sequentes
+172
→\neg (r \leftrightarrow p) ▸ q \to \neg p
-17
→Validade de sequentes
+14
→Validade de sequentes
+10
→Validade de sequentes
+4
→Validade de sequentes
+5
→Validade de sequentes
+1
→Validade de sequentes
+59
