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

Latest revision as of 13:47, 6 October 2020

1 Validade de sequentes
2 Correção de regras
- 2.1 $(\to \mathrm {E} )\,\Gamma _{1}\vdash \varphi \to \psi ;\Gamma _{2}\vdash \varphi \,/\,\Gamma _{1},\Gamma _{2}\vdash \psi$
- 2.2 $(\to \mathrm {I} )\,\Gamma ,\varphi \vdash \psi \,/\,\Gamma \vdash \varphi \to \psi$
3 Para reflexão
4 Veja também
5 Links externos

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

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

Para reflexão

Veja também

Links externos

@@ Line 1: / Line 1: @@
 == Validade de sequentes ==
-=== <math>\neg (r \leftrightarrow p) \not\vdash q \to \neg p</math>
+=== <math>\neg (r \leftrightarrow p) </math> ▶ <math>q \to \neg p</math> ===
+: {{#ev:youtube|sS-teSnboTU|||||start=125}}
+=== <math> (p \land q) \to r </math> ▶ <math>q \to \neg p</math> ===
+: {{#ev:youtube|sS-teSnboTU|||||start=179}}
+=== <math> \neg (r \leftrightarrow p), (p \land q) \to r </math> ▷ <math>q \to \neg p</math> ===
+: {{#ev:youtube|sS-teSnboTU|||||start=210}}
 == Correção de regras ==
-*
+=== <math> (\to \mathrm{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 \mathrm{I}) \, \Gamma, \varphi \vdash \psi \, / \, \Gamma \vdash \varphi\to\psi </math> ===
+: {{#ev:youtube|bIxOFR0elFo|||||start=348}}
 == Para reflexão ==
@@ Line 13: / Line 24: @@
 == Veja também ==
-*
+* [[Semântica formal para a Lógica Proposicional Clássica]]
+* [[Introdução Computacional à Lógica Matemática]]
 == Links externos ==
 *

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

Latest revision as of 13:47, 6 October 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 \mathrm {E} )\,\Gamma _{1}\vdash \varphi \to \psi ;\Gamma _{2}\vdash \varphi \,/\,\Gamma _{1},\Gamma _{2}\vdash \psi$

$(\to \mathrm {I} )\,\Gamma ,\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"

Latest revision as of 13:47, 6 October 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 \mathrm {E} )\,\Gamma _{1}\vdash \varphi \to \psi ;\Gamma _{2}\vdash \varphi \,/\,\Gamma _{1},\Gamma _{2}\vdash \psi }

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

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