Difference between revisions of "Modelos (lógica)"

Revision as of 13:13, 6 October 2020

Revision as of 22:04, 21 September 2020 (view source) Jmarcos (talk \| contribs) m Tag: 2017 source edit ← Older edit		Revision as of 13:13, 6 October 2020 (view source) Jmarcos (talk \| contribs) Tag: 2017 source edit Newer edit →
Line 1:		Line 1:
−	* [[Semântica formal para a ~~Lógica Proposicional~~]]	+	* [[Semântica formal para a lógica proposicional]]
	* [[Semântica formal para a Lógica de Primeira Ordem]]		* [[Semântica formal para a Lógica de Primeira Ordem]]