525
edits
Changes
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 23:13, 13 October 2020
, 23:13, 13 October 2020→Validade de sequentes em uma interpretação fixa
== Validade de sequentes em uma interpretação fixa ==
=== <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}}