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 13:06, 26 September 2020
, 13:06, 26 September 2020no edit summary
* Noção de '''satisfação''' ''para fórmulas quantificadas''<!--
--><p>[VIDEO]</p>
* Interpretação da '''igualdade''' como a ''identidade''<!--
--><p>[VIDEO]</p>
