Difference between revisions of "Introdução Computacional à Lógica Matemática"

Revision as of 14:26, 28 August 2020

Revision as of 14:24, 28 August 2020 (view source) Jmarcos (talk \| contribs) m Tag: 2017 source edit ← Older edit		Revision as of 14:26, 28 August 2020 (view source) Jmarcos (talk \| contribs) m Tag: 2017 source edit Newer edit →
Line 1:		Line 1:
−	* [[~~Relações~~ de ~~Consequência~~]]	+	* [[Relação de consequência]]

	* [[Lógica Proposicional]]		* [[Lógica Proposicional]]