Changes

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

56 bytes added , 13:28, 6 October 2020

no edit summary

== Veja também ==

* [[Sintaxe da ~~Lógica Proposicional~~lógica proposicional]]

* [[Conjunto indutivamente definido]]

* [[Álgebra absolutamente livre]]

* [[Álgebra dos termos]]

* [[Introdução Computacional à Lógica Matemática]]

== Links externos ==

*

525

edits