525
edits
Changes
Semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 15:17, 6 October 2020
, 15:17, 6 October 2020no edit summary
* '''Consequência semântica''' para a Lógica de Primeira Ordem Clássica<!--
--><p>[VIDEO]</p>
== Para reflexão ==