Difference between revisions of "Exercícios de semântica formal para a Lógica Proposicional Clássica"

Revision as of 17:08, 25 September 2020

Validade de sequentes

$\neg (r\leftrightarrow p)$ ▶ $q\to \neg p$

$(p\land q)\to r$ ▶ $q\to \neg p$

$\neg (r\leftrightarrow p),(p\land q)\to r$ ▷ $q\to \neg p$

Correção de regras

$(\to E)\Gamma _{1}\vdash \varphi \to \psi ;\Gamma _{2}\vdash \varphi \,/\,\Gamma _{1},\Gamma _{2}\vdash \psi$

$(\to I)\Gamma _{1},\varphi \vdash \psi \,/\,\Gamma \vdash \varphi \to \psi$

Para reflexão

Veja também

Links externos

@@ Line 12: / Line 12: @@
 == Correção de regras ==
-=== <math> (\to E) \Gamma_1 \vdash \varphi \to \psi; \Gamma_2 \vdash \varphi \quad / \quad \Gamma_1,\Gamma_2 \vdash \psi </math> ===
+=== <math> (\to E) \Gamma_1 \vdash \varphi \to \psi; \Gamma_2 \vdash \varphi \, / \, \Gamma_1,\Gamma_2 \vdash \psi </math> ===
 <!---->{{#ev:youtube|bIxOFR0elFo|||||start=220}}
-=== <math> (\to I) \Gamma_1, \varphi \vdash \psi \quad / \quad \Gamma \vdash \varphi\to\psi </math> ===
+=== <math> (\to I) \Gamma_1, \varphi \vdash \psi \, / \, \Gamma \vdash \varphi\to\psi </math> ===
 <!---->{{#ev:youtube|bIxOFR0elFo|||||start=348}}

Difference between revisions of "Exercícios de semântica formal para a Lógica Proposicional Clássica"

Revision as of 17:08, 25 September 2020

Contents

Validade de sequentes

$\neg (r\leftrightarrow p)$ ▶ $q\to \neg p$

$(p\land q)\to r$ ▶ $q\to \neg p$

$\neg (r\leftrightarrow p),(p\land q)\to r$ ▷ $q\to \neg p$

Correção de regras

$(\to E)\Gamma _{1}\vdash \varphi \to \psi ;\Gamma _{2}\vdash \varphi \,/\,\Gamma _{1},\Gamma _{2}\vdash \psi$

$(\to I)\Gamma _{1},\varphi \vdash \psi \,/\,\Gamma \vdash \varphi \to \psi$

Para reflexão

Veja também

Links externos

Navigation menu

Personal tools

Namespaces

Variants

Views

More

Search

Navigation

Tools

Difference between revisions of "Exercícios de semântica formal para a Lógica Proposicional Clássica"

Revision as of 17:08, 25 September 2020

Contents

Validade de sequentes

¬ ( r ↔ p ) {\displaystyle \neg (r\leftrightarrow p)} ▶ q → ¬ p {\displaystyle q\to \neg p}

( p ∧ q ) → r {\displaystyle (p\land q)\to r} ▶ q → ¬ p {\displaystyle q\to \neg p}

¬ ( r ↔ p ) , ( p ∧ q ) → r {\displaystyle \neg (r\leftrightarrow p),(p\land q)\to r} ▷ q → ¬ p {\displaystyle q\to \neg p}

Correção de regras

( → E ) Γ 1 ⊢ φ → ψ ; Γ 2 ⊢ φ / Γ 1 , Γ 2 ⊢ ψ {\displaystyle (\to E)\Gamma _{1}\vdash \varphi \to \psi ;\Gamma _{2}\vdash \varphi \,/\,\Gamma _{1},\Gamma _{2}\vdash \psi }

( → I ) Γ 1 , φ ⊢ ψ / Γ ⊢ φ → ψ {\displaystyle (\to I)\Gamma _{1},\varphi \vdash \psi \,/\,\Gamma \vdash \varphi \to \psi }

Para reflexão

Veja também

Links externos

Navigation menu

Search

$\neg (r\leftrightarrow p)$ ▶ $q\to \neg p$

$(p\land q)\to r$ ▶ $q\to \neg p$

$\neg (r\leftrightarrow p),(p\land q)\to r$ ▷ $q\to \neg p$

$(\to E)\Gamma _{1}\vdash \varphi \to \psi ;\Gamma _{2}\vdash \varphi \,/\,\Gamma _{1},\Gamma _{2}\vdash \psi$

$(\to I)\Gamma _{1},\varphi \vdash \psi \,/\,\Gamma \vdash \varphi \to \psi$