Proposies

Chamamos de proposio todo o conjunto de palavras ou smbolos que exprimem um fato ou uma informao. Tecnicamente, uma proposio uma frase que pode ser apenas verdadeira ou falsa, os chamados valores lgicos. Para uma proposio, valem os seguintes axiomas:

Axioma da no contradio: Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. Axioma do terceiro excludo: Toda proposio ou verdadeira ou falsa, isto , verifica-se sempre um destes casos e nunca um terceiro.

Pelos axiomas acima podemos concluir que toda proposio tem um, e somente um valor lgico: VERDADEIRO ou FALSO, os quais denotamos por V e F, respectivamente.

Exemplo: Cada uma das seguintes frases uma proposio. (a) Belo Horizonte a capital de Minas Gerais. (b) O nmero 5 par. (c) 7 o dgito da dcima casa decimal da expanso decimal de (d) A lua feita de queijo suo. (e) Existe vida inteligente em Marte. (f) Est chovendo.

Claramente, (a) verdadeira, enquanto (b) e (d) so falsas. Podemos ter dvidas quanto ao valor lgico de (c) e (e). A veracidade ou falsidade da proposio (f) depende das condies meteorolgicas no instante em que essa declarao feita.

Exemplo: Nenhuma das frases seguintes uma proposio, porque no faz sentido questionar se alguma delas verdadeira ou falsa. (a) O dia est ensolarado? (b) Venha conhecer So Paulo! (c) Boa Tarde!

Usaremos letras maisculas para indicar uma proposio. Em geral, sero A, B, C, . . . , P,Q, R, . . .. Uma proposio simples aquela que no possui nenhuma outra proposio como parte integrante de si mesma, como por exemplo, a proposio (ii) acima. Uma proposio composta formada pela combinao de duas ou mais proposio por meio de conectivos, como e, ou, etc. Observe que a proposio (i) acima composta. O valor lgico de uma proposio composta depende dos valores lgicos das proposies simples que a compem e dos conectivos usados. Os conectivos lgicos so denotados por smbolos conforme veremos.

Conectivos Lgicos e Tabela Verdade

A tabela-verdade um recurso utilizado para determinar todos os possveis valores lgicos de uma proposio composta, a partir de todas as possveis atribuies de valores lgicos dados s proposies simples que a compem. Como j dito anteriormente, o resultado depende do conectivo que gera a proposio composta. Conectivos diferentes geram tabelas-verdade diferentes. Vejamos os conectivos lgicos usados e suas respectivas tabelas verdade.

Conjuno
O conectivo e conhecido como conjuno e denotado pelo smbolo . Dadas duas proposies A e B, sua conjuno, "A e B", denotado por A B. Por exemplo, a proposio composta Morangos so vermelhos e mel doce verdadeira e formada pela conjuno de duas proposies simples e verdadeiras; a primeira, "Morangos so vermelhos" e a segunda, "Mel doce". E se fizermos a conjuno de uma proposio falsa com uma verdadeira? E de duas falsas? Qual

seria o valor lgico da proposio composta? Com base na sua compreenso da palavra e, complete a tabela verdade da conjuno A B abaixo: A V V F F Podemos, assim, enunciar: O valor lgico da conjuno de duas proposies ser verdadeiro quando ambas as proposies forem verdadeiras e falso nos outros casos. B V F V F A B

Disjuno
O conectivo ou, tambm conhecido como disjuno e denotado pelo smbolo , de forma que a disjuno de duas proposies A e B denotada por A B. Por exemplo, a proposio composta Morangos so vermelhos ou mel salgado verdadeira e formada pela disjuno duas proposies simples; a primeira (Morangos so vermelhos) verdadeira e a segunda (Mel salgado) falsa. Qual ser o valor lgico da proposio composta pela disjuno de duas proposies nos outros casos? Com base na sua compreenso da palavra ou, complete a tabela verdade da disjuno A B abaixo: A V V F F B V F V F A B

Voc ver que possvel concluir:

O valor lgico da disjuno de duas proposies ser verdadeiro quando pelo menos uma das proposies for verdadeira e falso quando ambas forem falsas.

Condicional e Bicondicional

Algumas proposies podem ser combinadas na forma "Se A, ento B". Tal conectivo conhecido como condicional (ou implicao) e denotado pelo smbolo (que nos traz mente a seta de implicao ), de forma que a proposio "Se A, ento B" fica denotada por A B. Existem vrias leituras para esta proposio:

Se A, ento B; A implica em B; Sempre que A temos B; A suficiente para B (ou A condio suficiente para B); B necessrio para A; Para que B seja verdadeira, suficiente que tenhamos A A, somente se B.

Alm disso, a proposio A conhecida como antecedente e B como consequente da condicional A B.

A tabela verdade da condicional deve ser completada com um pouco mais de cuidado. Para compreender melhor sua definio, suponha que uma pessoa declare que "Se amanh tiver sol, ento eu irei ao clube". Se o dia no estiver ensola rado, independente de o sujeito ir ou no ao clube, voc no pode afirmar que a

proposio falsa, pois o mesmo pode ter ido ao clube tomar uma sauna ou pagar a mensalidade. A frase seria falsa se o dia amanhecesse ensolarado e ele no fosse ao clube. A proposio "Se Collor atirou em Figueiredo, ento Itamar foi o primeiro presidente" considerada sem sentido no uso comum, pois ambas as componentes so falsas. Porm, na linguagem formal, o lgico deseja designar um valor lgico proposio A B para cada uma das quatro possibilidades lgicas de A e B. Embora sem sentido em nossa linguagem comum, por razes que faro mais sentido posteriormente, os lgicos decidiram-se pela definio seguinte:

O valor lgico de uma condicional ser falso quando o antecedente for verdadeiro e o consequente for falso. Nos outros casos, a condicional ser verdadeira.

Com base nesta discusso, complete a tabela verdade da condicional:

A V V F F

B V F V F

AB

Salientamos ainda, que da implicao A B, podem ser obtidas trs novas proposies:

B A a recproca de A B A B a inversa de A B B A a contrapositiva de A B

O conectivo bicondicional (ou equivalncia) simbolizado por pelo smbolo . A expresso A B uma abreviao de (A B) (B A), (ou seja, de uma dupla

implicao) que deve ser lida como A se e somente se B, ou A equivalente a B, ou A se s se B, ou A necessrio e suficiente a B. possvel escrever a tabela verdade de A B passo a passo:

A V V F F

B V F V F

A B

B A

AB

Em resumo: O valor lgico de uma bicondicional ser verdadeiro quando ambas as proposies tiverem o mesmo valor lgico e falso caso contrrio.

Negao

At ento, os conectivos que vimos so os chamados conectivos binrios, pois eles unem duas expresses a fim de produzir uma terceira. J o conectivo de negao, que passamos a definir agora um conectivo unrio, ou seja, um conectivo que atua em uma nica expresso para produzir outra. No caso, a negao de uma proposio A, simbolizada por A, lida como "no A". O valor lgico de uma negao ser verdadeiro quando a proposio for falsa, e ser falso quando a proposio for verdadeira. Logo, A tem valor lgico oposto ao de A. A V F A

Na linguagem coloquial usamos o vocbulo "no" antes do verbo para se construir a negao de proposies simples: "Alex NO Engenheiro." Em proposies compostas, a negao deve ser feita com cuidado. Em geral, utilizamos expresses tais como "NO VERDADE QUE..." ou " FALSO QUE..." para negar algumas proposies.

Exemplo: A tabela abaixo ilustra alguns exemplos e comentrios.

Proposio Vai fazer calor hoje.

Negaes Corretas No vai fazer calor hoje. No verdade que vai fazer calor hoje.

Negao Incorreta

Olvia alta e morena.

falso que Olvia seja alta e morena. Olvia no alta ou no morena. Olvia baixa ou clara.

Olvia baixa e clara.

Obs: Olvia no possui as duas caractersticas, mas pode ter apenas uma delas

O filme bom ou curto.

No verdade que o filme bom ou curto. O filme no bom nem curto. O filme ruim e longo.

O filme ruim ou longo

Obs:

filme

no

possui

nenhuma das caractersticas.

Nos exemplos acima possvel observar que a negao da conjuno a disjuno das negaes e que a negao da disjuno a conjuno das negaes. Complete a tabela verdade abaixo e verifique esse fato como geral.

A V V F F

B V F V F

(A B) A B

(A B) A B

Para a implicao A B, a negao (A B) equivalente a A B . Considere, por exemplo, a proposio "Se voc passar no vestibular, ento ganhar um caro "tem negao "No verdade que se voc passar vestibular, ento ganhar um carro", o que significa que "Voc passa no vestibular e no ganha o carro". Para se convencer desse fato e tambm para generaliz-lo, complete a tabela verdade abaixo que reescreve a implicao:

A V V F F

B V F V F

(A B) (A B)

Assim, pela negao da disjuno e de posse da reescrita da implicao temos a forma de negao da implicao: (A B) (A B) Observe que, a partir de sentenas simples, estamos criando diversas proposies a partir dos conectivos que definimos e que a tabela verdade da proposio sempre estabelecer seus valores lgicos em funo das proposies simples que a compem.

Exemplo: Construa a tabela verdade da proposio (A A) B

A V V F F

A F F V V

A A V V V V

B V F V F

(A A) B V F V F

O nmero de linhas que uma tabela verdade tem depende do nmero de proposies simples que compem a proposio. At ento, nossas tabelas verdade eram compostas por duas ou quatro linhas, quando as sentenas simples ocorriam sozinhas ou aos pares.

Surge a questo: O que deve ocorrer se acrescentarmos mais uma proposio que tambm pode ser verdadeira ou falsa? A resposta simples, se acrescentarmos mais uma proposio, para cada uma das combinaes que existiam devemos ter mais duas, que combinam cada uma delas com o valor lgico verdadeiro e falso da nova proposio. Isso nos leva a concluir que o nmero de linhas deve dobrar!

Assim, se temos n proposies que podem ser verdadeiras ou falsas a compondo uma proposio, a tabela verdade da proposio composta deve ter 2n linhas.

Exemplo: Construa a tabela verdade da proposio A (B C) (A B) (A C) Como so trs proposies simples, devemos ter 23 linhas na tabela verdade. O nmero de colunas fica definido pelas vrias proposies mais simples que compem a proposio. Para facilitar, faremos P = A (B C) e Q = (A B) (A C). Veja:

A B C

A B

A C

B C

A (B C)

(A B) (A C) V

PQ

V V

V V V

V F F V F F

V F F F F F F

F V F F F F F

V V F V V V F

V V F F F F F

V V F F F F F

V V V V V V V

F V V F V F F F V F F F

Tautologias
Uma proposio, como A (B C) (A B) (A C) cujos valores lgicos so sempre verdadeiros chamada uma tautologia. E quando os valores lgicos so sempre falsos, denominamos uma contradio. Vale ressaltar que existem proposies que no so tautologias nem contradies. Observe que quando uma proposio na forma A B uma tautologia, os valores lgicos de A e B conferem para todas as colunas da tabela-verdade (esta outra maneira de identificar que duas proposies so equivalentes). Neste caso, A e B sero chamadas de proposies equivalentes e passaremos a denotar por A B. Em resumo, A B indicar uma proposio A B que uma tautologia. Apesar de existirem diversas tautologias, vamos listar as equivalncias tautolgicas mais teis. Vamos representar qualquer contradio por 0 e qualquer tautologia por 1.

Principais Equivalncias Tautolgicas A B B A

(comutatividade)

A B B A (A B) C A (B C)

(A B) C A (B C) A (B C) (A B) (A C)
(distributividade)

(associatividade)

A (B C) (A B) (A C) A 0 A A A 1

A 1 A A A 0

(elemento neutro) (complementares)

(A) A (A B) (B A)

(dupla negao) (contrapositiva)

Fica a cargo do leitor verificar que cada uma das equivalncias , de fato, tautologia. Note que existem proposies que no so tautologias nem contradies

Exerccios
1 Determine se cada uma das frases abaixo uma proposio ou no. Em caso afirmativo, classifique-a como simples ou composta. a) Em 7 de junho de 1442 nevou em algum lugar no Rio Grande do Sul. b) Einstein tinha ps chatos ou Aristteles era curioso. c) A China capitalista. d) 10 menor que 7 e 31 divisvel por 7. e) Ela muito talentosa. f) Quanto vale este carro? g) Saia da grama! h) O nmero 17 um nmero primo. i) Se voc usar o cinto de segurana, ento estar sempre seguro. j) O nmero 2987654321 + 37 primo se, e somente se, 2 + 3 = 5. k) Se sua nota for superior a 60, ento voc ser aprovado. l) Dentre as proposies dadas nos itens de a) a k), indique as que voc acha que devem ser verdadeiras ou falsas, e aquelas cujo status pode ser difcil determinar.

2 Qual o valor lgico das proposies seguintes? a) O tringulo que tem 3 lados diferentes issceles. b) 4 a raiz de 16 e 9 o cubo de 2. c) 4 a raiz de 16 ou 9 o cubo de 2.

d) Se 4 a raiz de 16, ento 9 o cubo de 2. e) Se 4 par, ento 8 > 6. f) Se 4 mpar, ento 8 > 6.

3 Construa a tabela verdade das seguintes proposies: a) (A A) (B B) b) [(A B) C] c) (P Q) (P Q )

4 Escreva a negao das seguintes proposies: a) Vnus um planeta do sistema solar e a lua o satlite da terra. b) Existem formas de vida em outros planetas do universo. c) O sol uma estrela e Marte um planeta. d) Clio engenheiro ou advogado. e) Dia 01 de agosto no feriado. f) Se 4 mpar, ento 8 > 6. g) Jos adora carne, mas detesta salada.

5 Construa tabelas verdade para mostrar que cada uma das principais equivalncias tautolgicas listadas no texto so de fato tautologias.

6 Verifique quais das sentenas abaixo so tautologias, contradies ou nenhuma das duas. a) A (B C) A C b) (A B) ( A B) c) [P (P Q)] (P Q )