Leis de Morgan

Lolhos de Morgan regras de inferência são usados ​​em lógica proposicional, que estabelecem que o resultado de negar uma disjunção e um conjunto de proposições ou variáveis ​​proposicionais. Essas leis foram definidas pelo matemático Augustus De Morgan.

As leis de Morgan representam uma ferramenta muito útil para demonstrar a validade de um raciocínio matemático. Mais tarde, eles foram generalizados dentro do conceito de conjuntos pelo matemático George Boole.

Essa generalização feita por Boole é completamente equivalente às leis iniciais de Morgan, mas é desenvolvida especificamente para conjuntos e não para proposições. Essa generalização também é conhecida como as leis de Morgan.

Índice

• 1 Revisão da lógica proposicional
  • 1.1 Falácia
  • 1.2 Proposições
• 2 Leis de Morgan
  • 2.1 Demonstração
• 3 conjuntos
  • 3.1 União, intersecção e complementos de conjuntos
• 4 leis de Morgan para conjuntos
• 5 referências

Revisão da lógica proposicional

Antes de olhar para o que as leis de Morgan são especificamente e como elas são usadas, é conveniente lembrar algumas noções básicas de lógica proposicional. (Para mais detalhes veja o artigo sobre lógica proposicional).

No campo da lógica matemática (ou proposicional), uma inferência é uma conclusão que é emitida a partir de um conjunto de premissas ou hipóteses. Essa conclusão, juntamente com as premissas mencionadas, dá origem ao que é conhecido como raciocínio matemático.

Esse raciocínio deve poder ser demonstrado ou negado; isto é, que nem todas as inferências ou conclusões em um raciocínio matemático são válidas.

Falácia

Uma falsa inferência emitida a partir de certas suposições que são consideradas verdadeiras é conhecida como falácia. As falácias têm a peculiaridade de serem argumentos que parecem corretos, mas matematicamente não são.

lógica proposicional não apenas desenvolver e fornecer métodos através dos quais pode-se, sem qualquer ambiguidade, validar ou refutar o raciocínio matemático; isto é, inferir uma conclusão válida a partir de premissas. Esses métodos são conhecidos como regras de inferência, das quais as leis de Morgan fazem parte.

Proposições

Os elementos essenciais da lógica proposicional são proposições. Proposições são declarações sobre as quais se pode dizer se são válidas ou não, mas não podem ser verdadeiras ou falsas ao mesmo tempo. Não deve haver ambiguidade nesse assunto.

E os números podem ser combinados através das operações de adição, subtracção, multiplicação e divisão, proposições pode ser operado por meio de conectores conhecidos (ou conectores) lógica: negação (¬, "não"), disjunção (V "o"), conjunto (ʌ, "e"), condicional (→, "se ... então ...") e bicondicional (↔ "se e somente se").

Para trabalhar de forma mais geral, em vez de considerar propostas específicas são consideradas variáveis ​​proposicionais representando quaisquer proposições, e geralmente denotado com letras minúsculas p, q, r, s, etc.

Uma fórmula proposicional é uma combinação de variáveis ​​proposicionais através de alguns dos conectivos lógicos. Em outras palavras, é uma composição de variáveis ​​proposicionais. Eles geralmente são denotados com letras gregas.

Diz-se que uma fórmula proposicional implica logicamente outra quando a última é verdadeira cada vez que a primeira é verdadeira. Isso é denotado por:

Quando a implicação lógica entre duas fórmulas proposicionais, isto é recíproca, quando a implicação acima é válido também no sentido contrário disse fórmulas são logicamente equivalentes, e é denotado por

A equivalência lógica é um tipo de igualdade entre fórmulas proposicionais e permite que uma seja substituída pela outra quando necessário.

Leis de Morgan

As leis de Morgan consistem em duas equivalências lógicas entre duas formas proposicionais, a saber:

Essas leis permitem separar a negação de uma disjunção ou conjunção, como negações das variáveis ​​envolvidas.

A primeira pode ser lida da seguinte forma: a negação de uma disjunção é igual à conjunção das negações. E o segundo é assim: a negação de uma conjunção é a disjunção das negações.

Em outras palavras, negar a disjunção de duas variáveis ​​proposicionais é equivalente à conjunção das negações de ambas as variáveis. Da mesma forma, negar a conjunção de duas variáveis ​​proposicionais é equivalente à disjunção das negações de ambas as variáveis.

Como mencionado anteriormente, a substituição dessa equivalência lógica ajuda a demonstrar resultados importantes, juntamente com as outras regras de inferência existentes. Com estes você pode simplificar muitas fórmulas proposicionais, para que elas sejam mais úteis para trabalhar.

O seguinte é um exemplo de uma prova matemática usando regras de inferência, entre essas leis de Morgan. Especificamente, é mostrado que a fórmula:

é equivalente a:

Este último é mais simples de entender e desenvolver.

Demonstração

Vale ressaltar que a validade das leis de Morgan pode ser demonstrada matematicamente. Uma maneira é comparar suas tabelas de verdade.

Conjuntos

As mesmas regras de inferência e as noções de lógica aplicadas a proposições, também podem ser desenvolvidas considerando conjuntos. Isto é o que é conhecido como álgebra booleana, depois do matemático George Boole.

Para diferenciar os casos, é necessário alterar a notação e transferir para conjuntos todas as noções já vistas da lógica proposicional.

Um conjunto é uma coleção de objetos. Os conjuntos são indicados com letras maiúsculas A, B, C, X, ... e os elementos de um conjunto são indicados por letras minúsculas a, b, c, x, etc. Quando um elemento a pertence a um conjunto X, é indicado por:

Quando não pertence a X, a notação é:

A maneira de representar os conjuntos é colocando seus elementos dentro das chaves. Por exemplo, o conjunto de números naturais é representado por:

Conjuntos também podem ser representados sem escrever uma lista explícita de seus elementos. Eles podem ser expressos no formato {:}. Os dois pontos são lidos "tal que". Uma variável representando os elementos do conjunto é colocada à esquerda dos dois pontos e a propriedade ou condição que eles satisfazem é colocada à direita. Isto é:

Por exemplo, o conjunto de inteiros maiores que -4 pode ser expresso como:

Ou equivalentemente, e mais abreviado, como:

Da mesma forma, as seguintes expressões representam os conjuntos de números pares e ímpares, respectivamente:

União, intersecção e complementos de conjuntos

Em seguida, veremos os análogos do conectivo lógico no caso de conjuntos, que são parte das operações básicas entre conjuntos.

União e interseção

A união e a interseção de conjuntos são definidas, respectivamente, da seguinte maneira:

Por exemplo, considere os conjuntos:

Então você precisa:

Complemento

O complemento de um conjunto é formado pelos elementos que não pertencem a esse conjunto (do mesmo tipo que representa o original). O complemento de um conjunto A é denotado por:

Por exemplo, dentro dos números naturais, o complemento do conjunto de números pares é o dos números ímpares e vice-versa.

Para determinar o complemento de um conjunto, deve ficar claro desde o início o conjunto universal ou principal de elementos que estão sendo considerados. Por exemplo, não é igual considerar o complemento de um conjunto nos números naturais que nos racionais.

A tabela a seguir mostra a relação ou analogia que existe entre as operações em conjuntos previamente definidos e os conectivos da lógica proposicional:

Leis de Morgan para conjuntos

Finalmente, as leis de Morgan sobre conjuntos são:

Em palavras: o complemento de um sindicato é a interseção dos complementos, e o complemento de um cruzamento é a união dos complementos.

Uma prova matemática da primeira igualdade seria a seguinte:

A demonstração do segundo é análogo.

Referências

1. Almaguer, G. (2002). Matemática 1. Editorial Limusa.
2. Aylwin, C. U. (2011). Lógica, Conjuntos e Números. Mérida - Venezuela: Conselho de Publicações da Universidad de Los Andes.
3. Barrantes, H., Diaz, P., Murillo, M., & Soto, A. (1998). Introdução à Teoria dos Números. EUNED.
4. Castañeda, S. (2016). Curso básico em teoria dos números. Universidade do Norte.
5. Cofré, A. e Tapia, L. (1995). Como Desenvolver Raciocínio Lógico Matemático Universidade Editorial.
6. Guevara, M. H. (s.f.). Teoria dos números EUNED.
7. Zaragoza, A. C. (s.f.). Teoria dos números Livros de visão editorial.