Changes

Jump to navigation Jump to search

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 ==
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1439"

Navigation menu