Raciocnio Lgico Matemtico

Cap. 4 - Implicao Lgica

Captulo 4 Professor: Srgio Destcio Faro

Implicao Lgica

Antes de iniciar a leitura deste captulo, verifique se de fato os captulos anteriores ficaram claros e retome os tpicos abordados sempre que sentir necessidade. Falando em retomada, vamos iniciar este captulo relembrando a operao lgica da condicional pq (l-se: se p ento q) Voc est lembrado quando estudamos as proposies condicionais e utilizamos o smbolo ? Vamos recordar! Na condicional pq, p chamado de antecedente e q o consequente. O smbolo chamado smbolo de implicao. Note que, neste caso, p e q so proposies simples. O ou F. smbolo representa uma operao matemtica entre as proposies p e q que tem como resultado a proposio p q, como valor lgico V

A proposio condicional se p ento q uma proposio composta que s admite valor lgico falso no caso em que a proposio p verdadeira e a proposio q falsa, sendo verdade nas demais situaes.

O valor lgico da condicional de duas proposies definido pela seguinte tabela-verdade:

Possibilidades 1 2 3 4

p V V F F

q V F V F

pq
V F V V

Vamos rever esta operao lgica por meio de uma situao:

Captulo 4 Professor: Srgio Destcio Faro

Suponha que um determinado pai faz a seguinte promessa para seu filho: Se fizer sol amanh, ento viajaremos para a praia.

H 4 possibilidades: 1. Fez sol e viajaram para a praia. 2. Fez sol e no viajaram para a praia. 3. No fez sol e viajaram para a praia. 4. No fez sol e no viajaram para a praia.

p Se Possibilidades fizer sol amanh

1 2 3 4 V V F F

q ento viajaremos para a praia

V F V F

pq Se fizer sol amanh, ento viajaremos para a praia

V F V V

Compare cada uma destas possibilidades levantadas anteriormente com os valores lgicos colocados na tabela e responda a seguinte pergunta: Em qual das possibilidades a situao foi descumprida? No difcil concluir que na possibilidade 2, a situao foi descumprida. Voc deve estar se perguntando sobre a possibilidade 3. Afinal, se no fez sol, como viajaram para a praia? Parece estranho, no? Na verdade, temos que tomar um certo cuidado, o pai s disse o que fariam se fizesse sol, mas no disse o que fariam se no fizesse sol. Esta razo da
Captulo 4 Professor: Srgio Destcio Faro

condicional na linha 3 ser logicamente verdadeira. Temos que ter muita ateno, especialmente nesta parte. Esta a parte que as pessoas, em geral, apresentam mais dificuldades de compreenso. Por este motivo vamos discutir um pouco mais sobre o assunto. Utilizamos com freqncia sentenas condicionais, como: Se hoje chover, ento vou ficar em casa. Vamos ver as quatro possibilidades para esta situao: 1. Choveu e fiquei em casa. 2. Choveu e no fiquei em casa. 3. No choveu e fiquei em casa. 4. No choveu e no fiquei em casa.

p Se Possibilidades hoje chover

1 2 3 4 V V F F

q ento vou ficar em casa

V F V F

pq Se hoje chover, ento vou ficar em casa

V F V V

Caro aluno, importantssimo que voc aprenda que na lgica matemtica no nos preocupamos com qualquer relao de causa e efeito entre o antecedente e o consequente de uma implicao. O que h uma relao entre os valores lgicos. Neste exemplo, ficou claro para voc que na possibilidade 2, a situao foi descumprida; isto , choveu e no fiquei em casa ? provvel que voc tenha dvidas com relao possibilidade 3. Afinal, se no choveu, como fiquei em casa? Voltamos a dizer, sendo o antecedente (p) logicamente falso, no importa o valor lgico do conseqente (q), pois o valor lgico da condicional ser sempre verdadeiro!

Captulo 4 Professor: Srgio Destcio Faro

Desta forma, releia o conceito: A proposio condicional se p ento q uma proposio

composta que s admite valor lgico falso no caso em que a proposio p verdadeira e a proposio q falsa, sendo verdade nas demais situaes. Mas qual a razo de retomarmos a operao condicional? A razo est no fato de que podemos dizer que a operao que traduz, em termos de Lgica Matemtica, a ideia de uma frase condicional a implicao.

E qual a importncia da implicao? O conceito de implicao essencial para os diversos campos do conhecimento. Como exemplo, podemos citar as implicaes lgicas de um discurso que remete a explicao ou demonstrao de argumentos, e isto no restrito Matemtica. comum aparecerem declaraes do tipo: Sempre que isto ocorre, e, verdadeiro, implica que aquilo tambm verdadeiro. Pense nas diversas reas, tais como: Medicina, Direito, Engenharia, Educao, Propaganda e Marketing, Processamento de Dados e tantas outras reas, que utilizam inmeras implicaes. Enfim vivemos imersos em um mundo de implicaes lgicas! Pense a este respeito.

Ampliando o conhecimento

Frases na imprensa com implicao

"Existe uma implicao disso que creio no tenha sido expressada, aqui ou no setor mais amplo," disse Schmidt plateia. " o princpio de que a comunicao mvel vem antes." Mas, para o Financial Times, "a implicao clara que a joint-venture, que tem uma meta de produzir entre 4 bilhes e 5 bilhes de litros por ano, um dia vai vender biocombustveis para motoristas do mundo todo".
http://www.dicio.com.br/implicacao/

Captulo 4 Professor: Srgio Destcio Faro

A implicao muito importante na linguagem matemtica porque aparece sistematicamente nos teoremas que constituem as teorias matemticas. Um teorema uma proposio do tipo p q, onde p uma proposio verdadeira na teoria em questo. Demonstrar um teorema no mais do que provar que a proposio p q verdadeira e sendo p verdadeira, por hiptese, implica dizer que q tambm verdadeira. Num teorema comum chamarmos a proposio p de hiptese, o antecedente da implicao p q. A proposio q, que o consequente da implicao, denominada de tese. As demonstraes de teoremas so essenciais para o desenvolvimento de habilidades e competncias relacionadas experimentao, observao e percepo, realizao de conjecturas, desenvolvimento de argumentaes convincentes, entre outras. Apenas como exemplo: Um teorema que provavelmente voc conhece, o famoso Teorema de Pitgoras, amplamente utilizado na Matemtica Elementar, com inmeras aplicaes. O Teorema de Pitgoras pode ser enunciado da seguinte maneira: Se a e b so os catetos do tringulo retngulo e c sua hipotenusa, ento a2 + b2 = c2

Veja o que temos, neste caso: p: a e b so os catetos do tringulo retngulo e c sua hipotenusa. ( Esta a nossa hiptese, que verdadeira) q: a2 + b2 = c2 ( Esta a nossa tese; isto , aquilo que queremos provar que verdadeiro)

Vamos ver uma ilustrao para esclarecer melhor esta explicao.

Captulo 4 Professor: Srgio Destcio Faro

TEOREMA DE PITGORAS H inmeras demonstraes para este Teorema. Alguns afirmam que h por volta de 400 diferentes demonstraes. Parece que ficou preocupado! No se preocupe, pois aqui no faremos demonstraes de teoremas, pois no este o foco de nossos estudos. Caso tenha interesse de conhecer mais sobre o Teorema de Pitgoras, acesse a seo Ampliando o Conhecimento e voc poder fazer uma verificao do Teorema de Pitgoras, bastante interessante, por meio de recortes.

Vamos ver mais dois exemplos de implicao na matemtica, ainda para reforar este sentido:

2 > 0 2 > 1 (V) (V)

Antecedente

(V)
Consequente

Se dois maior do que zero, ento dois maior do que um.

4 = 22 4 = 2 (V) (V)
Antecedente

(V)
Consequente

Se quatro igual a dois elevado ao quadrado, ento raiz quadrada de quatro igual a dois.

Voc percebeu que nas duas situaes anteriores, os antecedentes so verdadeiros e os conseqentes tambm? A est, o sentido da implicao! O

Captulo 4 Professor: Srgio Destcio Faro

antecedente

sendo

uma

proposio

logicamente

verdadeira,

implica

um

conseqente tambm verdadeiro. Veremos este sentido de implicao com um pouco mais de detalhes a seguir. Retomamos a operao lgica da condicional e agora vamos retomar o conceito de tautologia visto no captulo anterior, que ser muito importante para o entendimento das implicaes lgicas. Desta forma, daremos seqncia ao estudo das Implicaes Lgicas.

Conceito Diz-se que uma proposio P implica uma proposio Q (indica-se por P Q), quando na tabela-verdade de P e Q, verifica-se que P verdadeiro, e Q tambm. Podemos tambm dizer que P implica em Q quando a condicional P Q uma tautologia. Voc se lembra do conceito de tautologia?

Relembrando o conceito de tautologia Quando uma proposio composta sempre verdadeira, ento teremos uma tautologia. De outra forma, podemos afirmar que numa tautologia a proposies compostas sero logicamente verdadeiras (V).

O smbolo P Q (P implica Q) representa a implicao lgica. Observe neste conceito que aparecem dois smbolos matemticos e . Vamos diferenci-los?

Captulo 4 Professor: Srgio Destcio Faro

Diferenciao dos smbolos e I) O smbolo (p q) L-se: se p..... ento q representa uma operao matemtica entre as proposies p e q que tem como resultado a proposio p q, com valor lgico V ou F. II) O smbolo ( P Q) L-se: P implica Q representa a no ocorrncia de VF na tabela-verdade de P Q, ou ainda que o valor lgico da condicional P Q ser sempre V, ou ento que P Q uma tautologia. Voc j deve ter se familiarizado com o primeiro (smbolo ), pois fizemos uso dele em vrios exemplos envolvendo a operao lgica da condicional em que podamos fazer um julgamento (verdadeiro ou falso), j o segundo (smbolo ) passaremos a ver agora com mais detalhes. Tenha sempre em mente que o smbolo representa uma implicao, cuja condicional ser sempre tautolgica, isto , ser sempre logicamente verdadeira. Vamos agora ver alguns exemplos e verificar a implicao lgica indicada em cada caso.

Exemplos: Implicaes 1) p q p 2) p q p 3) p q p v q 4) p p v q Leitura p e q implica p p implica a condicional, se q ento p (p e q) implica (p ou q) p implica (p ou q)

Ateno: Devemos ter em mente que uma proposio P implica uma proposio Q, se Q verdadeira todas as vezes que P verdadeira.

Captulo 4 Professor: Srgio Destcio Faro

Vamos comprovar isto para o 1 exemplo dado.

p^qp
Considere a situao: p: Marina Silva vencer as eleies para a Presidncia do Brasil. q: A taxa de desemprego cair nos prximos trs anos. p ^ q: Marina Silva vencer as eleies para a Presidncia do Brasil e a taxa de desemprego cair nos prximos trs anos.

Vamos agora verificar como ficam os possveis valores lgicos das proposies:

p
Marina Silva vencer as Possibilidades eleies para a Presidncia do Brasil neste ano.

q
A taxa de desemprego cair nos prximos trs anos. . V F V F

p^q
Marina Silva vencer as eleies para a Presidncia do Brasil e a taxa de desemprego cair nos prximos trs anos. V F F F

1 2 3 4

V V F F

Voc est lembrado que a proposio composta da conjuno p ^ q verdadeiras. (p e q) somente ser verdadeira quando as proposies p e q forem

Captulo 4 Professor: Srgio Destcio Faro

10

Perceba que quando p ^ q verdadeira (1 possibilidade, veja o quadro acima), p verdadeira tambm, logo dizemos que p ^ q implica p seguinte notao: p ^ q p. E mais, se voc fizer a condicional (p ^ q) p, ela ser sempre verdadeira, ou seja uma tautologia. 2 exemplo: p e, tem a

qp

Vamos verificar esta implicao.

Ateno: A inteno aqui, caro aluno, que voc perceba que o ponto fundamental da implicao lgica ( P implica uma proposio Q, indica-se por P Q), que sempre que temos um antecedente verdadeiro, teremos um conseqente verdadeiro tambm. Vamos verificar se p de fato implica a proposio composta q p (p q p) Ateno: A proposio condicional qp (l-se: se q ento p) uma proposio composta que s admite valor lgico falso no caso em que a proposio q verdadeira e a proposio p falsa, sendo verdade nas demais situaes. (veja a 3 coluna da tabela seguinte)

1 p
V V F F

2 q
V F V F

3 qp V V F V

4 p (qp) V V V V

Captulo 4 Professor: Srgio Destcio Faro

11

p q p, pois o condicional p (qp) tautolgica. Perceba que quando p verdadeira (1 e 2 colunas), qp verdadeira tambm, logo dizemos que p implica a proposio composta q p. (p q p)

Vamos agora mostrar as implicaes no 3 e 4 exemplos.

3 exemplo: p q p v q

1 p
V V F F

2 q
V F V F

3 p q V F F F

4 pv q V V V F

5 (p q) (p v q) V V V V

Caro aluno, no se assuste com o tamanho das tabelas-verdade. Voc deve organizar as colunas, e para iniciar, atribua todos os valores lgicos possveis para as proposies simples p e q. (so quatro situaes; isto , so quatro linhas). Para compreender a tabela acima, voc dever retomar as operaes da conjuno e disjuno, alm, obviamente, da condicional. Observe que na 3 coluna (p q), temos uma conjuno, e que ela

logicamente verdadeira apenas quando as proposies simples p e q so ambas verdadeiras, e logicamente falsas nas demais situaes. Observe que na 4 coluna (p v q), temos uma disjuno, e que ela logicamente falsa apenas quando as proposies simples p e q so ambas falsas, e logicamente verdadeiras nas demais situaes. At aqui, tudo bem? Se ficou claro, ento vamos entender melhor a 5 coluna.
Captulo 4 Professor: Srgio Destcio Faro

12

Na 5 e ltima coluna, temos a condicional (p antecedente verdadeiro e o conseqente falso. Podemos verificar a implicao p

q) (p v q) logicamente

verdadeira para todas as situaes, pois a condicional s falsa quando o q p v q, por meio da condicional (p

q) (p v q), pois, neste exemplo, ela sempre verdadeira e, portanto, tautolgica. Voc tambm pode verificar a implicao dada observando que quando a proposio p q verdadeira, temos que p v q, tambm, verdadeira (1 linha). Logo, est verificada a implicao dada. 4 exemplo: p p v q

1 p
V V F F

2 q
V F V F

3 pv q V V V F

4 p (p v q) V V V V

Neste 4 exemplo , tambm verificamos a implicao p p v q , pois a condicional p (p v q) tautolgica. Observe que quando a proposio p verdadeira, temos que p v q, tambm, verdadeira (1 e 2 linhas). Logo, est verificada a implicao dada.

Observao O fato de dizer que uma proposio P implica uma proposio Q, garante dizer o caminho inverso, isto , que Q tambm implica P. no

No prximo captulo, estudaremos as situaes que envolvem o caminho de ida e de volta quando consideramos as implicaes. Neste caso chamaremos de equivalncias lgicas.

Captulo 4 Professor: Srgio Destcio Faro

13