11
Lógica
UMG
11
Lógica
UNOPAR
2
Lógica
UNOPAR
2
Lógica
UNOPAR
2
Lógica
UNOPAR
5
Lógica
UNIP
11
Lógica
UMG
2
Lógica
UNOPAR
4
Lógica
UNIP
4
Lógica
UMG
Texto de pré-visualização
((1) ¬(p1→p2)→(¬p2→¬p1))\n(2) (p1→p2)\n(3) ¬(p2→¬p1)\n(4) (¬p2)\n(5) (¬p1)\n(6) P1\n(7) ¬⊥\n(8) ¬P1\n(9) P2\n(1) X1\n(2) X3\n(n) Xa\n(n+1)→¬X ((1) ¬(¬p1))\n(2) P1\n(3) P1→P2\n(4) ¬P2\n(5) ¬P1\n(6) P2\nFórmula de Γ\nFórmula de Γ (1) ¬((∀x)P(x) → (∃x)P(x))\n(2) (∀x)P(a) regra α em (1)\n(3) ¬(∃x)P(x) regra α em (1)\n(4) P(k1) regra γ em (2)\n(5) ¬P(d1) regra γ em (3)\n×
11
Lógica
UMG
11
Lógica
UNOPAR
2
Lógica
UNOPAR
2
Lógica
UNOPAR
2
Lógica
UNOPAR
5
Lógica
UNIP
11
Lógica
UMG
2
Lógica
UNOPAR
4
Lógica
UNIP
4
Lógica
UMG
Texto de pré-visualização
((1) ¬(p1→p2)→(¬p2→¬p1))\n(2) (p1→p2)\n(3) ¬(p2→¬p1)\n(4) (¬p2)\n(5) (¬p1)\n(6) P1\n(7) ¬⊥\n(8) ¬P1\n(9) P2\n(1) X1\n(2) X3\n(n) Xa\n(n+1)→¬X ((1) ¬(¬p1))\n(2) P1\n(3) P1→P2\n(4) ¬P2\n(5) ¬P1\n(6) P2\nFórmula de Γ\nFórmula de Γ (1) ¬((∀x)P(x) → (∃x)P(x))\n(2) (∀x)P(a) regra α em (1)\n(3) ¬(∃x)P(x) regra α em (1)\n(4) P(k1) regra γ em (2)\n(5) ¬P(d1) regra γ em (3)\n×