Changes

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

Revision as of 17:34, 7 October 2020

1 byte added , 17:34, 7 October 2020

no edit summary

== Noções de acarretamento associadas ==

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

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

525

edits

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