Changes

Jump to navigation Jump to search

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

Revision as of 15:16, 6 October 2020

6 bytes added ,  15:16, 6 October 2020
no edit summary
== Noções de acarretamento associadas ==
* '''Consequência semântica ''' para a Lógica de Primeira Ordem Clássica<!--
--><p>VIDEO</p>
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1427"

Navigation menu