Changes

Jump to navigation Jump to search
m
no edit summary
* '''Denotações dos termos''' induzidos por uma assinatura de primeira ordem<!--
--><p>[VIDEO]</p>
* Noção de '''satisfação''' ''para fórmulas relacionais''induzidas por uma assinatura de primeira ordem<!--
--><p>[VIDEO]</p>
* Noção de '''satisfação''' ''para fórmulas quantificadas''<!--

Navigation menu