Mdulo 3 - lgebra de proposies

Conceitos de Proposies
Nesta aula iremos abordar os conceitos de proposio, proposio simples e composta, conectivos lgicos e tabelas verdade. Iremos explicar os dois princpios fundamentais da lgica e apresentar as operaes lgicas de negao, conjuno, disjuno, implicao e dupla implicao, mostrando como construir uma tabela verdade a partir de uma proposio composta. Objetivo: Ao final desta aula esperamos que voc seja capaz de atribuir valores lgicos a proposies simples e compostas, relacionar duas ou mais proposies atravs de um conectivo lgico e construir tabelas verdade para proposies compostas. Vamos comear esta aula apresentando algumas ideias e conceitos bsicos que sero bastante necessrios para o entendimento das operaes lgicas. Est pronto? Chama-se proposio a todo conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. Ou seja, explicando melhor, uma proposio uma declarao afirmativa ou negativa que faa sentido. Portanto, uma proposio pode ser verdadeira ou falsa. Quando ela for verdadeira, iremos atribuir-lhe o valor lgico (V); quando for falsa, iremos atribuirlhe o valor lgico (F). Preste ateno e examine as seguintes sentenas: Sentena 1: Ser que vai chover? Isto no uma proposio, pois uma sentena interrogativa, que exprime dvida. Sentena 2: Luiz Andr, vire para frente, preste ateno e cale a boca! Isto no uma proposio, pois uma sentena imperativa. Sentena 3: A Lua satlite da Terra. Isto uma proposio, pois uma declarao afirmativa de sentido completo. Sentena 4: A cidade do Rio de Janeiro a capital do Brasil. Isto uma proposio, pois uma declarao afirmativa de sentido completo. Como as sentenas 3 e 4 so proposies, podemos atribuir a cada uma delas um valor lgico. A sentena 3 uma proposio lgica que assume o valor lgico verdadeiro (V), enquanto a sentena 4 uma proposio lgica que assume que assume o valor lgico falso (F). Veja mais dois exemplos:

Soluo Sentena 5: O dobro de 4 no igual a 10. Isto uma proposio, pois uma declarao negativa de sentido completo. Analisando esta declarao, podemos atribuirlhe valor lgico verdadeiro (V). Sentena 6: O dobro do nmero x igual a 10. Isto uma proposio, pois uma declarao afirmativa de sentido completo. Mas observe que, neste caso, o valor lgico da proposio depende do valor atribudo varivel x. Este tipo de sentena chamado de proposio aberta. Observe outros exemplos de sentenas abertas: - A cidade em que nasci a capital da Argentina. - 2 x + 3 < 5. - O triplo da minha idade igual idade de meu pai. Atividade Agora tente voc mesmo examinar as seguintes sentenas, identificando inicialmente se a sentena ou no uma proposio e depois, quando possvel, atribuindo-lhe um valor lgico: 1. 2. 3. 4. 5. Tiradentes morreu afogado. O valor de sete mais dois igual a nove. O valor de x somado a quinze menor do que vinte. Braslia no a capital do Brasil. Ser que eu estou entendendo a matria? RESPOSTAS: 1. 2. 3. 4. 5. proposio. Valor lgico falso (F). proposio. Valor lgico verdadeiro (V). proposio. No se pode atribuir valor lgico, pois uma proposio aberta. proposio. Valor lgico falso (F). No proposio.

Proposio simples e proposio composta:

Existem proposies simples e proposies compostas. A proposio simples, como o prprio nome indica, uma proposio isolada, que no contm nenhuma outra proposio como parte de si mesma. Em geral representamos cada proposio simples por uma letra minscula. Observe atentamente os exemplos a seguir: p: Luza morena. q: Paulo atleta.

r: O nmero 2 par. s: 2 2 = 4 . A proposio composta aquela que formada por duas ou mais proposies simples, que so ligadas atravs de conectivos lgicos (que iremos explicar detalhadamente daqui a pouco). Em geral representamos uma proposio composta por uma letra maiscula. Observe atentamente os exemplos a seguir: P: Luza no morena. Q: Luza morena e Paulo atleta. R: Luza morena ou Paulo atleta. S: Se a Lua satlite da Terra ento a Lua branca. T: O nmero 2 par, se e somente se, 2 2 = 4 . Repare que as palavras em negrito em cada uma das proposies compostas acima so justamente os conectivos lgicos. Conectivos lgicos: Chamam-se conectivos lgicos as palavras utilizadas para formar novas proposies a partir de proposies simples ou compostas. Os termos no, e, ou, se... ento e se e somente se so os cinco conectivos mais comumente utilizados em sentenas lgicas. Observe a seguir um exemplo de proposio composta utilizando cada um desses conectivos: P: Paulo no advogado. Negao: NO p, onde p: Paulo advogado. Q: O nmero 3 mpar e o nmero 4 par. Conjuno: p E q, onde p: O nmero 3 mpar e q: O nmero 4 par. R: Joana professora ou mdica. Disjuno: p OU q onde p: Joana professora e q: Joana mdica. S: Se Ana mdica ento Ana estudou anatomia. Implicao: SE p ENTO q, onde p: Ana mdica e q: Ana estudou anatomia. T: Um nmero par se e somente se o nmero mltiplo de 2. Dupla implicao: p SE E SOMENTE SE q, onde p: O nmero par e q: O nmero mltiplo de 2. Atividade: Tente construir algumas proposies compostas utilizando estes conectivos lgicos. Faa dois exemplos com cada conectivo lgico apresentado.

Princpios fundamentais da lgica:

A lgica matemtica adota como regras fundamentais do pensamento os dois seguintes princpios lgicos: Princpio da No Contradio afirma que uma proposio e sua negao no podem ser verdadeiras simultaneamente. Princpio do Terceiro Excludo afirma que qualquer proposio verdadeira ou falsa, no existindo uma terceira possibilidade. A aplicao destes dois princpios permite afirmar que, sempre que uma proposio for verdadeira, ento a sua negao ser falsa e vice-versa. V - Tabela verdade: Uma tabela verdade um tipo de tabela matemtica muito utilizada em lgica para determinar o valor de uma proposio composta. Na tabela verdade, cada proposio simples ou composta e todos os seus valores lgicos possveis so representados. Por exemplo, considere a proposio simples p: Paulo advogado. Pelos dois princpios fundamentais da lgica, sabemos que essa proposio poder assumir os valores (V) ou (F); portanto sua tabela verdade ser: p V F Considere agora o caso de uma proposio composta cujas proposies simples componentes so p: Paulo advogado e q: Joana mdica. O valor lgico da proposio composta depender unicamente dos valores lgicos das proposies simples componentes. Portanto, necessrio, ao construir a tabela verdade, representar nas duas primeiras colunas todos os valores lgicos possveis para as proposies p e q. Logo: P V V F F q V F V F

Importante: No necessrio decorar tabelas verdade, pois elas so apenas um instrumento para nos auxiliar quando precisamos tirar alguma concluso sobre algum resultado. Agora que j aprendemos um pouco sobre tabelas verdade vamos utiliz-las no estudo das operaes lgicas fundamentais, que so justamente as operaes definidas pelos cinco conectivos que j estudamos anteriormente: NEGAO:

Chama-se negao de uma proposio p a proposio representada por no p cujo valor lgico a verdade (V) quando p falsa (F) e a falsidade (F) quando p verdadeira (V). Indica-se a negao da proposio p por ~p. Tabela verdade da Negao: p V F ~p F V

Por exemplo, a negao da proposio p: Clara fisioterapeuta a proposio ~p: Clara no fisioterapeuta. Voc deve tomar cuidado, pois algumas vezes uma proposio contradiz outra proposio sem ser a sua negao. Veja o seguinte caso: p: O lpis branco. q: O lpis vermelho. Essas duas proposies se contradizem, uma vez que no podem ser verdadeiras ao mesmo tempo. Entretanto, como ambas podem ser falsas simultaneamente (caso a cor do lpis seja azul), uma proposio no a negao da outra. Em outras palavras, o fato de o lpis no ser branco nos permite afirmar que ele ser vermelho? Claro que no! DISJUNO: Chama-se disjuno de duas proposies p e q a proposio representada por p ou q cujo valor lgico a verdade (V) quando ao menos uma das proposies p e q verdadeira (V) e a falsidade (F) quando ambas as proposies p e q so falsas. Indica-se a disjuno das proposies p ou q por p q. Tabela verdade da disjuno: p V V F F q V F V F pq V V V F

Observe que, em uma operao de disjuno, o resultado ser falso apenas quando todas as proposies envolvidas na operao forem falsas. Por exemplo, considere as seguintes proposies simples: p: 5 um nmero par q: Braslia a capital do Brasil (F) (V) (V)

R: 5 um nmero par ou Braslia a capital do Brasil

CONJUNO: Chama-se conjuno de duas proposies p e q a proposio representada por p e q cujo valor lgico a verdade (V) quando as proposies p e q so ambas verdadeiras e a falsidade (F) nos demais casos. Indica-se a conjuno das proposies p e q por p q. Tabela verdade da conjuno: p V V F F q V F V F p q V F F F

Observe que, em uma operao de conjuno, o resultado ser verdadeiro apenas quando todas as proposies envolvidas na operao forem verdadeiras. Por exemplo, considere as seguintes proposies simples: p: 5 um nmero par q: Braslia a capital do Brasil (F) (V) (F)

R: 5 um nmero par e Braslia a capital do Brasil IMPLICAO OU CONDICIONAL:

Chama-se implicao ou condicional uma proposio representada por se p ento q cujo valor lgico a falsidade (F) no caso em que p verdadeira e q falsa e a verdade (V) em todos os demais casos. Indica-se a implicao das proposies p e q por p Tabela verdade da implicao ou condicional: p V V F F q V F V F

q.

pq
V F V V

Em uma condicional, a primeira proposio (p) chamada de antecedente ou hiptese e a segunda proposio (q) chamada de consequente. Observe que, em uma operao de implicao ou condicional, o resultado ser falso apenas quando o antecedente for verdadeiro e o consequente for falso.

 primeira vista, as duas ltimas linhas desta tabela verdade podem parecer estranhas para voc. As afirmaes de que V V verdadeiro e V F falso so intuitivas. Mas como entender que F V verdadeiro e F F tambm verdadeiro? Imagine a seguinte situao: voc prometeu sua me que, sempre que estiver chovendo, quando voc for sair de casa, voc levar o guarda-chuva com que ela lhe presenteou. As proposies simples so as seguintes: p: Est chovendo. q: Eu levo o guarda-chuva. A proposio condicional ou a implicao a seguinte: P: Se est chovendo ento eu levo o guarda-chuva. ( P : Vamos analisar o que pode acontecer: I) Est chovendo (V) e voc leva o seu guarda chuva (V). Portanto voc manteve a promessa feita sua me e o valor lgico da condicional ser (V). II) Est chovendo (V) e voc no leva o guarda-chuva (F). Portanto, voc quebrou a promessa feita sua me e o valor lgico da condicional ser (F). III) No est chovendo (F) e voc leva o guarda-chuva (V). Mais uma vez voc manteve a promessa feita sua me e o valor lgico da condicional ser (V). IV) No est chovendo (F) e voc no leva o guarda-chuva (F). Voc fez algo de errado ao no levar seu guarda-chuva? Pense bem! Voc tinha prometido lev-lo apenas se chovesse; portanto, tambm neste caso voc manteve a sua promessa e o valor lgico da condicional ser (V). Considere agora outro exemplo com as seguintes proposies simples: p: 5 um nmero par q: Braslia a capital do Brasil (F) (V) (V) (F)

p q)

R: Se 5 um nmero par ento Braslia a capital do Brasil. S: Se Braslia a capital do Brasil ento 5 um nmero par.

Repare que a proposio composta R verdadeira, porque o antecedente falso e o consequente verdadeiro. J a proposio composta S ser falsa, porque o antecedente verdadeiro e o consequente falso. DUPLA IMPLICAO OU BICONDICIONAL: Chama-se dupla implicao ou bicondicional uma proposio representada por p se e somente se q cujo valor lgico a verdade (V) quando p e q so ambas verdadeiras ou so ambas falsas e a falsidade (F) quando as proposies p e q tm valores lgicos diferentes. Indica-se a dupla implicao das proposies p e q por p

q.

Tabela verdade da dupla implicao ou bicondicional: p V V F F q V F V F

pq
V F F V

Observe que, em uma operao de dupla implicao, o resultado ser verdadeiro apenas quando todas as proposies envolvidas na operao tiverem o mesmo valor lgico, ou seja, quando todas forem verdadeiras ou todas forem falsas. Por exemplo, considere as seguintes proposies simples: p: 5 um nmero par q: Braslia a capital do Brasil ~q: Braslia no a capital do Brasil (F) (V) (F)

(F) R: 5 um nmero par se e somente se Braslia a capital do Brasil. (V) S: 5 um nmero par se e somente se Braslia no a capital do Brasil. Com isso terminamos o estudo das operaes lgicas fundamentais. Agora podemos construir a tabela-verdade correspondente a qualquer proposio composta dada, tabela-verdade esta que mostrar todos os casos em que a proposio composta ser verdadeira (V) ou falsa (F). De modo geral, o nmero de linhas da tabela-verdade de uma proposio composta formada por

n proposies simples ser igual a 2 n .

Est pronto para resolver alguns exerccios? Bem, vamos l! EXEMPLO 1: Construa a tabela verdade da seguinte proposio composta: p (~ q). Neste caso, temos uma proposio composta que constituda de 2 proposies simples, p e q. Portanto, a tabela-verdade ter

2 2 = 4 linhas.

Inicialmente, devemos completar as duas primeiras colunas com todos os valores lgicos possveis para as proposies simples p e q. p V V F F q V F V F ~q p

(~ q)

Em seguida, devemos realizar a operao de negao da proposio q. A proposio ~q ser (F) quando a proposio q for (V) e ser (V) quando a proposio q for (F). p q ~q p

(~ q)

V V F F

V F V F

F V F V

Finalmente, vamos fazer a conjuno p (~ q). Ou seja, na tabela devemos fazer a conjuno entre a primeira e terceira colunas. O resultado ser (V) apenas quando a primeira e a terceira colunas tiverem valor lgico (V). Assim, chegamos ao resultado final: P V V F F q V F V F ~q F V F V p (~ q) F V F F

EXEMPLO 2: Construa a tabela verdade da seguinte proposio composta:

( p q ) (q r ) .

Neste caso, temos uma proposio composta que constituda de 3 proposies simples, p, q e r. Portanto, a tabela-verdade ter

2 3 = 8 linhas.

Inicialmente, devemos completar as trs primeiras colunas com todos os valores lgicos possveis para as proposies simples p, q e r. Na segunda etapa, iremos calcular os valores lgicos da condicional ( p q ) completando, assim, a quarta coluna, que ter valor (F) apenas quando a proposio p for (V) e a proposio q for (F). Podemos calcular tambm os valores lgicos da disjuno (q r ) completando a quinta coluna, que ter valor (F) apenas quando as duas proposies q e r tiverem valor lgico (F). p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F V V V V q r V V V F V V V F (p q) (q r)

Finalmente, na ltima etapa vamos realizar a dupla implicao ( p q ) (q r ) . Ou seja, na tabela devemos fazer a bicondicional entre a quarta e a quinta colunas. O resultado ser (V) apenas quando estas duas colunas tiverem o mesmo valor lgico. Assim, chegamos ao resultado final: p V V V q V V F r V F V pq V V F q r V V V (p q) (q V V F

r)

V F F F F

F V V F F

F V F V F

F V V V V

F V V V F

V V V V F

Construindo e comparando as tabelas verdade de duas proposies compostas P e Q podemos verificar por inspeo para que valores lgicos das proposies componentes simples essas proposies P e Q sero iguais. Uma situao muito importante ocorre quando duas proposies P e Q so iguais para quaisquer valores lgicos de suas proposies componentes. Nesse caso, diremos que essas proposies P e Q so proposies equivalentes. Em outras palavras: duas proposies sero equivalentes quando tiverem exatamente a mesma tabela verdade. Veja dois exemplos em que isso ocorre. Preste bastante ateno! EXEMPLO 3: Mostre que as proposies

( p q ) e (~ q ~ p ) so proposies equivalentes.

Para mostrar que duas proposies so equivalentes, basta construir suas tabelas verdade. Se as tabelas forem iguais, ento as proposies sero equivalentes. A tabela verdade da proposio p V V F F q V F V F p V F V V

( p q ) dada por:

A tabela verdade da proposio p V V F F q V F V F ~q F V F V ~p F F V V

(~ q ~ p ) dada por:
~q V F V V

~p

Portanto, as proposies so de fato equivalentes. Isto significa dizer que a frase Se Flvia filha de Fernanda, ento rica irm de Flvia logicamente equivalente frase Se rica no irm de Flvia, ento Flvia no filha de Fernanda. EXEMPLO 4: Mostre que as proposies

~ ( p q ) e (~ p ~ q ) so proposies equivalentes.

Vamos construir as tabelas verdade destas duas proposies.

10

A tabela verdade da proposio p V V F F q V F V F pq V F F F

~ ( p q ) dada por:

~(p q) F V V V

A tabela verdade da proposio p V V F F q V F V F ~p F F 0V V ~q F V F V

(~

p ~ q ) dada por:
~p ~q F V V V

Portanto, as proposies so de fato equivalentes. Isso significa dizer que a forma correta de fazer a negao da frase Joo advogado e Maria bonita a seguinte: Joo no advogado ou Maria no bonita. Essas duas equivalncias lgicas estudadas nos dois ltimos exemplos so muito importantes e utilizadas com bastante frequncia na resoluo de problemas de lgica em concursos pblicos. Vamos ver alguns exemplos? EXEMPLO 5: Se Vera viajou, Carla no foi ao casamento. Se Carla no foi ao casamento, Vanderleia viajou. Se Vanderleia viajou, o navio afundou. Ora, o navio no afundou. Logo: (a) Vera no viajou e Carla no foi ao casamento. (b) Carla no foi ao casamento e Vera viajou. (c) Carla no foi ao casamento e Vanderleia no viajou (d) Carla no foi ao casamento ou Vanderleia viajou. (e) Vera e Vanderleia no viajaram. No se deixe atrapalhar pelo enunciado, que at parece ser um pouco confuso. Apenas parece! Na realidade, no nada confuso. Vamos isolar as proposies lgicas simples que aparecem no enunciado desta questo: p: Vera viajou. q: Carla no foi ao casamento. r: Vanderleia viajou. s: O navio afundou. Observe que todas as frases do enunciado so da forma condicional, ou seja, se premissa A ento premissa B. Observe tambm que a nica coisa que sabemos ao certo da leitura do enunciado que o navio no afundou. Esta a nossa verdade absoluta nesta questo. Portanto a proposio s tem valor lgico (F).

11

Agora vamos utilizar a equivalncia lgica demonstrada no exemplo 3. Se Vanderleia viajou, o navio afundou. Mas como temos certeza de que o navio no afundou, ento conclumos que Vanderleia no viajou. Portanto, a proposio r tem valor lgico (F). Se Carla no foi ao casamento, Vanderleia viajou. Como temos certeza de que Vanderleia no viajou, ento conclumos que Carla foi ao casamento. Portanto, a proposio q tem valor lgico (F). Se Vera viajou, Carla no foi ao casamento. Como temos certeza de que Carla foi ao casamento, ento conclumos que Vera no viajou. Portanto a proposio p tambm tem valor lgico (F). Portanto, podemos concluir que: Vanderleia no viajou, Carla foi ao casamento, Vera no viajou e o navio no afundou. A resposta correta para a questo a E. EXEMPLO 6: Dizer que no verdade que Andr artista e Bernardo no engenheiro logicamente equivalente a dizer que verdade que: (a) Andr artista se e somente se Bernardo no engenheiro. (b) Andr artista ou Bernardo engenheiro (c) Andr no artista ou Bernardo engenheiro. (d) Se Bernardo engenheiro, ento Andr artista. (e) Andr no artista e Bernardo engenheiro. Nesta questo queremos saber, na realidade, qual a negao da afirmativa contida no enunciado. Vamos isolar as proposies lgicas simples contidas nele: p: Andr artista. q: Bernardo engenheiro. ~q: Bernardo no engenheiro. Logo, a proposio composta expressa no enunciado a seguinte: ( p ~ q ) . Utilizando a equivalncia lgica demonstrada no exemplo 4, sabemos que a negao da proposio ( p ~ q ) logicamente equivalente a ~ p ~ (~ q ) , que o mesmo que ~ pq. Portanto, a negao de Andr artista e Bernardo no engenheiro a frase Andr no artista ou Bernardo engenheiro. A resposta correta da questo a C. EXEMPLO 7: Se voc simplifica o exerccio, voc acha a resposta. A negao desta proposio : (a) Voc simplifica o exerccio e no acha a resposta. (b) Se voc simplifica o exerccio, voc no acha a resposta.

12

(c) Se voc no simplifica o exerccio, voc no acha a resposta. (d) Voc no simplifica o exerccio e voc no acha a resposta. Para resolver este problema, vamos novamente isolar as proposies lgicas simples que aparecem no enunciado da questo. p: Voc simplifica o exerccio. q: Voc acha a resposta. Portanto, queremos encontrar uma equivalncia lgica para a proposio cuja tabela verdade apresentada a seguir: P V V F F q V F V F pq V F V V ~ (p F V F F

~ ( p q) ,

q)

Vamos expressar atravs de uma proposio cada uma das opes de resposta apresentadas. No item (a) temos a proposio Voc simplifica o exerccio e no acha a resposta, que o mesmo que; ( p ~ q ) . No item (b) temos a proposio Se voc simplifica o exerccio, voc no acha a resposta, que o mesmo que: ( p ~ q ) . No item (c) temos a proposio Se voc no simplifica o exerccio, voc no acha a resposta, que o mesmo que: (~ p ~ q ) . No item (d) temos a proposio Voc no simplifica o exerccio e voc no acha a resposta, que o mesmo que: (~ p ~ q ) . Agora basta montarmos a tabela verdade destas proposies: p V V F F q V F V F ~p F F V V q F V F V p ~q F V F F p F V V V

~q

~p V V F V

~q

~p ~q F F F V

Observando atentamente as duas tabelas, conclumos que as proposies

( p ~ q ) so logicamente equivalentes.

~ ( p q) e

Portanto, a resposta correta para esta questo a A. Bem, nossa aula termina por aqui. Espero que voc tenha gostado! No deixe de estudar os assuntos apresentados nesta aula e procure fazer todas as atividades e exerccios propostos. At a nossa prxima aula:

13