525
edits
Changes
Jump to navigation
Jump to search
Semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 00:36, 29 September 2020
, 00:36, 29 September 2020vídeo adicionado
--><p>{{#ev:youtube|WU57rb6AGRE}}</p>
* '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!--
--><p>[VIDEO]{{#ev:youtube|LO4CZ6yvqfE}}</p>
* Noção de '''satisfação''' ''para fórmulas relacionais'' induzidas por uma assinatura de primeira ordem<!--
--><p>[VIDEO]</p>
