Arquivo

Archive for novembro \08\UTC 2009

Teoremas da Lógica

novembro 8, 2009 Deixe um comentário
Os teoremas e lemas a seguir foram retirados exclusivamente de:
Shapiro, Stewart, "Classical Logic", The Stanford Encyclopedia of Philosophy
(Winter 2009 Edition), Edward N. Zalta (ed.)
http://plato.stanford.edu/entries/logic-classical/

Leia mais…

Anúncios
Categorias:Lógica Matemática

Regras de inferência – parte II

novembro 7, 2009 6 comentários

Regras de inferência são regras sintáticas que produzem enunciados válidos em um sistema formal. A partir de um conjunto de proposições podemos derivar outras seguindo estas regras. No artigo “Regras de Inferência” foram apresentadas as 10 regras de inferência básicas, e neste presente artigo serão expostas as regras restantes, que são de importância funda- mental e são utilizadas com muita frequencia em demonstrações na matemática e na lógica.

As seguintes regras de inferência são chamadas regras de substituição porque estabelecem as transformações entre proposições logicamente equivalentes. Por exemplo, a proposição p pode ser inferida a partir da proposição ¬¬p, e é a partir desta regra de inferência que iniciamos a nossa lista: Leia mais…