Last 5 Pages Viewed: Semântica formal para a Lógica de Primei... » Special:MobileDiff/902 » Special:MobileDiff/263 » Special:MobileDiff/730 » Special:MobileDiff/1003

Changes

Jump to navigation Jump to search

Definição recursiva da linguagem proposicional (view source)

Revision as of 22:16, 26 August 2020

89 bytes removed ,  22:16, 26 August 2020
m
no edit summary
* Como um conjunto indutivamente definido via [[Has parent page::Sintaxe da Lógica Proposicional]]
[VIDEO]
* Como uma álgebra absolutamente livre
*
Conjunto indutivamente definido
== Veja também ==
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1003"

Navigation menu