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