You are on page 1of 12

1.

Clculo Proposicional
1.1. Proposio: Chama-se sentena ou proposio todo o conjunto de palavras ou smbolos que exprimem um pensamento de sentido completo. Sentena ou proposio se distinguem do nome, o qual designa um objeto. Exemplos de nomes: Pedro. O co do menino. 43 Exemplos de proposies: 1. A lua um satlite da terra. 2. O filho do Presidente do Brasil, em 1970, era o professor. 3. 3 x 5 = 5 x 3 4. Onde voc mora? 5. Que belo jardim o desta praa! 6. Escreva um verso. 7. Pedro estuda e trabalha. 8. Duas retas de um plano so paralelas ou incidentes. 9. Se Pedro estuda, ento tem xito na escola. 10. Vou ao cinema se e somente se conseguir dinheiro. Na lgica, restringimo-nos a uma classe de proposies, que so as declarativas e que nem admitem ou o valor verdade V ou o valor falso F, um excluindo o outro. Assim, exclumos de nossas consideraes: - Proposies exclamativas, como a de n 5. - Proposies interrogativas, como a do n 4. - Proposies imperativas, como a do n 6. So declarativas as de nmeros 1,2,3,7,8,9 e 10. A lgica matemtica adota como regras fundamentais os dois seguintes princpios ou axiomas: ( I ) PRINCPIO DA NO CONTRADIO: Uma proposio no pode ser verdadeira e falsa ao mesmo tempo. ( II ) PRINCPIO DO TERCEIRO EXCLUDO: Qualquer proposio, ou verdadeira ou falsa, no podendo ser nada mais do que isso. Por exemplo, as proposies 1 e 3 so ambas verdadeiras, mas so falsas as 3 proposies seguintes: Vasco da Gama descobriu o Brasil. Dante escreveu os Lusadas. Obs: Cames escreveu Os Lusadas. um nmero inteiro. As proposies so geralmente designadas pelas letras latinas minsculas p, q, r, s... (com o sem ndices ou acentos). 1.2. Valores Lgicos das Proposies: Diz-se que o valor lgico de uma proposio p verdade quando p verdadeira e falsidade quando p falsa. Os valores lgicos verdade e falsidade de uma proposio designam-se abreviadamente pelas letras V e F ou pelos smbolos 1 e 0, respectivamente. Assim, o que os princpios da no-contradio e do terceiro excludo afirmam que: Toda proposio pode assumir um, e somente um, dos dois valores: V ou F.

1.3 Proposies simples e Proposies compostas As proposies podem se classificadas como simples ou compostas. A proposio simples aquela que no contm nenhuma outra proposio como parte integrante de si mesma. A proposio composta formada pela combinao de duas ou mais proposies simples. Ex.: Proposio simples P : Carlos careca. Q: Pedro estudante R: O nmero 25 um quadrado perfeito Proposies compostas P: Carlos careca e Pedro estudante Q: Carlos careca ou Pedro estudante R: Se Carlos careca, ento feliz

As proposies compostas so tambm chamadas de frmulas proposicionais. Constri-se uma proposio composta a partir de duas ou mais proposies simples e do uso de conectivos. 1.4 Conectivos Definio: Chamam-se conectivos as palavras usadas para formar proposies compostas a partir de proposies simples. Ex.: P: O nmero 6 par e o nmero 8 o cubo do nmero 2 Q: O tringulo ABC retngulo ou issceles R: No est chovendo S: Se Jorge engenheiro, ento sabe matemtica T: O tringulo ABC equiltero se e somente se equingulo Podemos considerar como conectivos usuais da lgica as palavras grifadas, isto : E, Ou, No, Se ... Ento..., ... Se e somente se... (sse) 1.5 Tabela-Verdade Construo das tabelas - verdades: Segundo o princpio do terceiro excludo, toda proposio simples p verdadeira ou falsa, isto , tem o valor lgico V (verdade) ou o valor lgico F (falsidade). P V F
P V F

O valor lgico de uma expresso composta depende unicamente dos valores lgicos das expresses simples que compem a mesma. Admitindo isso, recorre-se a um dispositivo denominado tabela verdade para aplicar este conceito na prtica. Na tabela verdade figuram todos os possveis valores lgicos da proposio correspondentes a todas as possveis atribuies de valores lgicos s proposies simples componentes. Assim, por exemplo, uma proposio composta cujas proposies simples componentes so p e q podem ter as possveis atribuies: 1 2 3 4 p V V F F q V F V F

Neste caso, as combinaes entre os elementos so: VV, VF, FV e FF. As tabelas - verdade so construdas como arranjos dos elementos componentes, e como um elemento pode receber somente os valores V ou F, o tamanho de uma tabela dado pela quantidade de elementos combinados: No caso de uma proposio composta com 3 elementos, teramos 8 combinaes possveis: VVV, VVF, VFV, VFF, FVV, FVF, FFV, FFF. 1 2 3 4 5 6 7 8 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

Observao 1: a ordem das letras pode ser diferente e a combinao entre as letras tambm pode ser dirente da apresentada acima. Deve-se somente tomar o cuidado de no repetir duas combinaes (2 linhas c/ VVF, por exemplo). Observao 2: Para construirmos as tabelas verdade podemos usar as seguintes regras. O nmero de linhas sempre depende do nmero de elementos combinados, e como uma preposio pode assumir os valores V ou F, o nmero de linhas de uma tabela verdade dado por 2n. 1 elemento : 2 l linhas = 2 linhas 2 elementos: 2 l linhas = 4 linhas 3 elementos: 2 l linhas = 8 linhas 4 elementos: 2 l linhas = 16 linhas Para construir a tabela inicia-se sempre atribuindo V, F,V, F,... para o elemento mais direita da tabela, V, V, F, F,... para o segundo elemento da direita para a esquerda, V, V, V, V, F, F, F, F, ... para o terceiro elemento partir da esquerda e assim, sucessivamente. Exerccio: construa uma tabela verdade para 4 elementos: p, q, r, s. 1.6. Notao O valor lgico para uma proposio simples p e indica-se por V(p). Assim, exprime-se que p verdadeiro escrevendo: V(p) = V. Analogamente, pode-se exprimir que a proposio p tem o valor falso utilizando V(p) = F. Considerando, por exemplo, as seguintes proposies simples: p: O Sol verde q: um hexgono tem 6 lados r: 2 um nmero mpar s: um tringulo tem 4 lados Temos: V(p)=F V(q)=V V(r) =F V(s) =F

2. Operaes lgicas sobre as Proposies. Quando pensamos, efetuamos muitas vezes certas operaes sobre proposies, chamadas operaes lgicas. Estas obedecem a regras de um clculo, denominado Clculo Proposicional, semelhante ao da aritmtica sobre nmeros. Sero apresentadas, a seguir, as operaes lgicas fundamentais do clculo proposicional. 2.1 Negao (~) Definio: chama-se negao de uma proposio p a proposio representada por no p, cujo valor lgico verdade (V) quando Falsa e falsidade (F) quando p verdadeira. Assim, no p tem o valor oposto do valor de p. A negao de p indica-se com a notao ~p, e lido como no p. O valor lgico da negao de uma proposio definido por uma tabela verdade muito simples: 1 2 p V F ~p F V

Ou seja: ~V = F, e V (~P) = ~ V(P) Exemplos: (1) p: 2 + 3 = 5 (V) e V (~p) = ~V(p) = ~V = F (2) q: 7 < 3 (F) V (~p) = ~V(q) = ~F = V ~p: 2 + 3 5 (F) e ~q: ~(7 < 3) (V) ~F = V

(3) r: Roma a capital da Frana (F) V (~r) = ~V(r) = ~F = V Na linguagem comum a negao efetua-se, nos casos mais simples, antepondo o advrbio no ao verbo da proposio dada. Assim, por exemplo, considerando a proposio: p : O Sol uma estrela sua negao : ~p : O Sol no uma estrela Outra maneira de efetuar a negao consiste em antepor proposio dada expresses tais como no verdade que, falso que. Assim, por exemplo, considerando a proposio: q : Carlos mecnico sua negao : ~q : No verdade que Carlos mecnico ou ainda ~q : falso que Carlos mecnico

Deve-se tomar um pouco de cuidado com a negao, porque, por exemplo a negao de Todos os homens so elegantes Nem todos os homens so elegantes e a de Nenhum homem elegante Algum homem elegante. 2.2. Conjuno ( . , ^ ) Definio: 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 a falsidade (F) nos demais casos. Simbolicamente, a conjuno de duas proposies p e q indica-se com a notao: p . q, que se l: p e q. O valor lgico da conjuno de duas proposies , portanto, definido pela seguinte tabela verdade: p V V F F q V F V F p.q V F F F

ou seja, pelas igualdades: V . V = V, V . F = F, e (p ^ q) = V (p) ^ V (q) F . V, F.F=F

Exemplos: p : A neve branca (V) q : 2 <5 (V) (1) p . q: A neve branca e 2 < 5 (V) V (p . q) = V(p) . V(q) = V . V = V p : O enxofre verde (F) q : 7 um nmero primo (V) p ^ q : O enxofre verde e 7 um nmero primo (F) V (p ^ q) = V(p) ^ V (q) = F ^ V = F p : CANTOR nasceu na Rssia (3) q : FERMAT era mdico (F) (V)

(2)

p ^ q : CANTOR nasceu na Rssia e FERMAT era mdico (F) V (p ^ q) = V(p) ^ V(p) = V ^ F = F

p : > 4 (F) (4) p ^ q : > 4 e sen /2 = 0 (F) V (p ^ q) = V (p) = F ^ F = F 2.3. Disjuno ( v , + ) Definio: 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 e a falsidade (F) quando as proposies p e q so ambas falsas. Simbolicamente, a disjuno de duas proposies p e q indica-se com a notao: p + q, que se l: p ou q. O valor lgico da disjuno de duas proposies , portanto definido pela seguinte tabela verdade: p q p+q V V V V F V F V V F F F V (p + q) = V (p) + V (q) Exemplos: p : Paris a capital da Frana q : 9 - 4 = 5 (V) (1) (V) q : sen

=0

(F)

p + q: Paris a capital da Frana ou 9 4 = 5 V (p + q) = V(p) + V(q) = V + V = V p : CAMES escreveu os Lusada q : = 3 (F) (V)

(V)

(2)

p + q : CAMES escreveu os Lusadas ou = 3 V (p + q) = V(p) + V(q) = V + F = V p : Roma a capital da Rssia (3) q : 5/7 uma frao prpria (F) (V)

(V)

p + q : Roma a capital da Rssia ou 5/7 uma frao prpria (V) V (p + q) = V(p) + V(p) = F + V = V p : CARLOS GOMES nasceu na Bahia (F) (4) q: -1 = 1 (F) (F) p + q: CARLOS GOMES nasceu na Bahia ou 1 = 1 V (p + q) = V (p) + V(q)= F + F = F

2.4. Disjuno Exclusiva ( , + ) Na linguagem comum a palavra ou tem dois sentidos. Assim, p. ex., consideremos as duas seguintes proposies compostas: P : Carlos mdico ou professor Q: Mrio alagoano ou gacho Na proposio P se est a indicar que uma pelo menos das proposies Carlos mdico, Carlos professor verdadeira, podendo ser ambas verdadeiras: Carlos mdico e professor. Mas, na proposio Q, bvio que uma e somente uma das proposies Mrio alagoano, Mrio gacho verdadeira, pois, no possvel ocorrer Mrio alagoano e gacho. Na proposio P diz-se que ou inclusivo, enquanto que, na proposio Q, diz-se que ou exclusivo. Em Lgica Matemtica usa-se habitualmente o smbolo + para ou inclusivo e os smbolos +, para ou exclusivo. Assim sendo, a proposio P a disjuno inclusiva ou apenas disjuno das proposies simples Carlos mdico, Carlos professor, isto : P: Carlos mdico + Carlos professor ao passo que a proposio Q a disjuno exclusiva das proposies simples Mrio alagoano, Mrio gacho, isto : Q: Mrio alagoano Mrio gacho De um modo geral, chama-se disjuno exclusiva de duas proposies p e q a proposio representada simbolicamente por p q, que se l: ou p ou q ou p ou q, mas no ambos, cujo valor lgico verdade (V) somente quando p verdadeira ou q verdadeira, mas no quando p e q so ambas verdadeiras, e falsidade(F) quando p e q so ambas verdadeiras ou ambas falsas. O valor lgico da disjuno exclusiva de duas proposies definido pela seguinte tab. verdade: p V V F F Q V F V F pq F V V F

2.5 Condicional (): Definio: chama-se condicional uma proposio representada por se p ento q cujo valor lgico falsidade (F) quando p verdadeira e q falsa e verdade (V) nos outros casos. Simbolicamente, a condicional de duas proposies p e q indica-se com a notao pq e pode ser lida das seguintes formas: I. p implica q II. se p ento q III. p condio suficiente para q IV. q condio necessria para p

Na condicional pq , diz-se que p o antecedente e o q o conseqente. O smbolo chamado de implicao. Considere o seguinte exemplo: Joo trabalha em uma estao meteorolgica e faz a seguinte afirmao no dia 03 de maro: Se a umidade subir acima de 90 %, ento chover em menos de 24 horas p: A umidade sobe acima de 90 % q: Chover em menos de 24 horas. At o dia 05, embora a umidade estivesse a 95 % durante as ltimas 48 horas, no choveu. Isso significa que a afirmao feita anteriormente era falsa, ou seja: V(p q) : F | V(v f): F Isso significa que sempre que o antecedente for verdadeiro, o conseqente deve ser verdadeiro para que o resultado de toda a proposio seja verdadeira. O condicional no afirma a veracidade do antecedente e do conseqente, mas a relao existente entre eles. Ex2.: Se Joo Engenheiro, ento sabe matemtica. A tabela verdade da condicional de duas proposies , portanto: P q pq 1 V V V 2 V F F 3 F V V 4 F F V 2.6 Bicondicional ( ): Definio: chama-se bicondicional uma proposio representada por p se e somente se q cujo valor lgico verdade (V) quando p e q so ambas, verdadeira ou falsas. Simbolicamente, a bicondicional de duas proposies p e q indica-se com a notao p q e pode ser lida das seguintes formas: i. p condio necessria e suficiente para q ii. q condio necessria e suficiente para p A tabela verdade da bicondicional de duas proposies , portanto: P V V F F q V F V F Pq V F F V q, e q p ao mesmo tempo,

1 2 3 4

Quando se tem uma bicondicional p q, na verdade implicamos p ou seja, s verdade quando as duas condicionais so verdadeiras.

Considerando ento que p q s verdade quando as duas condicionais p q e q p so verdades, temos falsidade nos casos: p q sendo v(p)= V e V(q) = F e, q p sendo v(q)= V e V(p) = F e, correspondentes s linhas 2 e 3 da tabela verdade.

Ex: Joo careca, sse Joo no tem cabelo. Isso na verdade implica: i) Se joo careca, ento Joo no tem cabelo e ii) Se Joo no tem cabelo, ento Joo careca. Obrigatoriamente, as duas proposies simples que compem cada uma das proposies condicionais i e ii devem ser: ambas verdadeiras ou falsas, para a bicondicional ser verdadeira. 3. Tabelas-verdades de proposies compostas: Dadas vrias proposies simples p,q,r,..., podemos combin-las mediante o uso dos conectivos: ~, ., +, , e construir proposies compostas, tais como: (p.(~q p)). ~((p~q) (q+p)) Com o emprego das tabelas-verdades das operaes lgicas fundamentais possvel construir a tabela-verdade correspondente a qualquer proposio composta dada. Logicamente, o valor-verdade final depende dos valores lgicos das proposies componentes. Exemplo: construa a tabela-verdade da proposio: ~( p. ~q) 4. Tautologia, contradio e indeterminismo As frmulas proposicionais podem apresentar os seguintes casos quanto s suas tabelas-verdades: a) ltima coluna da tabela-verdade apresenta somente V(s) Frmula tautolgica Tautologia b) ltima coluna da tab. - verdade apresenta somente F(s) Frmula contra-vlida Contradio c) ltima coluna da tabela-verdade apresenta V(s) e F(s) Frmula indeterminada 5. Implicao Lgica e Equivalncia Lgica 5.2. Relao de implicao: uma proposio p implica uma proposio q se e somente se p q for uma tautologia. Obs.: o smbolo de operao lgica e o smbolo de relao. Ex.: p . q p q uma vez que a operao condicional gera uma tautologia. Tabela-Verdade:

5.2. Relao de Equivalncia: uma proposio p equivalente a uma proposio q se e somente se p q for uma tautologia. Obs.: o smbolo de operao lgica e o smbolo de relao. Ex.: p q e ~p + q so proposies logicamente equivalentes pois possuem a mesma tabelaverdade. Ento dizemos: p q ~p+q Tabela-Verdade:

Exerccios
1) Quais so os nomes e quais so as proposies?
a) O nmero 3 maior que o nmero 5. b) A terra um planeta c) 9-12 d) 9 e) 8*7 = 56 f) O gato da menina g) Um bom livro de matemtica h) 3 + 5 <> 5 + 3 i) Se chove, ento a rua fica molhada. j) O sol brilha e queima as plantas. k) Ou voce me vende o livro ou voc me empresta. l) Um tringulo retngulo se e somente se tem um ngulo reto. m) Tringulo equiltero. n) Se um tringulo retngulo, ento, dois de seus lados so perpendiculares

2) Dentre as proposies acima, quais so:


a) Simples: a) b) c) d) e) a) b) c) d) e)

b) Compostas:

3) Classifique cada uma das pro posies compostas do exerccio 1:


conjuno: disjuno: disjuno exclusiva: condicional: bicondicional:

3+5=8 A lua um satlite da terra. Colombo descobriu o Brasil. Pedro lvares Cabral descobriu a Colmbia. o nmero 11 primo. f) (8-3)2 = 82 - 32 g) Um nmero divisvel por 2 par h) 1 e -1 so razes da equao x2-1=0

4) Dar os valores lgicos das proposies abaixo, isto , atribua V ou F para cada uma delas.

5) Seja p a proposio Est frio e q a proposio Est chovendo. Traduzir, para a linguagem corrente, as seguintes proposies:
a) b) c) d) e) f) g) h) i) ~p p.q p+q q <-> p p -> ~q q v ~p ~p ^ ~q p -> ~q ~~q

6) Seja p a proposio Jorge alto e q a proposio Jorge elegante. Traduzir, para a linguagem simblica, as seguintes proposies:
a) b) c) d) e) f) Jorge alto e elegante. Jorge alto mas no elegante. No verdade que Jorge baixo ou elegante. Jorge no baixo e nem elegente. Jorge alto, ou baixo e elegante. No verdade que Jorge baixo ou que no elegante.

7) Seja p a proposio Jorge rico e q a proposio Carlos feliz. Traduzir, para a linguagem corrente, as seguintes proposies:
a) b) c) d) e) f) g) h) p+q p.q q->p pv~q q<->~p ~p->q ~~p (~p.q)->p

a) Se 1 + 2 = 5, ento 3 + 3 = 6 b) No verdade que 2 + 2 = 7 se e somente se 4 + 4 = 9 c) DANTE escreveu os Lusadas ou 5 + 7 < 2 d) No verdade que 1 + 1 = 3 ou 20 = 1 e) falso que , se Lisboa a capital da Frana, ento Braslia a capital da Argentina. a) b) c) d)

8) Determinar o valor lgico (V + F) de cada uma das seguintes proposies compostas:

9) Escrever simbolicamente para p: Joo esperto, q: Jos tolo.


Joo esperto e Jos tolo. Joo esperto ou Jos tolo. Ou Joo esperto ou Jos tolo. Joo esperto e Jos no tolo

10) Seja p: Vanda aluna e q: Slvia professora.

Escreva simbolicamente: Vanda aluna ou no verdade que Slvia seja professora e Vanda seja aluna.

11) Smbolo para: Vanda tem 5 anos ou se Vanda bonita, ento, tagarela. 12) Escreva, na linguagem comum, sabendo que p: os preos so altos e q: os estoques so grandes.
a) b) c) d) e) f) g) (p.q) ->p (p.~q) ->~p ~p . ~q p+~q ~(p.q) ~(p+q) ~(~p+~q)

13) Dar os valores das proposies abaixo:


a) (8 > 2) . (4 <=4) b) (6 < 10) . (6 > 3/2) c) (6 < 2) + ((4-3) >=1) d) (5 > 8) (4>3) e) (4 < 2) + (2<4) f) (8-3= 5) -> (2 <= 2) g) (8>10) -> (6-2 = 4) h) (8>10) -> (6 < 5) i) (4 < 2 ) <-> (8-2 = 15)

a) (q.r) + m b) (q+r) ((q+s) (p+s)) c) (p r ) p d) (p r ) p e) (p (q r)) ((p q) (p r )) f) ~ (p + q) (~~p + ~q) 15) Dar o valor da proposio p nos casos adiantes: a) V(pq) = V e V(q) = V b) V(qp) = V e V(q) = F c) V(q+p) = F e V(q) = F d) V(q+p) = V e V(q) = V
a) V(((p + q) . (x + y) ) p ) = b) V(x . y p ) =

14) Construir as tabelas-verdades

16) Considerando V(p) = F , V(x) = F e V(y) = V

c) V(p . y . p . x ) =

a) (p s) r, onde r tem o valor V b) (p+r)+(s q), onde q tem valor F c) ((p+q ) (q.p)) ((r.p)+q), onde o valor de q V. d) ((p q) p, onde o valor de q V. e) ((p q p) p+q, onde o valor de q V. f) (p+q r.p+q), onde o valor de q F. p p+p (a b) ((b c) (a c)) (a b ) . (b a) ab e) a. ( + b) f) ~(~p . q ) ~p + ~q

17) Verificar se a informao dada suficiente para determinar o valor:

18) Verificar quais frmulas so contradies, tautologias ou indeterminadas.


a) b) c) d)

a) Se Joo bom implica que Paris a capital da Itlia. Braslia a capital do Brasil. b) Se Carlos materialista, Carlos ateu. Se carlos ateu, ento, Carlos materialista. c) Se Joo no encontrou Jos ontem, ento, ou Jos o assassino ou Joo morreu. Se Jos no o assassino, ento, Joo encontrou Jos ontem e o assassinato foi meia-noite. Se o assassinato foi meia noite, ento, Jos o assassino ou Joo morreu. Jos o assassino.

19) Verificar o resultado da conjuno das proposies que seguem.

20) Verificar as implicaes.


a) b) c) d) e)

p p+q p.q p (p + q) . ~p q (p q) . p q (p (q r)) q (p r)

a) ~(p.~p) (p+~p) b) p.(~p+q) (p.q) c) (p (q r)) q (p r)

21) Verificar as equivalncias.

You might also like