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

Navigation menu