111
edits
Changes
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 00:36, 8 October 2020
, 00:36, 8 October 2020→(\forall x)\varphi \to (\forall x)\psi ▶_{Sem} (\forall x)(\varphi \to \psi)
: {{#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}}