Changes

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

Revision as of 00:23, 6 October 2020

118 bytes added , 00:23, 6 October 2020

→‎Correção de regras

== Correção de regras ==

* === Regras para a igualdade quando interpretada como a identidade ===: {{#ev:youtube|RTlRlxsRzjA|||||start=239&loop=1}}

== Para reflexão ==

111

edits

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1328"