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
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}}
  

Revision as of 16:42, 6 October 2020

Contents

Validade global de sequentes

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\exists x)(\forall y) \varphi } ▷ Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\forall y)(\exists x) \varphi }

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\forall y)(\exists x) \varphi } ▶ Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\exists x)(\forall y) \varphi }

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (\forall x : P)\varphi } ◁▷ Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \neg(\exists x : P) \neg\varphi }

Validade de sequentes em uma interpretação fixa

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=1432"