Changes

Semântica formal para a Lógica de Primeira Ordem Clássica (view source)

Revision as of 17:19, 7 October 2020

14 bytes added , 17:19, 7 October 2020

no edit summary

* '''Consequência semântica''' para a Lógica de Primeira Ordem Clássica<!--

--><p>ver [~~VIDEO~~[Acarretamento]]</p>

== Para reflexão ==

525

edits

Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1439"