CURSO: DISCIPLINA: DATA:

LICENCIATURA EM MATEMTICA EaD/PROLIC

lgebra Maro de 2012

PROPOSIES E OPERAES LGICAS BSICAS

Rubn Panta Pazos

Universidade de Santa Cruz do Sul
Tel: (51) 37177384, Fax: (51) 37181855

e-mail: rpazos@unisc.br

Palavras chave: proposio lgica, equivalncia, regras de De Morgan.

RESUMO O objetivo desta seo fornecer uma introduo aos elementos da lgica clssica. 1. INTRODUO A linguagem que se emprega na lgebra, como em diversas reas da Matemtica, compreende designaes (tambm chamadas nomes ou termos) e proposies (ou frases). As designaes servem para indicar determinados objetos matemticos: nmeros, pontos, conjuntos, funes, operaes, figuras geomtricas, etc.; as proposies exprimem afirmaes que podem ser verdadeiras ou falsas a respeito dos mesmos objetos. .Observe-se que as duas primeiras designaes se referem ao mesmo objeto: so designaes equivalentes ou sinnimas; para indicar que duas designaes, a e b, so equivalentes, escreve-se usualmente a = b. Uma proposio necessariamente verdadeira ou falsa (mas nunca uma coisa e outra); na primeira hiptese, diz-se tambm por vezes que a proposio tem o valor lgico 1, na segunda que tem o valor lgico 0.

2. PROPOSIO LGICA E EQUIVALNCIA. Definio 1.2.1. Se diz que P uma proposio lgica a qualquer relao da qual se pode afirmar que verdadeira ou falsa. Se a proposio verdadeira, atribudo o valor 1. Se a proposio falsa, atribudo o valor 0.

Esses valores so chamados "valores de verdade da proposio". Assim, para definir uma proposio lgica, suficiente dar os seus valores de verdade. Em geral, esses valores so colocados numa tabela, que se denomina "tabela dos valores de verdade". Na verdade, isto representa uma funo do conjunto de proposies ao conjunto {0, 1}. A equivalncia : Dizemos que duas proposies P e Q so logicamente equivalentes, ou simplesmente equivalentes, se possuem os mesmos valores de verdade. Notao: P Q. Sua tabela de valores de verdade dada por

Exemplos de designaes

23 12 + 11 2+ 2 4 + 2i N

Os smbolos 1 e 0 servem assim, de forma convencional, para designar respectivamente verdade e falsidade.

Fica claro que se P, Q e R so trs proposies lgicas, ento: se P equivalente a Q e tambm Q equivalente a R, ento P equivalente a R.

3. OPERAES LGICAS 3.1 A NEGAO Dada uma proposio lgica P, denomina-se negao da proposio lgica P, e ser denotada como P, proposio que falsa quando P verdadeira, verdadeira quando P falsa, ento isso pode ser representado da seguinte maneira: 3.3. A DISJUNO Dadas duas proposies lgicas P e Q, denomina-se como disjuno de P e Q, a proposio lgica P Q, que verdadeira se uma das proposies lgicas de P ou Q verdadeira. A tabela de valores de verdade dada por

Exemplo. Proposio P significa Porto Alegre a capital de Rio Grande do Sul, que verdadeira. Assim,P quer dizer Porto Alegre no a capital de Rio Grande do Sul, o qual falso. Ao considerar as tabelas de verdade das proposies lgicas (P Q) e ( P Q), podemos deduzir que Do mesmo modo, a tabela de valores de verdade da proposio a seguinte Proposio 1.3.4. Seja P uma proposio lgica, ento P P uma proposio falsa e P P sempre verdadeira. Prova. Para mostrar isso, basta observar que a tabela de valores de verdade para P P a seguinte

3.4. REGRAS DE DE MORGAN Observa-se que idntica tabela de valores de verdade da P, obtendo-se o seguinte resultado Proposio 1.3.1.. A negao da negao de uma proposio P lgica equivalente a P, e portanto, Observao 1.3.2. Para definir uma proposio lgica P, basta definir as situaes em que verdadeira, sendo falsa no resto das situaes propostas, e vice-versa, se sabemos as situaes em que P falsa, no resto das situaes P verdadeira. 3.2. A CONJUNO Dadas duas proposies lgicas P e Q, denomina-se como conjuno de P e Q, a proposio lgica P Q, que verdadeira quando P e Q so ambas verdadeiras. A tabela de valores de verdade dada por Proposio 1.3.5. (Regras de De Morgan) Sejam P e Q duas proposies lgicas, ento:

Fig.1. Augustus de Morgan

Prova. A prova destas regras se estabelece, dando as tabelas de valores de verdade das proposies lgicas correspondentes:

Proposio 1.3.3.. Se P uma proposio lgica, ento P P uma proposio falsa. Prova. Para mostrar isso, basta observar que a tabela de valores de verdade de P P :

Observe-se que as proposies lgicas P Q e P Q possuem os mesmos valores de verdade, ento eles so equivalentes. Da mesma maneira, P Q e P Q resultam equivalentes. 4. A IDEIA DA PERFEIO LOGICA Por Roger Godement Existem trs processos principais em matemtica: 1. 2. 3. Construir objetos matemticos; Formar relaes entre esses objetos;

Demostrar que algumas de tais relaes so verdadeiras, ou como se acostuma dizer so teoremas. Os objetos matemticos so os nmeros, as funes, as figuras geomtricas e muitas outras coisas com as que tm que lidar os matemticos; estritamente falando, esses objetos no existem na natureza, mas so modelos abstratos de objetos mais ou menos complicados e visveis. As relaes so afirmaes (verdadeiras ou no) que podem ser declarados sobre esses objetos, que correspondem a propriedades hipotticas dos objetos naturais, dos quais so modelos os objetos matemticos. Para os matemticos as relaes verdadeiras so aquelas que podem ser derivadas logicamente a partir de um pequeno nmero de axiomas declarados de uma vez por todas; esses axiomas traduzem em linguagem matemtica as propriedades mais "bvias" dos objetos concretos que so pensados; e a sucesso dos silogismos empregados para passar a partir dos axiomas (ou, mais em forma prtica, de teoremas j estabelecidos) para um determinado teorema uma prova do teorema. Explicaes deste tipo que podem parecer, talvez, de uma clareza para alguns leitores principiantes deixaram um pouco de satisfazer aos matemticos, no s porque as frases vagas no so de seu agrado, seno - e especialmente - porque a prpria matemtica forou a eles a refletir sobre os fundamentos da sua cincia e para substituir as generalidades por frmulas cujo significado no permite qualquer confuso, e que pode ser decidida (de maneira quase mecnica), se elas so verdadeiras ou no, se tem sentido ou no. A necessidade de estabelecer a matemtica sobre bases o mais slidas tem se mostrado eficiente, historicamente, com motivo do desenvolvimento da "teoria dos conjuntos" e a introduo de novas noes "abstratas na Matemtica, tais como o grupo o anel ou o corpo. Tornou-se evidente na teoria dos conjuntos (criado por Cantor em 1870) que recorrer "intuio geomtrica" perfeitamente intil no melhor dos casos e absolutamente pernicioso no pior dos casos; nos primeiros vinte anos apareceu uma srie de

resultados aparentemente contrrios ao sentido comum mas firmemente estabelecidos (por exemplo, a existncia, demonstrada por Peano, de uma curva contnua que passa atravs de todos os pontos de um quadrado) e, ao mesmo tempo, verdadeiras contadicciones, devido utilizao de raciocnio engenhoso no justificado logicamente. Mas as contradies internas em matemtica so o derradeiro horror, porque, como os gregos j inham observado, pode ser mostrado que, se voc tem uma relao contraditria (ou seja que seja verdadeira e falsa em forma simultnea), todas as outras relaes tambm so contraditrias. O desenvolvimento das primeiras teorias chamado de "abstratas" ou "axiomticas que surgiram sobre mais ou menos do mesmo perodo (1890 a 1910), tinham como objetivo, tanto incluir numa mesma teoria geral outras teorias particulares j conhecidas visando aplicar alguns mtodos usados para estudar outros, como para estabelecer com bases slidas algumas teorias que no o desejado a partir do ponto de vista lgico (o exemplo mais famoso deste ltimo o estudo de Hilbert dos fundamentos da geometria elementar. Dois mil anos depois dos gregos, foi obtida, pela primeira vez, uma geometria rigorosa e puramente dedutiva, em que todos os axiomas, sem exceo, foram dados explicitamente, ficando com muita claressa quais eram os axiomas estritamente necessrios para a validade de cada teorema. O trabalho de Hilbert, pelo rigor da sua linguagem e seu raciocnio e sua recusa de qualquer concesso, o modelo de trabalho da matemtica moderna, e certamente ser por muitos sculos). Os esforos realizados por matemticos nesses dois sentidos, muito relacionados, vieram a definir muito suas exigncias de rigor lgico e raciocinar sobre objetos cada vez mais distantes na aparncia da "realidade" concreta. Tem, portanto, chegado convico de que o que importa na matemtica so apenas os smbolos que, acorrentados uns aos outros de acordo com certas "regras de jogo" definidas explicitamente, servem para formar objetos matemticos e relaes. REFERNCIAS
1. Ferreira, Jaime Campos, Elementos de Lgica Matemtica e Teoria dos Conjuntos, Instituto Superior Tcnico, Lisboa, Portugal, (2001). Godement, Roger, lgebra, Editorial Tecnos, Madrid, Espanha, (1974). Lipschutz, Seymour, Teoria dos Conjuntos, Coleo Schaum, Makron Books do Brasil, So Paulo, (1972). Mechab, Mustapha, Cours dalgbre, Universit Djillali Liabs de Sidi Bel Abbes, (2001).

2. 3.

4.