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

From Logic Wiki
Jump to navigation Jump to search
Tag: 2017 source edit
Tag: 2017 source edit
 
(13 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
== Validade global de sequentes ==
 
== Validade global de sequentes ==
  
−
=== <math> \exists x \forall y. \varphi </math> ▷ <math> \forall y \exists x. \varphi </math> ===
+
=== <math> (\exists x)(\forall y) \varphi </math> ▷ <math> (\forall y)(\exists x) \varphi </math> ===
 
: {{#ev:youtube|7ihfZ4wlgFw|||||start=328&loop=1}}
 
: {{#ev:youtube|7ihfZ4wlgFw|||||start=328&loop=1}}
  
−
=== <math> \forall y \exists x. \varphi </math> ▶ <math> \exists x \forall y. \varphi </math> ===
+
=== <math> (\forall y)(\exists x) \varphi </math> ▶ <math> (\exists x)(\forall y) \varphi </math> ===
 
: {{#ev:youtube|7ihfZ4wlgFw|||||start=563&loop=1}}
 
: {{#ev:youtube|7ihfZ4wlgFw|||||start=563&loop=1}}
  
−
=== <math> (\forall x : P)\varphi </math> ◁▷ <math> \neg(\exists x : P) \neg\varphi </math> ===
+
=== <math> (\forall x{:}P)\varphi </math> ◁▷ <math> \neg(\exists x{:}P) \neg\varphi </math> ===
 
: {{#ev:youtube|H3HhormBWr8|||||start=450&loop=1}}
 
: {{#ev:youtube|H3HhormBWr8|||||start=450&loop=1}}
  
−
== Validade de sequentes em uma interpretação fixa ==
+
===<math> (\forall x)(\varphi \to \psi) </math> ▷ <math> (\forall x)\varphi \to (\forall x)\psi </math> ===
 +
: {{#ev:youtube|8LKRvIX3KkY|||||start=519&loop=1}}
  
−
*
+
=== <math> (\forall x)\varphi \to (\forall x)\psi </math> ▶ <math> (\forall x)(\varphi \to \psi) </math> ===
 +
: {{#ev:youtube|8LKRvIX3KkY|||||start=624&loop=1}}
 +
 
 +
== Validade de sequentes em interpretações particulares ==
 +
 
 +
=== <math> w \approx x \mathsf{f} (y \mathsf{g} z) </math> ▷<math>^{\mathfrak{I}} w \approx (x \mathsf{f} y) \mathsf{g} (x \mathsf{f} z) </math> ===
 +
: {{#ev:youtube|8LKRvIX3KkY|||||start=1087&loop=1}}
  
 
== Correção de regras ==
 
== Correção de regras ==
Line 18: Line 25:
 
=== Regras para o símbolo de igualdade ===
 
=== Regras para o símbolo de igualdade ===
 
: {{#ev:youtube|RTlRlxsRzjA|||||start=239&loop=1}}
 
: {{#ev:youtube|RTlRlxsRzjA|||||start=239&loop=1}}
 +
 +
=== <math>\mathrm{(\forall E)} \Gamma \vdash (\forall x)\varphi / \Gamma \vdash \varphi[x \mapsto t]</math> ===
 +
: {{#ev:youtube|zRZmfBlAiv0|||||start=490&loop=1}}
 +
 +
=== <math>\mathrm{(\forall I)} \Gamma \vdash \varphi[x \mapsto y] / \Gamma \vdash (\forall x)\varphi </math> ===
 +
: {{#ev:youtube|zRZmfBlAiv0|||||start=721&loop=1}}
  
 
== Para reflexão ==
 
== Para reflexão ==
Line 29: Line 42:
 
== Links externos ==
 
== Links externos ==
  
−
*
+
* [http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem Lógica de Primeira Ordem]
 +
* [http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_%28l%C3%B3gica%29 Interpretação (lógica)]
 +
* [http://pt.wikipedia.org/wiki/Valora%C3%A7%C3%A3o_%28l%C3%B3gica%29 Valoração (lógica)]

Latest revision as of 10:48, 17 October 2020

Contents

Validade global de sequentes

▷

▶

◁▷

▷

▶

Validade de sequentes em interpretações particulares

▷

Correção de regras

Regras para o símbolo de igualdade

Para reflexão

Veja também

Links externos

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php?title=Exercícios_de_semântica_formal_para_a_Lógica_de_Primeira_Ordem_Clássica&oldid=1496"