Lógica paraconsistente
Origem: Wikipédia, a enciclopédia livre.
Atenção: Esta página foi marcada para revisão!
Se tem algum conhecimento sobre este assunto, por favor verifique a consistência e o rigor deste artigo.
Se tem algum conhecimento sobre este assunto, por favor verifique a consistência e o rigor deste artigo.
Lógica paraconsistente é
Em sistemas lógicos paraconsistentes a existência de proposições contraditórias não implica na trivialidade dos sistemas. As implicações destes sistemas lógicos têm importância acadêmica e prática tanto para os fundamentos quanto para as aplicações de ciências como direito, matemática, física e engenharia.
