Changes

Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica (view source)

141 bytes added , 00:04, 8 October 2020

no edit summary

== Validade de sequentes em uma interpretação fixa ==

* === <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}}

== Correção de regras ==

111

edits