111
edits
Changes
Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 00:43, 8 October 2020
, 00:43, 8 October 2020no edit summary
== Validade de sequentes em uma interpretação fixa ==
=== <math> w \approx x f (y g z) </math> ▷ <math> ^{\mathfrak{I}} w \approx (x f y) g (x f z) </math> ===
: {{#ev:youtube|8LKRvIX3KkY|||||start=1087&loop=1}}