Difference between revisions of "Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica"
Jump to navigation
Jump to search
(criando verbete) |
Tag: 2017 source edit |
||
| Line 9: | Line 9: | ||
== 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 == | == Para reflexão == | ||
