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

Revision as of 17:03, 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

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

Para reflexão

Veja também

Links externos

@@ Line 12: / Line 12: @@
 == Correção de regras ==
-*
+=== <math> \Gamma_1 \vdash \varphi \to \psi; \Gamma_2 \vdash \varphi / \Gamma_1,\Gamma_2 \vdash \psi </math> ===
+<!---->{{#ev:youtube|bIxOFR0elFo|||||start=220}}
 == Para reflexão ==

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

Revision as of 17:03, 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

$\Gamma _{1}\vdash \varphi \to \psi ;\Gamma _{2}\vdash \varphi /\Gamma _{1},\Gamma _{2}\vdash \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:03, 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

Γ 1 ⊢ φ → ψ ; Γ 2 ⊢ φ / Γ 1 , Γ 2 ⊢ ψ {\displaystyle \Gamma _{1}\vdash \varphi \to \psi ;\Gamma _{2}\vdash \varphi /\Gamma _{1},\Gamma _{2}\vdash \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$

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