525
edits
Changes
Jump to navigation
Jump to search
Semântica formal para a lógica de primeira ordem (view source)
Revision as of 16:37, 6 October 2020
, 16:37, 6 October 2020no edit summary
* Da '''verdade''' e da '''falsidade''''' de fórmulas '' em uma estrutura de interpretação específica<!--
--><p>{{#ev:youtube|j41Sw3dJ1rU}}</p>
* Da '''validade ''' global ''de um sequente'', e da validade de um sequente em uma estrutura de interpretação específica<!--
--><p>[VIDEO]</p>
