Unidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência.

Transcrição

1 Unidade 1 Sentenças e Representação simbólica Unidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência. 1 Introdução e Conceitos Iniciais: Geralmente nos expressamos, em português, através de gestos da fala e da escrita. No caso da escrita utilizamos interrogações, exclamações e conjunções expressadas em sentenças, que por sua vez, podem ser verdadeira ou falsa. Existem sentenças do tipo: A nota obtida em lógica depende do número de questões que acertar. Dez é menor do que sete. Existem formas de vida em outros planetas. Ou seja, observa-se que as sentenças são passíveis de serem verdadeiras ou falsas. E justamente a interpretação da veracidade de sentenças que a lógica trata. Na lógica matemática temos duas regras fundamentas: I Princípio da não contradição: Uma proposição não pode ser verdadeira e falsa ao mesmo tempo. II Princípio do terceiro excluído: Uma proposição é falsa ou verdadeira, não havendo um terceiro caso. Proposição: É um conjunto de símbolos que exprimem um pensamento de sentido completo. Ou simplesmente, é uma frase que pode ser apenas verdadeira ou falsa. Exemplos: A lua é um satélite da terra. (verdadeira) 5. (falsa) Vasco da Gama descobriu o Brasil. (falsa) Valores lógicos de uma proposição: O valor lógico de uma proposição é V se a proposição for verdadeira e F se ela for falsa. Proposições simples e composta: Proposição simples é aquela que expressa uma única idéia, ou seja, não contém nenhuma outra proposição como parte integrante de si mesma. Em geral são referenciadas por letras minúsculas. Já uma proposição composta é aquela formada por uma combinação de mais de uma proposição simples, estas são em geral referenciadas por letras maiúsculas. Exemplo: q: Pedro é estudante. r: 5 é quadrado perfeito. Q: Carlos é careca e Pedro é estudante. R: Se carlos é careta, então é feliz. Quando deseja-se destacar que uma proposição composta P é formada pela combinação de proposições simples q, r, s,...; então escreve-se: P q, r, s,

2 Unidade 1 Sentenças e Representação simbólica Conectivos Lógicos: Os conectivos são expressões utilizadas para compor novas proposições. Exemplos: P: O número 6 é par e o número 8 é cubo perfeito. Q: Não está chovendo. R: O triângulo é retângulo ou isósceles. S: O triângulo é equilátero se e somente se é equiângulo. T: Se Jorge é engenheiro, então sabe cálculo. Assim, na lógica, destaca-se os conectivos usuais e não ou se e somente se se... então 3 Tabela Verdade: No caso de proposições compostas recorre-se ao uso da tabela verdade para verificar o valor lógico da proposição, ou seja, a tabela retrata todos os possíveis valores lógicos. Exemplos: 1. Considerando a proposição q, r p têm-se: q V V F F r V F V F Temos 4 combinações. Considerando agora a proposição q, r, s p têm-se: q r s V V V V V F V F V V F F F V V F V F F F V F F F Temos 3 8 combinações

3 Unidade 1 Sentenças e Representação simbólica 3. Considerando agora a proposição q, r, s,t p têm-se: q r s t V V V V V V V F V V F V V V F F V F V V V F V F V F F V V F F F F V V V F V V F F V F V F V F F F F V V F F V F F F F V F F F F Temos 4 16 combinações A notação mais usual para o valor lógico de uma proposição P é V(P), assim se P é verdadeira os falsa escreve-se; V(P) = V ou V(P) = F. Por exemplo, a proposição: R: é raiz da equação x 3x 4 0 têm valor lógico V(R) = F. 4 Exercícios: 1. Determinar o valor lógico de cada uma das seguintes proposições: a) O número 17 é primo. resp: verdadeiro b) Tiradentes morreu afogado. resp: falso c) 0, é uma dízima periódica. d) As diagonais de um paralelogramo são resp: Verdadeiro iguais. resp: Falso e) sen 30 sen 60. resp: Falso f) 0, 4 e -4 são raízes da equação. resp: Falso h) b) 1 7 g) x 3 16x 0. resp: verdadeiro. resp: falso i) Todo número divisível por 5 termina por 5. resp: Falso j) O número 15 é cubo perfeito. resp: verdadeiro l) O produto de dois números ímpares é um k) tg tg. resp: Falso 4 6 número ímpar. resp: verdadeiro

4 Unidade 1 Sentenças e Representação simbólica 5 Operações Lógicas Sobre Proposições: Negação (~): A negação da proposição P é representada por ~P, cuja tabela verdade fica: P ~P V F F V Exemplo: 1. P: 3 5 ~P: 3 5. R: Carlos é mecânico ~R: Carlos não é mecânico 3. S: todos os homens são elegantes ~S: Nem todos os homens são elegantes 4. T: Nenhum homem é elegante ~T: Algum homem é elegante Conjunção (,.): Dadas duas proposições P e Q, a conjunção é representada por P Q ou P.Q cuja tabela verdade fica: P Q P Q V V V V F F F V F F F F Exemplo: 1. P: A neve é branca Q: 5. R: 4 S: sen 0 P Q : A neve é branca e 5 R S: 4 e sen 0 Disjunção (, +): Dadas duas proposições P e Q, a disjunção é representada por P Q ou P + Q cuja tabela verdade fica: P Q P Q V V V V F V F V V F F F Exemplo: 1. P: A neve é branca Q: 5 P Q : A neve ou branca e 5

5 Unidade 1 Sentenças e Representação simbólica. R: 4 S: sen 0 R S: 4 ou sen 0 Disjunção Exclusiva (, ): Dadas duas proposições P e Q, a disjunção exclusiva é representada por P Q ou P Q cuja tabela verdade fica: A tabela verdade de duas proposições H e K, da disjunção exclusiva fica: P Q P Q V V F V F V F V V F F F Exemplo: 1. Considere as proposições P e Q abaixo: P: Carlos é médico ou professor. Q: Mário é alagoano ou gaúcho. Em P, Carlos pode ser médico; pode ser professor ou ainda pode ser médico e professor. Mas em Q, Mário é alagoano ou gaúcho. Assim em P temos a disjunção inclusiva (ou simplesmente disjunção) enquanto que em Q temos a disjunção exclusiva. Condicional ( ): Dadas as proposições P e Q, a condicional é representada por P Q cuja tabela verdade fica: P Q P Q V V V V F F F V V F F V Exemplo: 1. P: O mês de maio têm 31 dias Q: A Terra é plana. R: Dante escreveu os lusíadas S: Cantor criou a teoria dos Conjuntos P Q : Se o mês de maio têm 31 dias, então a terra é plana R S: Se Dante escreveu os lusíadas, então Cantor criou a teoria dos conjuntos. OBS: Uma condicional P Q não afirma que o consequente Q se deduz ou é consequência do antecedente P. O que o condicional afirma é uma relação entre os valores lógicos de P e Q de acordo com a tabela verdade.

6 Unidade 1 Sentenças e Representação simbólica Bicondicional ( ): Dadas as proposições P e Q, o bicondicional é representado por P Q cuja tabela verdade fica: P Q P Q V V V V F F F V F F F V O bicondicional também pode ser lido da seguinte maneira: i) P é condição necessária e suficiente para Q, e ii) Q é condição necessária e suficiente para P Exemplo: 1. P: Lisboa é a capital de Portugal Q: tg 3 4. R: A terra é plana S: é um número racional P Q : Lisboa é a capital de Portugal se e somente se tg 3 4 R S: A terra é plana se e somente se é um número racional 6 Exercícios: 1. Sejam as proposições, P: Está frio Q: Está chovendo Traduzir para a linguagem corrente as seguintes proposições. (a) (b) (c) (d) ~ P Não está frio. P Q Está frio e está chovendo. Está frio e chovendo. P Q Está frio ou está chovendo. Está frio ou chovendo. Q P Está chovendo se e somente se está frio.. Determinar o valor lógico de cada uma das seguintes proposições: (a) 3 7 e Resp: F (b) Resp: V (c) Roma é a capital da França ou tg 45 1 Resp: V (d) 5 10 é racional Resp: F (e) Se 3 6 então Resp: V

7 Unidade 1 Sentenças e Representação simbólica (f) 3 0 Resp: F (g) tg 1 se e somente se sen 0 Resp: F (h) 1 1 Resp: V (i) Não é verdade que 1 é um número ímpar. (j) Resp: V Resp: V (k) sen0 0 ou cos 0 1 ~ Resp: F 3 3 (l) 8 e 4 4 ~ Resp: F 3. Determinar V p em cada um dos seguintes casos: (a) V q F e V p q F Resp: V p V ou V p F (b) V q F e V p q F Resp: V p F 4. Determinar V p e q V em cada um dos seguintes casos: (a) V p q V e V p q F Resp: V p F e V q V (b) V p q V e V p q V Resp: V p V e V q V 7 Tabela Verdade de Uma Proposição Composta: Com as proposições simples do tipo p, q, r, s,... e fazendo uso dos conectivos ~,,,, é possível construir proposições compostas tais como: P p, q ~ p ~ q onde, com o emprego da tabela verdade é possível verificar todas as possibilidades de V e F. Exemplo: 1. Construir a TV das proposições seguintes. a) Pp, q ~ p ~ q p q ~q P ~q ~ p ~ q V V F F V V F V V F F V F F V F F V F V

8 Unidade 1 Sentenças e Representação simbólica b) Pp, q, r p ~ r q ~ r p q r ~r p ~r q ~r p ~r q ~r V V V F V F F V V F V V V V V F V F V F F V F F V V F F F V V F F F V F V F V V V V F F V F F F V F F F V V F F 8 Valor Lógico de Uma Proposição Composta: P pode-se determinar seu valor lógico conhecendo, a priori, os valores lógicos de p, q, r, s,... Exemplo: 1. Sabendo que V p V e q F V P, onde Dada uma proposição p, q, r, s,... P V, determinar p,q ~ p q ~ p ~ q Resolução: Mediante os valores lógicos de p e q pode-se obter: V. P ~ V F ~ V ~ F ~ V F V F F V. Sejam as proposições p : 3 e q : sen 0. Determine o valor lógico da P p,q p q p p q. proposição: Resolução: P Como V F e q F V V então têm-se: P F F F F F V F F V V V 9 Precedência e Eliminação de Parêntesis: O uso de parêntesis se faz necessário para evitar qualquer ambiguidade, assim, por exemplo, a proposição p q r pode ser escrita como: 1) p q r ) p q r que não têm o mesmo significado (basta construir a TV de ambas ).

9 Unidade 1 Sentenças e Representação simbólica A ordem de precedência para os conectivos é 1) ~, o mais fraco ) e 3) 4), o mais forte, portanto se tivéssemos a proposição p q s r, concluiríamos que ela é bicondicional. Para convertê-la numa condicional ou numa conjuntiva deve-se escrevê-las respectivamente nas formas: p q s r p q s r. Pode-se fazer a eliminação de parêntesis quando um mesmo conectivo aparece sucessivamente repetido, fazendo associação a partir da esquerda, por exemplo, ~ ~ p q ~ p ~ ~ p q ~ p 10 Exercícios: p q ~ p p ~ q r ~ p ~~ 1. Sejam as proposições, P: Está frio Q: Está chovendo Traduzir para a linguagem corrente as seguintes proposições. (a) (b) (c) (d) (e) P ~ Q Se está frio, então não está chovendo. P ~ Q Está frio ou não está chovendo. ~ P ~ Q Não está frio e não está chovendo. P ~ Q Está frio se e somente se não está chovendo. P ~ Q P Se está frio e não está chovendo, então está frio.. Sejam as proposições, P: João é gaúcho Q: Jaime é paulista Traduzir para a linguagem corrente as seguintes proposições.

10 Unidade 1 Sentenças e Representação simbólica (a) P ~ Q (b) ~ Não é verdade que João é gaúcho e Jaime não é paulista. ~~ P Não é verdade que João não é gaúcho. (c) ~ P ~ Q (d) (e) ~ Não é verdade que João não é gaúcho ou que Jaime não é paulista. P ~ Q Se João é gaúcho, então Jaime não é paulista. ~ P ~ Q João não é gaúcho se e somente se Jaime não é paulista. (f) ~ Q P ~ Não é verdade que, se Jaime não é paulista, então João é gaúcho. 3. Sejam as proposições, P: Marcos é alto Q: Marcos é elegante Traduzir para a linguagem simbólica as seguintes proposições. (a) Marcos é alto e elegante. (b) Marcos é alto, mas não é elegante. P Q P ~ Q (c) Não é verdade que marcos é baixo ou elegante. ~ ~ P Q (d) Marcos não é nem alto e nem elegante. ~ P ~ Q (e) Marcos é alto ou é baixo e elegante. P ~ P Q (f) É falso que Marcos é baixo ou que não é elegante. ~ ~ P ~ Q 4. Construir a T.V. das seguintes proposições: (a) P ~ Q P (b) ~ P ~ Q ~ ~ P ~ Q (c)

11 Unidade 1 Sentenças e Representação simbólica 11 Lista de Exercícios Sejam as proposições, P: Suely é rica Q: Suely é feliz Traduzir para a linguagem simbólica as seguintes proposições. (a) Suely é pobre e infeliz. Resp: ~ P ~ Q (b) Suely é pobre ou rica, mas é infeliz. Resp: ~ P P ~ Q. Traduzir para a linguagem simbólica as seguintes proposições matemáticas. (a) x y 0 e z 0 ou z 0 Resp: x y 0 z 0 z 0 (b) x 0 e y z x ou z 0 Resp: x 0 y z x z 0 (c) x 0 ou x 0 e y 0 Resp: x 0 x 0 y 0 (d) x y e z t ou x y e z 0 Resp: x y z t x y z 0 (e) Se x 0 então y Resp: x 0 y (f) Se x y então z 0 Resp: x y z 0 V 3. Determinar o valor lógico (V ou F) da proposição p q ~ r, sabendo que V r. p V Resolução: Em termos de valor lógico temos que: Se V q V, então V p q ~ r V V ~ V V V F V F F. Mas, se V q F, então V p q ~ r V F ~ V V F F V F F. Portanto, independentemente do valor lógico de q a proposição será sempre falsa. 4. Suprimir o maior número possível de parêntesis na proposição q r q p ~ ~ q. Resolução: q r q p ~ ~ q q r q p ~ ~ q q r q p ~~ q

12 Unidade 1 Sentenças e Representação simbólica 5. Determinar o valor lógico (V ou F) das seguintes proposições:, sabendo que V p V r V a) p q p r b) p ~ q ~ p r, sabendo que V q F e r V. Resp: Verdadeira V. Resp: Verdadeira 6. Suprimir o maior número possível de parêntesis nas proposições: a) p ~ ~ q q r q Resp: p ~~ q q r q b) p q ~ r ~ q r q Resp: p q ~ r ~ q r q 7. Sabendo que as proposições x 0 e x y são verdadeiras e que as proposições y z e y t são falsas, determinar o valor lógico de cada uma das seguintes proposições: a) x 0 x y y z Resp: Verdadeira b) x y y z y t Resp: Falsa 8. Sabendo que os valores lógicos das proposições p e q são respectivamente F e V, determinar o valor lógico da proposição p ~ q p ~ p ~ q q ~ p. Resp: falsa

13 Unidade 1 Sentenças e Representação simbólica 1 Tautologia, Contradição e Contingência: Tautologia é toda proposição composta que é verdadeira independentemente dos valores verdade das proposições simples que há compõem. Exemplo: 1. Construir a TV das seguintes proposições: a) ~ p ~ p p ~p p ~p ~ p ~ p V F F V F V F V tautologia b) p q ~ q p P q ~q q ~q p q ~ q p q ~ q p V V F F V V V F V F V V F V F F F V F F V F F V Observação: Se P p, q, r,... é uma tautologia, então P, Q, R,... tautologia, quaisquer que sejam as proposições P 0, Q0, R0. tautologia P também é Contradição é toda proposição cujo valor lógico não é tautológico, ou seja, a última coluna é sempre falsa. Exemplo 1. Construir a TV das seguintes proposições: a) p ~ p p ~p p ~p V F F F V F contradição

14 Unidade 1 Sentenças e Representação simbólica b) ~ p p ~ q p q ~q p ~ q p ~ p p V V F F F F V F V V F F F V F F V F F F V F V F ~ ~ q Observação: Se P p, q, r,... é uma contradição, então P, Q, R,... contradição, quaisquer que sejam as proposições P 0, Q0, R0. P também é Contingência é toda proposição composta que não é tautológica nem contradição. Exemplo: 3. Construir a TV da seguinte proposição: contradição x 3 x y x 3 x 3 x y x 3 y x 3 x x 3 x y x 3 V V F F F V F F V V F V V V F F F V V F 13 - Exercício: contingência 1. Determinar quais das seguintes proposições são tautológicas, contraditórias, ou contingentes: a) p ~ p q b) ~ p q p q c) p q q p d) p q q p e) p ~ q p ~ q f) ~ p ~ q p q g) p p q r h) p q p q r Resp: (a), (b), (c), (g), (h) tautológicas (d), (e), (f) contingências

15 Unidade 1 Sentenças e Representação simbólica 14 Implicação lógica: A palavra implicar significa: Originar, produzir como conseqüência, ser causa de:...uma filosofia definitiva,...implicaria a imobilidade do pensamento humano (Antero de Quental). [ DICMAXI Michaelis Português - Moderno Dicionário da Língua Portuguesa ] (Teorema): p, q, r,... Q p, q, r,... P p, q, r,... Q p, q, r,... é tautológica. P se e somente se a condicional, Aqui, deve-se reforçar que: os símbolos e são distintos pois, O condicional é o resultado de uma operação lógica. Por exemplo, se considerarmos as proposições p e q, pode-se obter uma nova proposição expressa por p q. Já a implicação, estabelece uma relação. Por exemplo, que a condicional p q é tautologia. Exemplo: 1. Demonstre, mediante o teorema acima descrito, que p ~ p q. Resolução: Para provarmos que T. V. têm-se: p ~ p q deve-se mostrar que p ~ p q é tautológica, ou seja; da p q ~ p p ~ p p ~ p q V V F F V V F F F V F V V F V F F V F V assim pelo teorema têm-se que p ~ p q. tautologia x e y?. Considere a proposição x y x 4 x 4, o que se poderia concluir a respeito de Resolução: x y x 4 x y x 4 x 4 x y x 4 x 4 V V V F F V F V V V F V V F F F F F V F

16 Unidade 1 Sentenças e Representação simbólica Mediante a T. V. pode-se dizer que x y x 4 x 4 x y x y x 4 x 4 x y 15 Equivalência Lógica A palavra equivalência significa: Igualdade de valor, estimação entre duas coisas; correspondência. [DICMAXI Michaelis Português - Moderno Dicionário da Língua Portuguesa] (Teorema): p, q, r,... Q p, q, r,... P p, q, r,... Q p, q, r,... é tautológica. P se e somente se a bicondicional, È importante lembrar que os símbolos e são distintos pois, O bicondicional é o resultado de uma operação lógica, enquanto que a equivalência estabelece uma relação. Por exemplo, que a condicional p q é tautologia. Exemplo: 1. Demonstre, mediante o teorema acima descrito, que a proposição bicondicional p ~ q c p q é uma equivalência; onde V c F. Resolução: Para provarmos que p ~ q c p q representa p ~ q c p q mostrar que p ~ q c p q é tautológica, ou seja; da T. V. têm-se: p q c ~ q p ~ q p ~ q c q deve-se p p ~ q c p q V V F F F V V V V F F V V F F V F V F F F V V V F F F V F V V V assim pelo teorema têm-se que p ~ q c p q. tautologia. Considerando as seguintes proposições verifique a equivalência mediante a T. V: a) ~~ p p Resolução: A T. V. para a proposição é dada como:

17 Unidade 1 Sentenças e Representação simbólica p ~ p ~~ p V F V F V F idênticas b) ~ p p p Resolução: A T. V. para a proposição é dada como: p ~ p ~ p p V F V F V F idênticas c) p q ~ p q Resolução: A T. V. para a proposição é dada como: p q ~ p ~ p q p q V V F V V V F F F F F V V V V F F V V V OBS: Esta equivalência é de grande importância, pois aqui a condicional pode ser trocada por uma disjunção! d) p q p q q p Resolução: A T. V. para a proposição é dada como: p q p q p idênticas q p q q p p q V V V V V V V F F V F F F V V F F F F F V V V V idênticas OBS: Esta equivalência também é de grande importância, pois aqui a bicondicional pode ser trocada por uma conjunção!

18 Unidade 1 Sentenças e Representação simbólica 16 Exercícios Resolução: 1. Mostre que as equivalências são verdadeiras a) p q r p q r é verdadeira. p q r p q p q r r q p q r p q r p q r V V V V V V V V V V F V F F F V V F V F V V V V V F F F V V V V F V V F V V V V F V F F V F V V F F V F V V V V F F F F V V V V b) p q p q ~ p ~ q tautologia Resolução: A T. V. para a proposição é dada como: p q p q p q ~ p ~ q p ~ q ~ p q ~ p ~ q V V V V F F F V V F F F F V F F F V F F V F F F F F V F V V V V idênticas OBS: Esta equivalência é importante, pois a bicondicional pode ser trocada por uma disjunção!

19 Unidade 1 Sentenças e Representação simbólica 17 Lista de Exercícios. 1. Sejam as proposições P: Carlos fala Francês, Q: Carlos fala Inglês, R: Carlos fala Alemão. Traduzir para a linguagem simbólica as seguintes proposições: a) Carlos fala Francês ou Inglês, mas não fala Alemão. b) Carlos fala Francês e Inglês, ou não fala Francês e Alemão. c) É falso que Carlos fala Francês mas que não fala Alemão. d) É falso que Carlos fala Inglês ou Alemão mas que não fala Francês.. Traduzir para a linguagem simbólica as seguintes proposições matemáticas. a) Se x 1 ou z então y 1. b) Se Z 5 então x 1 e x. c) Se x y então x z 5 e y z Determinar o valor lógico de cada uma das seguintes proposições: a) 7 9 e b) é irracional c) d) sen tg 4 Se 1 0 então sen 6 e) tg 3 3 f) 1 sen cos Determinar V p em cada um dos seguintes casos: 1 a) V q F e V p q V b) V q V e V p q F 5. Determinar V p e q V em cada um dos seguintes casos: (a) V p q V e V p q F (b) V p q F e V ~ p q V

20 Unidade 1 Sentenças e Representação simbólica 6. Construir as tabelas verdade das seguintes proposições: a) ~ p ~ q b) p ~ q q p c) q ~ q p d) p r q ~ r 7. Sejam as proposições P : tg x ctgx cada uma das seguintes proposições: a) ~ p q ~ p ~ q b) p ~ p q ~ p ~ q e Q :. Determinar o valor lógico de 8. Sabendo que a condicional p q é verdadeira, determinar o valor lógico da condicional p r q r. 9. Mostrar que: a) q p q b) q p q p c) x 0 x y x y x Mostre que p ~ q não implica p q. 11. Mostre que as proposições p e q são equivalentes em cada um dos seguintes casos: a) p : 1 3 4; q : b) p : sen0 1; cos 0 0 p : x y; q : x z y z d) p : a b; q : b a c) x, y, z R e) p : O triângulo ABC é retângulo em A; q : a b c 1. Demonstre por tabela verdade as seguintes equivalências: a) p p q p b) p q r p ~ r ~ q c) p q p r p q r

21 Unidade Lógica Proposicional (Álgebra das Proposições) Unidade Lógica Proposicional (Álgebra das Proposições) 1 Introdução: A álgebra das proposições constitui-se numa ferramenta matemática de grande importância, pois através dela pode-se operar sobre proposições utilizando-se de equivalências notáveis. Uma de suas aplicações consiste no fato da simplificação de trechos de códigos computacionais, pois quanto mais simples o código mais simples será de ser entendido e poderá ser executado com maior rapidez. Propriedades da Conjunção: Considerando as proposições, q V c F. Assim são válidas as seguintes propriedades: a) INDEPOTENTE: p p p p e r ; e sejam as proposições t e c tal que t V Ex.: x 1 x 1 x 1 V e Obs.: Dizer por exemplo, que é válida a propriedade indepotente é o mesmo que verificar o teorema relativo à equivalência (página 19), ou seja: p p p p p p V V V F F V como p p p é tautológica, então pelo teorema da equivalência temos que p p p. Daqui por diante, para as próximas propriedades, as equivalências descritas são válidas, uma vez que sua validade pode ser aferida segundo o mesmo raciocínio descrito para a propriedade indepotente. b) COMUTATIVA: p q q p c) ASSOCIATIVA: p q r p q r d) IDENTIDADE: p t p e p c c Ex.: Ex.: x 0 x 1 x 3 x 0 x 1 x 3 Elemento neutro Elemento absorvente Ex.: x 1 x 0 x 1 e x 1 x 0 x 0

22 Unidade Lógica Proposicional (Álgebra das Proposições) 3 Propriedades da Disjunção: Considerando novamente as proposições, q V c F, então são válidas as seguintes propriedades: a) INDEPOTENTE: p p p Ex.: x 1 x 1 x 1 b) COMUTATIVA: p q q p Ex.: a b b c b c a b p e r ; e ainda t e c onde t V c) ASSOCIATIVA: p q r p q r Ex.: x 1 x x 4 x 1 x x 4 d) IDENTIDADE: p t t e p c p V e Elemento absorvente Elemento neutro Ex.: x 1 x 0 x 0 e x 0 x 0 x 0 4 Propriedades da Conjunção e Disjunção: Sejam as proposições p, q e r ; então têm-se que: a) DISTRIBUTIVAS: (i) p q r p q p r (ii) p q r p q p r b) ABSORÇÃO: (i) p p q p (ii) p p q p c) REGRAS DE DE MORGAN ( ): (i) ~ p q ~ p ~ q (ii) ~ p q ~ p ~ q 5 Negação da Condicional e da Bicondicional: Dadas as proposições p, q têm-se que a negação da condicional é: e a negação da bicondicional será; p q p ~ q ~ p q p ~ q ~ p q ~.

23 Unidade Lógica Proposicional (Álgebra das Proposições) 6 Exercícios: 1. Dar a negação em linguagem corrente da proposição: Rosas são vermelhas e violetas são azuis. Resolução: Denotando p : rosassãovermelhas Composta é: e q : violetassão azuis, então teremos que a prop. logo a negação de P será: P p q ~ p q ~ p ~ q ~ P Portanto em linguagem corrente teremos Rosas não são vermelhas ou violetas não são azuis. Demonstrar as seguintes regras de DE MORGAN para três proposições: a) ~ p q r ~ p ~ q ~ r b) ~ p q r ~ p ~ q ~ r 3. Simplifique a expressão condicional, abaixo, de um trecho de programa pascal, após reescreva o comando. IF (FLUXOEXT>FLUXOINT) AND NOT ( (FLUXOEXT>FLUXOINT) AND (PRESSÃO<1000) ) THEN COMANDO 1 ELSE COMANDO. Resolução: Denotando a : fluxoext fluxo int; b : pressão 1000, então teremos que a expressão condicional será dada por que pode ser simplificada conforme: E a ~ a b E a ~ a b a ~ a ~ b a ~ a a ~ b F a ~ b a ~ b portanto teremos que que é equivalente a expressão original. E a ~ b

24 Unidade Lógica Proposicional (Álgebra das Proposições) 4. Considere o seguinte fragmento de um programa pascal: for contador := 1 to 5 do begin read (a); if a 5. 0 and * a or sqrt5. 0* a 5. 1 then writeln (a); end; Os valores de entrada para a são 1.0, 5.1,.4, 7. e 5.3. Quais são os valores de saída? Resolução: Saídas: 5. Reescreva o programa pascal a seguir com uma expressão condicional simplificada: if not or else valor 1 valor or odd numero not valor 1 valor and odd numero comando1 comando; 6. (a) Verifique que A B é equivalente a A B. (b) usando a parte (a) e outras equivalências, escreva a negação da sentença Se Pedro passar em seu curso de física, então ele se formará.

25 Unidade Lógica Proposicional (Álgebra das Proposições) 7 Regras de inferência para a lógica Proposicional: Dadas as proposições P1, P, P3,..., Pn e Q (proposições quaisquer), denomina-se argumento, a toda afirmação de que; dada a sequência P1, P, P3,..., P n têm-se como consequência uma proposição final Q. As proposições P1, P, P3,..., Pn são denominadas premissas do argumento e Q é denominada conclusão do argumento. Em geral indica-se um argumento como: ou na forma mais usual P 3 1, P, P,..., P n Q P P P P 1 3 n Q e este é válido se e somente se a conclusão Q é verdadeira toda vez que as premissas P1, P, P3,..., P n são verdadeiras, logo dizemos que a verdade das premissas é incompatível com a falsidade da conclusão. OBSERVAÇÃO: As premissas são verdadeiras ou admitidas como tal, a lógica só se preocupa com a validade dos argumentos e não com a verdade ou falsidade das premissas e das conclusões. A validade de um argumento depende exclusivamente da relação existente entre as premissas e a conclusão. Portanto dizer que um argumento é válido significa afirmar que as premissas estão relacionadas de tal modo com a conclusão que não é possível ter a conclusão falsa se as premissas são verdadeiras. Teorema: Um argumento P1, P, P3,..., Pn Q é tautológica. P1, P, P3,..., Pn Q é válido se e somente se a condicional Para demonstrar o argumento P1, P, P3,..., Pn Q, pode-se fazer uso da T. V. e do teorema anterior. Se tivéssemos cinco proposições simples compondo um argumento, necessitaríamos construir uma T. V. de 5 3 linhas, tarefa esta muito trabalhosa, porém correta. Para contornar este tipo de problema, faz-se a validação de uma argumentação através das regras de inferência, minimizando assim o trabalho a ser desenvolvido.

26 Unidade Lógica Proposicional (Álgebra das Proposições) Uma outra consideração a ser comentada é: Considerando o argumento P 1 P P 3 Q p ~ q, p ~ r, q ~ s ~ r s chamamos de condicional associada a forma p ~ q p ~ r q ~ s ~ r s Por outro lado, se considerarmos a condicional associada p q r ~ s q r s. s p ~ q o argumento correspondente a esta condicional será p q r,~ s,q r s s p ~ q, que também pode ser expressado sob a forma p q r ~ s q r s. s p ~ q 8 Argumentos válidos Fundamentais: Os argumentos válidos fundamentais são utilizados para executar passo a passo uma dedução ou demonstração de um outro argumento mais complexo. Os argumentos fundamentais são: 1) Adição (AD) i) p p q ii) q p p ) Simplificação (SIMP) p q i) p ii) p q q 3) Conjunção (CONJ) i) p q p q ii) p q q p

27 Unidade Lógica Proposicional (Álgebra das Proposições) 4) Absorção (ABS) 5) Modus Ponens (MP) p q 6) Modus Tollens (MT) p q p p q p q p q ~ q ~ p 7) Silogismo Disjuntivo (SJ) p q ~ p i) q ii) p q ~ q p 8) Silogismo Hipotético (SH) p q q p r r 9) Dilema Construtivo (DC) 10) Dilema Destrutivo p q r s p r q s p q r s ~ q ~ s ~ p ~ r

28 Unidade Lógica Proposicional (Álgebra das Proposições) A validade dos 10 argumentos pode ser facilmente verifica mediante o teorema anterior, por exemplo, a seguir é verificada a validade do argumento Silogismo Hipotético p q r p q q r p r p q q r p q q r p r V V V V V V V V V V F V F F F V V F V F V V F V V F F F V F F V F V V V V V V V F V F V F V F V F F V V V V V V F F F V V V V V Com o auxílio das regras de inferência pode-se deduzir outras regras, ou demonstrar a validade de outras regras, por exemplo; o que se pode concluir, abaixo, a partir das premissas dadas? P : p q r P 1 : P3 : Q : q r s ~ r ~ ~ r s p q ~ q DD Exemplo: Verifique a validade do argumento: 1 p q p r 3 p 4 q p q, p r q., SIM 1,, MP 9 Exercícios de Aprendizagem: 1. Demonstre a validade dos seguintes argumentos: a) p q, p r s s p b) p q r, p q, p r c) e s, ~ t ~ j, e j t s d) p q.r, p, t q, t s s. O argumento abaixo é válido? x y x z, x y x z, x z y z, y z x z y z

29 Unidade Lógica Proposicional (Álgebra das Proposições) 3. Prove que o argumento seguinte é válido: Admitindo a linguagem assembly. Se usamos a linguagem asssembly, então o programa será executado mais rapidamente. Se usamos a linguagem asssembly, o programa terá mais linhas de código. Portanto o programa será executado mais rapidamente e terá mais linhas de código 4. Verifique a validade dos seguintes argumentos: Se x y 16 e y x 16, então x y a) x y Logo, x y 16 ou y x 16 Se trabalho não posso estudar. b) Trabalho ou serei Por tan to, fui aprovado em lógica. Trab alhei. reprovado em lógica.

30 Unidade Lógica Proposicional (Álgebra das Proposições) 10 Lista de Exercícios: 1. Usando todas as equivalências já estudadas até o momento e as propriedades da álgebra de proposições simplifique as seguintes proposições: ~, sugestão use a equivalência a) ~ p ~ q b) ~ p q ~ p q c) ~ p ~ q d) ~ ~ p q e) ~ ~ p ~ q f) p q ~ p g) p q ~ p q h) p p q p ~ q. Provar t dadas as premissas: p s p.q s.r t q r. Prove que os seguintes argumentos são válidos a) t r, ~ r, t s s b) s.q t q t r r s 3. Provar que x y 5 dadas as premissas x y 11 3x 9 3x 9 3x y y x y 5 11 y Resposta: 1. (a) ~ p q (b) ~ p (c) ~ p q (d) p q (e) p q (f) ~ p q (g) q (h) F (falsa)

31 Unidade 3 Quantificadores, Predicados e validade Unidade 3 Quantificadores, Predicados e validade 1 Introdução: Considere a sentença dada por para todo x, x 0, admitindo que seja verdadeira sobre inteiros, não é possível expressar a sentença, apenas, através de proposições e ou conectivos lógicos. Pois ela contém dois elementos novos que são: para todo x e x 0. O elemento para todo é denominado quantificador e o elemento x 0 é denominado predicado. O quantificador para todo é mais precisamente denominado como quantificador universal e simbolizado por, este pode ser expresso também como qualquer que seja ou para todo o valor de. Portanto a sentença para todo x, 0 x x 0, já uma expressão genérica, relacionada ao quantificador universal, pode ser simbolicamente escrita na x P x P x é um predicado qualquer. forma, onde x pode ser simbolizada como Considere agora a sentença existe x tal que x 0, admitindo que seja verdadeira também sobre inteiros, não é possível expressar a sentença, apenas, através de proposições e ou conectivos lógicos, devido ao fato de conter também dois elementos novos; existe x e x 0. O quantificador existe é denominado quantificador existencial e simbolizado por, este é equivalente também a, existe um ou para pelo menos um ou ainda para algum. Sendo assim, a sentença existe x, x 0 pode ser simbolizada sob a forma x 0 já uma expressão genérica pode ser expressada por x Px, onde x qualquer. x, P é um predicado Quantificadores: Quantificador Universal: P x uma sentença em um conjunto não vazio A e seja V P o seu conjunto verdade, Seja onde V P x / x A Px. Quando V P A, isto é, todos os elementos do conjunto A satisfazem a sentença P x, pode-se afirmar que: x V P A

32 Unidade 3 Quantificadores, Predicados e validade para todo elemento x de A, P x é verdadeira; ou, qualquer que seja o elemento x de A, P x é verdadeira; simbolicamente indica-se tal fato por x APx V A. Quando A é um conjunto finito, isto é, a, a, a, a,..., P A têm-se que x APx Pa Pa Pa Pa... 4 a n 1 3 P a n. Exemplo: 1) Seja A 3, 5, 7 e P x: x é primo x Ax é primo, descreva como é a expressão predicada ) Verifique a veracidade das proposições a) n Nn 5 3 b) Nn 3 7 n c) x Rx 0 Quantificador Existencial: V P Seja P x uma sentença em um conjunto não vazio A e V P o seu conjunto verdade onde x x / x A P. Quando V P não é vazio, então pelo menos um elemento do conjunto A satisfaz a sentença P x, assim pode-se afirmar que: A x V P existe pelo menos um elemento x de A tal que P x é verdadeira; ou que para algum elemento x de A, P x é verdadeira; simbolicamente indica-se tal fato por x APx VP. Quando A é um conjunto finito, isto é, a, a, a, a,..., A têm-se que x APx Pa Pa Pa Pa P a n. a n

33 Unidade 3 Quantificadores, Predicados e validade Exemplo: 3) Seja A 3, 5, 7 e P x: x é par x Ax é par, descreva como é a expressão predicada 4) Verifique a veracidade das proposições a) n Nn 4 8 b) Nn 5 3 n c) x Rx 0 Quantificador de Existência e Unicidade: Considere a seguinte sentença em R ; i) x 16 ii) x 3 7. Os valores em R que satisfazem (i) são: a 4 e b 4, então podemos escrever, a,b Ra 16 b 16 a b Agora, o valor em R que satisfaz (ii) é c 3, logo escrevemos Rc 3 7 c. Como o único valor que satisfaz o quantificador acima é c 3, então dizemos que existe um único número real. Desta forma a expressão quantificada (ii) é expressa na forma x Rx 3 7!. Existem muitas proposições que enunciam afirmações de existência e unicidade, assim por exemplo, no universo R, é verdadeiro afirmar que n! xmx n m 0. Exemplo: 5) Verifique a veracidade das proposições! b) x Z 1 x 1 a) x Nx 9 0! c)! x Rx 0

34 Unidade 3 Quantificadores, Predicados e validade 3 Negação de Proposições Quantificadas Sejam as proposições; i) Toda pessoa fala inglês; ii) Alguém foi a lua. A negação dessas proposições é dada por i ) Nem toda pessoa fala inglês; ii ) Ninguém foi a lua. assim a negação de proposições quantificadas é expressa como: x Apx x A~ px ~ x Apx x A~ px ~ que são denominadas como segundas regras de De Morgan. Exemplos: 1) Dê a negação das seguintes proposições: a) n Nn 8 b) x R3x 5 0 c) x Rsenx 0

35 Unidade 3 Quantificadores, Predicados e validade 4 Lista de Exercícios 1. Sendo R o conjunto dos números reais, determinar o valor lógico de cada uma das seguintes proposições: a) x R x x b) x Rx x c) x R x 0 d) x Rx x e) x Rx x 1 f) x Rx x. Sendo A 1,, 3, 4, 5, determinar o valor lógico de cada uma das seguintes proposições: a) x Ax 3 10 b) x Ax 3 10 c) x Ax 3 5 d) Ax 3 7 x x e) x A3 7 f) x Ax x Dar a negação das proposições abaixo: a) x R x x b) x Rx x c) x R x 0 d) x Rx x e) x Rx x 4. Sendo A 1,, 3, 4, 5 1 f) x Rx x, dar a negação das proposições abaixo a) x Ax 3 10 b) x Ax 3 10 c) x Ax 3 5 d) Ax 3 7 x x e) x A3 7 f) x Ax x 15

36 Unidade 3 Quantificadores, Predicados e validade 5 Contra - Exemplo Para mostrar que uma proposição da forma x Apx negação, x A~ px p x 0 é uma proposição falsa. O elemento 0 x Apx. Exemplos: é falsa basta mostrar que a sua, é verdadeira. Isto é, que existe pelo menos um elemento x 0 A tal que x é chamado de contra exemplo para a proposição 1. Mostre que as proposições abaixo são falsas, exibindo um contra exemplo: a) n N n n b) x Rx 0 c) x Rx x d) x R x x 4 6 Lista de Exercícios 1. Sendo A, 3, 4, 5,..., 9, dar um contra exemplo para cada uma das seguintes proposições: a) x Ax 5 1 b) x Ax é primo c) x Ax 1 x x A x é par e) x A0 0 d). Sendo A 1,, 3, 4, 5, dar a negação das proposições abaixo a) x Ax 3 10 b) x Ax 3 10 c) x Ax 3 5 d) Ax 3 7 x x e) x A3 7 f) x Ax x Sendo A um conjunto qualquer, dar a negação de cada uma das seguintes proposições: a) x Apx x Aqx b) x Apx x Aqx c) x A~ px x A~ qx d) x Apx x A~ qx 4. Dar a negação de cada uma das seguintes sentenças: a) x x 7 x x 1 3 b) x Ax 9 x x 5 7

37 Unidade 3 Quantificadores, Predicados e validade 7 Quantificação de Sentenças Abertas com Mais de Uma Variável Quantificação Parcial Considere o conjunto 1,, 3, 4, 5 seguinte sentença, A o universo das variáveis x, y e considere também a A x y 7 x. Essa sentença não pode ser considerada uma proposição, pois o seu valor lógico não depende da variável x (variável aparente), mais sim da variável y (variável livre). Desta forma chama-se essa sentença de sentença aberta em y; cujo conjunto verdade é 1,, 3, 4, pois somente para y 5 não existe x A tal que x y 7. Analogamente, seja o conjunto 1,, 3, 4, 5 também a seguinte sentença, A o universo das variáveis x, y e considere A x y 10 y. Essa sentença também não pode ser considerada uma proposição, pois o seu valor lógico não depende da variável y (variável aparente), mais sim da variável x (variável livre). Assim, temos que essa sentença é na verdade uma sentença aberta em x; cujo conjunto verdade é 1,, pois somente para x 1 ou x se tem x y 10 para todo y A. Quantificação Múltipla Toda sentença aberta precedida de quantificadores, um para cada variável, é uma proposição, pois assume um dos valores lógicos V ou F. São exemplos de proposições as seguintes expressões: Exercícios: x A y Bpx,y x Ay Bpx,y x A y B z Cpx,y,z M e seja p x,y a sentença aberta em H : x é irmão de y. Discuta o significado das proposições: 1) Considere os conjuntos H Jorge,Claudio,Paulo, Suely,Carmen M A : x Hy Mpx,y B : y M x Hpx,y ) Interprete, e discuta a equivalência x N y N x y x y x,y N x y x y

38 Unidade 3 Quantificadores, Predicados e validade 3) Verifique o valor lógico de x y x y, x,y N x y x y, x,y R 4) Considere os conjuntos A 1,, 3, 4 e 0,, 4, 6, 8 B e a sentença aberta em A B : x y 8. Verifique o valor lógico das proposições: S : M : N : T : x Ay B x y 8 y Bx A x y 8 y B x A x y 8 x A y B x y 8 Operações Sobre Quantificadores Quantificadores de mesma espécie podem ser comutados, ou seja, xy px,y y x px,y xy px,y y x px,y. Quantificadores de espécies diferentes não podem em geral ser comutados; Exemplo: Seja x, y variáveis no universo dos números naturais. A proposição é verdadeira, mas a proposição é falsa. Exercício: xy y x y x y x 4) Sendo A 1,, 3,..., 9, 10 proposições:, determinar o valor lógico de cada uma das seguintes M : x Ay Ax y 14 N : y Ax Ax y 14

39 Unidade 3 Quantificadores, Predicados e validade Negação de Proposições com Quantificadores A negação de proposições com mais de um quantificador se obtém mediante a aplicação sucessiva das regras de negação para proposições com um único quantificador, assim têm-se, por exemplo que; 1) ~ xy px,y x ~ y px,y x y ~ px,y ) ~ xy px,y x ~ y px,y x y ~ px,y 3) ~ xy px,y x ~ y px,y x y ~ px,y 4) ~ xy px,y x ~ y px,y x y ~ px,y 5) ~ xy z px,y,z x ~ y z px,y,z x y z ~ px,y,z etc Lista de Exercícios 1) Sendo 1, 3, 4, 5, o universo das variáveis x e y, determinar o conjunto verdade de cada uma das seguintes sentenças abertas: a) y x y 7 b) x x y 10 ) Sendo 1, 3, o universo das variáveis x e y, determinar o valor lógico de cada uma das seguintes proposições: a) x y x y 1 b) x y x y 1 c) x y x y 1 d) x y x y 10 e) x y x y 10 f) x y x y 10 g) x y x y 10 3) Sendo 1, 3, o universo das variáveis x, y e z, determinar o valor lógico de cada uma das seguintes proposições: a) xy zx y z b) xy z x y z

40 Unidade 3 Quantificadores, Predicados e validade 4) Sendo R o conjunto dos números reais, determinar o valor lógico de cada uma das seguintes proposições: a) y Rx Rx y y b) x Ry Rx y 0 c) x Ry Rx. y 1 d) y Rx Ry x 5) Dar a negação de cada uma das seguintes proposições: a) xy px qy b) xy px ~ qy c) y x px ~ qy d) xy px,y qy e) xy px,y qx,y 6) Indique o valor verdade de cada uma das proposições abaixo onde o domínio consiste nos estados do Brasil; Q x,y : x é aonortede y x P : x começacom a letra p e a éparaná. a) xpx b) xy z Qx,y Qy,z Qx,z c) y x Qy, x d) xy Py Qx,y e) y Qa,y