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 20:02, 16 September 2020
, 20:02, 16 September 2020no edit summary
* '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!--
--><p>[VIDEO]</p>
* Noção de '''satisfação''' ''para predicados e para sentenças com quantificadoresfórmulas relacionais''<!--
--><p>[VIDEO]</p>
* Noção de '''satisfação''' ''para fórmulasquantificadas'', com ênfase no caso das fórmulas quantificadas<!--
--><p>[VIDEO]</p>
