Processing math: 100%

8. Um pouco sobre a linguagem matemática – Sala 4: Implicações e equivalências

Linguagem matemática

Implicações e equivalências


Nas salas anteriores, vimos que equivalências são necessárias na substituição de uma frase por outra, sem que se perca o sentido lógico do discurso, e que implicações são extremamente úteis em processos dedutivos. Como sentenças abertas são utilizadas nos processos de generalização da Matemática e a Matemática é repleta de propriedades cujas validades são garantidas por demonstrações – os teoremas – é de se esperar que equivalências e implicações existam, também, entre sentenças abertas. É exatamente sobre isso que trataremos a partir de agora.
Para isso, utilizaremos uma linguagem menos lógica e mais matemática para ficarmos mais próximos do discurso que utilizamos no nosso contato diário com a Matemática. Assim, nesta sala falaremos de propriedades e não de sentenças abertas, embora propriedades matemáticas sejam sentenças abertas, quantificadas ou não, e utilizaremos a linguagem de conjuntos para sintetizar e organizar o nosso raciocínio, prática iniciada na Sala de enigmas 2. Toda a discussão sobre lógica elementar feita nas salas 1, 2 e 3 ajudará, e muito, no entendimento do que está por vir, já que nessas salas uma linguagem cotidiana logicamente correta nos foi apresentada.

Vamos lá?




Para efeito de notação, letras latinas maiúsculas, P, Q, R, , representarão propriedades que se referem a elementos genéricos de um dado conjunto não vazio U (o conjunto universo do nosso discurso). Assim, por exemplo, podemos ter:

U: conjunto dos triângulos de um plano;
P: T é equilátero;
Q: T é isósceles.

U: conjunto dos números naturais;
P: a é par;
Q: a é múltiplo de 5.

U: conjunto das retas de um plano;
P: r e s são paralelas;
Q: r e s são perpendiculares.

U: conjunto dos números racionais;
P: x2R;
Q: xR.

Implicações


Se P e Q são propriedades que se referem a elementos de um dado conjunto não vazio U, então as cinco expressões:

  • se P, então Q
  • P implica Q
  • P acarreta Q
  • P é condição suficiente para Q
  • Q é condição necessária para P

têm todas o mesmo significado. Elas querem dizer, simplesmente, que:

  • todo elemento do conjunto U que tem a propriedade P também tem a propriedade Q.

Para expressar esse fato, é comum utilizarmos a notaçãoPQ; dessa forma, se considerarmos os conjuntos:

VP={pU, tal que p tem a propriedade P}

VQ={qU, tal que q tem a propriedade Q}

então escrevemos PQ para significar que VPVQ.

Nessas condições, é comum também utilizarmos a notação PQ para indicar a negação de PQ; logo, a notação PQ indica que

  • nem todo elemento do conjunto U que tem a propriedade P também tem a propriedade Q

ou, de outra forma, indica que

  • é possível encontrar, pelo menos, um elemento do conjunto U que tenha a propriedade P e que não tenha a propriedade Q.

Resumindo:

Se P e Q são propriedades que se referem a elementos de um dado conjunto não vazio U, usamos as notações PQ e PQ para indicar que:

  • PQ: todo elemento do conjunto U que tenha a propriedade P também tem a propriedade Q.
  • PQ: é possível encontrar, pelo menos, um elemento do conjunto U que tenha a propriedade P e que não tenha a propriedade Q.

Generalizando:

A definição de implicação se estende de maneira natural para o caso geral de sentenças abertas.
Com efeito, sejam p(x) e q(x) sentenças abertas em um conjunto U cujos conjuntos-verdade são Vp e Vq, respectivamente.
Dizemos que p(x) implica q(x) se VpVq. Neste caso, podemos utilizar a notação p(x)q(x).







Equivalências


Se, novamente, P e Q forem propriedades que se referem a elementos de um dado conjunto não vazio U, também as expressões:

  • P é condição necessária e suficiente para Q
  • P se, e somente se, Q
  • P e Q são equivalentes

têm todas o mesmo significado. Elas querem dizer que "PQ" e "QP", ou seja, que, simultaneamente,

  • “todo elemento do conjunto U que tenha a propriedade P também tem a propriedade Q” e “todo elemento do conjunto U que tenha a propriedade Q também tem a propriedade P;

fato que denotamos como:PQ. Portanto, se considerarmos uma vez mais os conjuntos

VP={pU, tal que p tenha a propriedade P}

VQ={qU, tal que q tenha a propriedade Q}

então escrever PQ significa que VP=VQ.

Também é comum utilizarmos uma notação para indicar a negação de PQ. Assim, a notação PQ indica que P e Q não são equivalentes, ou seja, que, pelo menos, uma das seguintes situações ocorre: PQ; QP.

Resumindo:

Se P e Q são propriedades que se referem a elementos de um dado conjunto não vazio U, usamos as notações PQ e PQ para indicar que:

  • PQ: PQ e QP;
  • PQ: PQ ou QP.

Generalizando:

A definição de equivalência também se estende de maneira natural para o caso geral de sentenças abertas.
Assim, se p(x) e q(x) são sentenças abertas em um conjunto U cujos conjuntos-verdade são Vp e Vq, respectivamente, dizemos que p(x) e q(x) são equivalentes se Vp=Vq. Neste caso, podemos utilizar a notação p(x)q(x).



As expressões “se, então” e “se, e somente se” utilizadas relacionando propriedades genéricas são de extrema importância para a leitura e compreensão de textos de Matemática; portanto, vamos resumir e registrar suas características.

lousa02




Já que uma equivalência nada mais é do que uma dupla implicação, vamos centrar nossas discussões nas implicações.
Observamos, inicialmente, que quando afirmamos que "PQ significa que VPVQ", não estamos afirmando que, para mostrar que uma propriedade P implica uma propriedade Q, vamos necessariamente construir os conjuntos VP e VQ e verificar que VPVQ. Embora isso seja possível em algumas situações muito particulares, as sentenças abertas da Matemática e, portanto, as propriedades matemáticas, são definidas frequentemente em conjuntos que não permitem esse tipo de construção prática. (Como construiríamos, na prática, o conjunto de todos os triângulos isósceles de um plano, ou o conjunto de todas as retas a,b,c de um plano tais que ab e bc?)
A maneira matemática de se verificar que PQ é quase sempre por meio de uma demonstração na qual, a partir da ocorrência da propriedade P, é possível deduzir a ocorrência de Q por meio de uma sequência de argumentações válidas dentro da teoria onde a implicação foi enunciada. Assim, as demonstrações são o "como garantir, sustentar, validar uma implicação" e claramente dependem da teoria do Universo no qual as propriedades envolvidas estão definidas; mas o entendimento e a manipulação lógica das implicações (e das equivalências) entre propriedades matemáticas podem ser traduzidos em termos de noções e propriedades sobre conjuntos, desde que sustentadas por uma linguagem cotidiana logicamente correta. E é isso que passaremos a fazer a seguir.

Resultados importantes


Sejam U um conjunto não vazio, P,Q,S propriedades relativas a elementos de U e os seguintes subconjuntos de U:

VP={pU, tal que p tenha a propriedade P}

VQ={qU, tal que q tenha a propriedade Q}

VS={sU, tal que s tenha a propriedade R}

Uma das propriedades sobre conjuntos nos garante que se A,B,D são conjuntos tais que AB e BD, então AD.

Considerando as propriedades P,Q,S, se os conjuntos VP, VQ e VS são tais que VPVQ e VQVS, então VPVS.
Dessa forma, temos a seguinte propriedade sobre implicação:

Se PQ e QS, então PS.

Essa propriedade é conhecida como transitividade da implicação.

A transitividade da igualdade entre conjuntos nos garante que se A,B,D são conjuntos tais que A=B e B=D, então A=D.

Considerando mais uma vez as propriedades P,Q,S, se os conjuntos VP, VQ e VS são tais que VP=VQ e VQ=VS, então VP=VS.

Dessa forma, temos a seguinte propriedade sobre equivalência:

Se PQ e QS, então PS.

Essa propriedade é conhecida como transitividade da equivalência.

fig014

Seja A um subconjunto não vazio de U.
Assim, dado um elemento u de U temos duas alternativas mutuamente excludentes: ou uA ou uA.
Os elementos de U que não são elementos de A definem o conjunto denotado por AC e denominado o complementar de A com relação a U:
AC={uU|uA}.

Olhando, então, a propriedade P, observamos que (VP)C é o conjunto dos elementos de U que não pertencem a VP, ou seja, o conjunto dos elementos de U que não têm a propriedade P.
Dessa forma, podemos afirmar que:

A propriedade que caracteriza os elementos do conjunto (VP)C é a negação de P, isto é, "não P". Em analogia às sentenças abertas, denotaremos a propriedade "não P" por "P".

Uma propriedade não trivial de conjuntos garante que se A,B são subconjuntos de U tais AB, então BCAC, onde AC e BC são, respectivamente, os complementares de A e de B com relação a U.
A figura abaixo ilustra essa propriedade.

fig015

Assim, se os conjuntos VP e VQ são tais que VPVQ, então (VQ)C(VP)C e com isso garantimos que

  • se "PQ", então "Q⇒∼P". (i)

Mas podemos ir além se utilizarmos mais uma propriedade envolvendo complementares; observe.

Se A é um subconjunto de U, então o complementar do complementar de A é o próprio A: (AC)C=A.

A partir dessa última propriedade, podemos afirmar que "se (VQ)C(VP)C, então ((VP)C)C((VQ)C)C", isto é, "se (VQ)C(VP)C, então VPVQ". Com isso garantimos, agora, que

  • se "Q⇒∼P", então "PQ".(ii)

Por (i) e (ii), segue que

"PQ" se, e somente se, "Q⇒∼P ".

Reconheceu a propriedade? É isso mesmo, também para as propriedades (e, em geral, para as sentenças abertas), temos a propriedade que garante que uma implicação e sua contrapositiva são equivalentes.

Lá na Sala 1, observamos que o “se …, então …” e o "se, e somente se " que alguns estavam esperando não eram os lá definidos. Pois bem, o "se, então" e o "se, e somente se" que utilizamos nos enunciados da Matemática são os aqui apresentados.

Na Matemática, a frase "Se P, então Q" tem importância se utilizada para indicar que a propriedade (sentença aberta) Q pode ser deduzida da propriedade (sentença aberta) P.
Nestes casos, utilizamos a notação PQ e a frase "Se P, então Q" é dita uma implicação lógica ou, simplesmente, uma implicação. A lousinha lá em cima mostra outras formas de leitura da notação PQ.
É comum também se afirmar que a implicação QP é a recíproca da implicação PQ.
Observamos que o símbolo não denota a palavra portanto, nem a palavra então. Ele deve ser utilizado com o significado de implica, quando aparece ligando duas sentenças abertas (em particular, ligando duas propriedades matemáticas). Assim, não escreva frases do tipo
"Todo múltiplo de quatro é múltiplo de dois. 16 é múltiplo de 416 é múltiplo de 2."
ou
" Se x{2,5}x27x+10=0. "!

A frase "P se, e somente se, Q" é utilizada na Matemática para indicar que a propriedade (sentença aberta) Q pode ser deduzida da propriedade (sentença aberta) P e também a propriedade (sentença aberta) P pode ser deduzida da propriedade (sentença aberta) Q.
Nestes casos, utilizamos a notação PQ e a frase "P se, e somente se, Q" é dita uma equivalência lógica ou, simplesmente, uma equivalência. A lousinha lá em cima também mostra outras formas de leitura da notação PQ.
Podemos ter uma sequência de propriedades (sentenças abertas), uma equivalente à outra:
P1P2P3Pn
e, neste caso, diremos apenas que as propriedades (sentenças) P1,P2,,Pn são equivalentes.
Observamos que o símbolo não deve ser utilizado em substituição ao símbolo =, pois ele não denota igualdade. Percebam que uma característica da igualdade é que todo objeto é igual a si próprio, e somente a si próprio e esta não é uma característica da equivalência!

carinha1



Equipe COM – OBMEP

Voltar para Sala Inicial

Link permanente para este artigo: http://clubes.obmep.org.br/blog/8-um-pouco-sobre-a-linguagem-matematica-sala-4-implicacoes-e-equivalencias/