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
Tag: 2017 source edit |
Tag: 2017 source edit |
||
| Line 10: | Line 10: | ||
=== Regras para a igualdade quando interpretada como a identidade === | === Regras para a igualdade quando interpretada como a identidade === | ||
| − | + | {{#ev:youtube|RTlRlxsRzjA|||||start=239&loop=1}} | |
== Para reflexão == | == Para reflexão == | ||
