111
edits
Changes
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 10:48, 17 October 2020
, 10:48, 17 October 2020no edit summary
: {{#ev:youtube|H3HhormBWr8|||||start=450&loop=1}}
===<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>_{Sem} (\forall x)(\varphi \to \psi) </math> ===
: {{#ev:youtube|8LKRvIX3KkY|||||start=624&loop=1}}
== Validade de sequentes em uma interpretação fixa 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}}
=== Regras para o símbolo de igualdade ===
: {{#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 ==
== 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)]