525
edits
Changes
Jump to navigation
Jump to search
m
Semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 23:00, 2 October 2020
, 23:00, 2 October 2020no edit summary
--><p>{{#ev:youtube|S4bDWqwCGZ4}}</p>
* Interpretação da '''igualdade''' como a ''identidade''<!--
--><p>[VIDEO]{{#ev:youtube|RTlRlxsRzjA}}</p>
== Noção de acarretamento associada ==
* O que você acha que deve mudar, na interpretação de fórmulas relacionais, no contexto de uma semântica para a ''Lógica de Primeira Ordem Intuicionista''? O que dizer, também, da interpretação de fórmulas quantificadas, nesta lógica? Por fim, como você acha que a relação de ''desigualdade'' poderia ser afetada, no caso intuicionista?
* Como você demonstraria a ''correção'' da regra de congruencialidade do símbolo de igualdade?
== Veja também ==
