525
edits
Changes
Semântica formal para a lógica de primeira ordem (view source)
Revision as of 17:17, 7 October 2020
, 17:17, 7 October 2020no edit summary
* Da '''validade''' global ''de um sequente'', e da validade de um sequente em uma estrutura de interpretação específica<!--
--><p>[VIDEO]{{#ev:youtube|8LKRvIX3KkY|||||start=145&end=258&loop=1}}</p>
== Para reflexão ==