Lógica Matemática Professor Walter Sousa 1. EQUIVALÊNCIAS LÓGICAS DE PROPOSIÇÕES Símbolo: Duas proposições compostas, formadas pelas mesmas sentenças básicas, são equivalentes quando têm, para todas as valorações possíveis dessas proposições básicas, as mesmas avaliações V ou F. Para verificar, testar ou comprovar a equivalência de proposições, pode-se proceder do seguinte modo: I. Constrói-se a tabela-verdade destacando uma coluna para cada proposição; II. Após a construção da tabela-verdade, verifica-se, nas colunas das proposições compostas, se os valores lógicos, em todas as linhas da tabela, são iguais. Em caso afirmativo, diz-se que as proposições são equivalentes. Exemplo: Verificar que P Q Q P Solução: Tabela-verdade P V V F F Q V F V F P Q Q P V F V V F V F V F F V V Q P V F V V Comparando os valores lógicos da coluna de P Q com os da coluna Q P , verificamos que são iguais. Assim, a proposição “Se Paulo é paulista, então Paulo é brasileiro” pode ser reescrita, de forma equivalente, como segue: “Se Paulo não é brasileiro, então Paulo não é Paulista”. 2.1 EQUIVALÊNCIAS FUNDAMENTAIS Apresentamos, a seguir, algumas equivalências lógicas importantes, que merecem atenção por parte do leitor, e que serão úteis, se memorizadas, à solução de diversas questões de equivalência. Vale lembrar que cada uma delas poderá ser demonstrada através da construção das tabelas-verdade. a) Dupla negação: (P) P A dupla negação de uma proposição equivale à sua afirmação. P P (P) V F F V V F Exemplo: Sendo a proposição P: Paulo fala espanhol, teremos P : Paulo não fala espanhol. Portanto a sentença: “Não é verdade que Paulo não fala espanhol” é a negação de P, sendo equivalente à proposição “Paulo fala espanhol”. 1 Gran Cursos Walter Sousa P Q Q P P Q Q P b) Comutativas: P Q P Q P Q P Q c) Leis de Augustus De Morgan: Podemos observar que a negação de uma conjunção (e), ( P Q), equivale a uma disjunção(ou) das negações das proposições, P Q, enquanto que a negação de uma disjunção equivale a uma conjunção das negações das proposições. Demonstração: Negação da conjunção P Q P Q ( P Q) P Q P Q V V F F V F V F F V V V V F F F F F V V F V F V F V V V Exemplos: 1. A negação da afirmação “Paulo é carioca e Matheus é francês” é do ponto de vista lógico, equivalente a “Paulo não é carioca ou Matheus não é francês. 2. A negação da afirmação “Paulo é carioca ou Matheus é francês” é equivalente a dizer que: Paulo não é carioca e Matheus não é francês. d) Condicionais: Q P P Q ( P Q) P Q A equivalência P Q Q P já fora demonstrada anteriormente. Veja na tabela-verdade abaixo as demais equivalências da condicional. P Q P Q P Q ( P Q) P Q V V F F V F V F F F V V F V F V V F V V V F V V V F V V Exemplos: A proposição composta: Se O réu roubou um carro então o réu será condenado equivale a: Solução: Seja a proposição P: O réu roubou um carro; seja a proposição Q: O réu será condenado, assim, as equivalências serão: 1. ( P Q) : Não é verdade que: o réu roubou um carro e não será condenado 2. P Q : O réu não roubou um carro ou será condenado. 3. Q P : Se o réu não foi condenado, então o réu não roubou um carro. Gran Cursos 2 Walter Sousa Negação de uma condicional ( P Q) P Q. A negação de uma proposição condicional, ( P Q), é dada pela sentença P Q . Veja o exemplo de uma questão proposta pela ESAF: “A negação da afirmação condicional: Se estiver chovendo, eu levo o guarda-chuva”. Solução Representando por P: está chovendo, e por Q: eu levo o guarda-chuva P Q : Está chovendo e eu não levo o guarda-chuva. e) Bicondicionais: P Q P Q Q P A bicondicional é equivalente à conjunção da condicional P Q com a condicional Q P. Veja tabela-verdade abaixo. A bicondicional equivale também à negação de uma disjunção excludente. P Q P Q V V V F V F F F V V F F P Q Q P ( P Q) (Q P) V F V V V V F V V F F V A bicondicional é equivalente à negação da disjunção excludente. 2) DIAGRAMAS LÓGICOS Algumas expressões lógicas, enunciados categóricos, darão origem a argumentos conhecidos como silogismos categóricos, cuja validade depende da análise da estrutura interna de enunciados simples. A fim de preparar o caminho para o estudo mais aprofundado da argumentação lógica, passaremos a explicar o que se entende por enunciado categórico. Há quatro formas de enunciados categóricos: a) b) c) d) Todo A é B. (universal afirmativa) Algum A não é B. (existencial ou particular negativa) Algum A é B. (existencial ou particular afirmativa) Nenhum A é B. (universal negativa) Cada enunciado categórico envolve dois termos, um sujeito e um predicado, que se relacionam. Nas formas básicas acima, A é o sujeito e B é o predicado. A teoria de conjuntos fornece idéias que podem ser utilizadas para justificar a natureza lógica dos enunciados categóricos, os quais podem ser associados aos conectivos lógicos já estudados. Passemos à análise lógica dos enunciados categóricos (quantificadores lógicos). a) Todo A é B Está associado à operação de inclusão entre conjuntos, indicando que todos os elementos que cumprem a condição A, cumprirão a condição B (𝐴 ⊂ 𝐵). Portanto, trata-se de uma condicional lógica, do tipo Se A, então é B. Forma lógica: ∀𝑥 (𝐴 𝑥 → 𝐵 𝑥 ), onde o símbolo ∀ significa “para todo”. Diagrama lógico Gran Cursos 3 Walter Sousa A B b) Algum A não é B Indica que pelo menos um elemento do conjunto A, não pertence ao conjunto B. É a negação do quantificador “Todo A é B”. Forma lógica: ∃𝑥 (𝐴 𝑥 ∧ B(x)), o símbolo ∃𝑥 significa “existe x” Diagrama lógico c) Algum A é B Os conjuntos A e B possuem pelo menos um elemento comum. Forma lógica: ∃𝑥 (𝐴 𝑥 ∧ B(x)) Diagrama lógico d) Nenhum A é B Os conjuntos A e B não possuem elementos comuns. É a negação de “Algum A é B”. Forma lógica: (∃𝑥)(𝐴 𝑥 ∧ B(x)). Diagrama lógico 4 Gran Cursos Walter Sousa EXERCÍCIOS PROPOSTOS 1) (Cesgranrio/2009) A negação da proposição “Mário é brasileiro ou Maria não é boliviana” é (A) Mário não é brasileiro e Maria é boliviana. (B) Mário não é brasileiro ou Maria é boliviana. (C) Mário não é brasileiro e Maria não é boliviana. (D) Mário é brasileiro e Maria não é boliviana. (E) Mário é brasileiro ou Maria é boliviana. 2) (Cesgranrio/2009) Considere verdadeira a seguinte proposição: “Se x = 3, então x é primo”. Pode-se concluir que (A) se x é primo, então x = 3 (B) se x não é primo, então x≠ 3 (C) se x não é primo, então x = 3 (D) se x≠ 3, então x é primo (E) se x ≠3, então x não é primo (Cesgranrio) Enunciado para as questões 3 a 5 Proposição é uma sentença declarativa que pode ser classificada como verdadeira ou falsa. Proposições simples podem ser associadas por conectivos formando proposições compostas. conectivo ∧ ∨ → significado e ou Se ... então Considere as proposições simples abaixo. p: “Janaína é irmã de Mariana.” q: “Mariana é filha única.” Simbolizam-se por ~p e ~q, respectivamente, as negações de p e de q. 3) (Cesgranrio/2009) A proposição composta ~ p ∧q corresponde a: (A) Janaína é irmã de Mariana e Mariana é filha única. (B) Janaína não é irmã de Mariana e Mariana é filha única. (C) Janaína não é irmã de Mariana ou Mariana é filha única. (D) Janaína não é irmã de Mariana ou Mariana não é filha única. (E) Se Janaína não é irmã de Mariana, então Mariana é filha única. 4) (Cesgranrio) A negação da proposição composta “Janaína é irmã de Mariana e Mariana não é filha única” é (A) se Janaína é irmã de Mariana, então Mariana é filha única. (B) se Janaína não é irmã de Mariana, então Mariana não é filha única. (C) se Janaína não é irmã de Mariana, então Mariana é filha única. (D) Janaína é irmã de Mariana e Mariana é filha única. (E) Janaína não é irmã de Mariana ou Mariana é filha única. 5) (cesgranrio) A proposição composta “Se Janaína é irmã de Mariana, então Mariana não é filha única” é equivalente a (A) q →~ p (B) q → p (C) ~ p →q (D) ~ p →~ q (E) p →q 6) (Esaf) Maria foi informada por João que Ana é prima de Beatriz e Carina é prima de Denise. Como Maria sabe que João sempre mente, Maria tem certeza que a afirmação é falsa. Desse modo, e do ponto de vista lógico, Maria pode concluir que é verdade que: a) Ana é prima de Beatriz ou Carina não é prima de Denise. b) Ana não é prima de Beatriz e Carina não é prima de Denise. c) Ana não é prima de Beatriz ou Carina não é prima de Denise. d) se Ana não é prima de Beatriz, então Carina é prima de Denise. e) se Ana não é prima de Beatriz, então Carina não é prima de Denise. 7) (Esaf Adaptada) Dois colegas estão tentando resolver um problema de matemática. Pedro afirma para Paulo que X = B ou Y = D. Como Paulo sabe que Pedro sempre mente, então, do ponto de vista lógico, Paulo pode afirmar corretamente que: 5 Gran Cursos Walter Sousa a) X ≠ B e Y ≠ D b) X = B ou Y ≠ D c) X ≠ B ou Y ≠ D d) se X ≠ B, então Y ≠ D e) se X ≠ B, então Y = D 8) (Cespe) Considere a assertiva seguinte, adaptada da revista comemorativa dos 50 anos da PETROBRÁS. Se o governo brasileiro tivesse instituído, em 1962, o monopólio da exploração de petróleo no território nacional, a PETROBRÁS teria atingido, nesse mesmo ano, a produção de 100 mil barris/dia. Julgue se cada um dos itens a seguir apresenta uma proposição logicamente equivalente à assertiva acima. (1) Se a PETROBRÁS não atingiu a produção de 100 mil barris/dia em 1962, o monopólio da importação de petróleo e derivados não foi instituído pelo governo brasileiro nesse mesmo ano. (2) Se o governo brasileiro não instituiu, em 1962, o monopólio da importação de petróleo e derivados, então a PETROBRÁS não atingiu, nesse mesmo ano, a produção de 100 mil barris/dia. 9) (Cespe) As sentenças S1, S2 e S3 a seguir são notícias acerca da bacia de CamposRJ, extraídas e adaptadas da revista comemorativa dos 50 anos da PETROBRÁS. S1: Foi descoberto óleo no campo de Garoupa, em 1974. S2: Foi batido o recorde mundial em perfuração horizontal, em profundidade de 905 m, no campo de Marlim, em 1995. S3: Foi iniciada a produção em Moréia e foi iniciado o Programa de Desenvolvimento Tecnológico em Águas Profundas (PROCAP), em 1986. Quanto às informações das sentenças acima, julgue os itens subseqüentes. (1) A negação da união de S1 e S2 pode ser expressa por: Se não foi descoberto óleo no campo de Garoupa, em 1974, então não foi Gran Cursos batido o recorde mundial em perfuração horizontal, em profundidade de 905 m, no campo de Marlim, em 1995. (2) A negação de S3 pode ser expressa por: Não foi iniciada a produção em Moréia ou não foi iniciado o Programa de Desenvolvimento Tecnológico em Águas Profundas (PROCAP), em 1986. 10) (Cespe) O Teorema Aritmética afirma que: Fundamental da Se n for um número natural diferente de 1, então n pode ser decomposto como um produto de fatores primos, de modo único, a menos da ordem dos fatores. Julgue se cada um dos itens subseqüentes reescreve, de modo correto e equivalente, o enunciado acima. (1) É condição suficiente que n seja um número natural para que n possa ser decomposto como um produto de fatores primos, de modo único, a menos da ordem dos fatores. (2) É condição necessária que n seja um número natural para que n possa ser decomposto como um produto de fatores primos, de modo único, a menos da ordem dos fatores. (3) Se n não possuir decomposição como um produto de fatores primos, que seja única, a menos da ordem dos fatores, então n não é um número natural diferente de 1. (4) Ou n não é um número natural diferente de 1, ou n tem uma decomposição como um produto de fatores primos, que é única, a menos da ordem dos fatores. (5) n é um número natural diferente de 1 se puder ser decomposto como um produto de fatores primos, de modo único, a menos da ordem dos fatores. 11) (Cespe) Proposições das formas A B , A B e são sempre B A equivalentes. A partir dessa informação e das definições incluídas no texto, julgue os itens a seguir. (1) As proposições “Se Hélio é conselheiro do TCE/AC, então Hélio é formado em Contabilidade” e “Hélio não é conselheiro do TCE/AC ou Hélio é formado em contabilidade” são equivalentes. 6 Walter Sousa (2) Considere a seguinte proposição: “Se Antônio resolver corretamente esta prova, então ele passará no concurso”. Nessa situação, é correto concluir que “Se Antônio não resolver corretamente esta prova, então ele não passará no concurso”. (3) Considere a seguinte proposição: “Alice não foi ao cinema ou Bernardo foi jogar futebol”. Dessa proposição, é correto concluir que “Se Bernardo não foi jogar futebol, então Alice não foi ao cinema”. 12) (Esaf) “André é artista ou Bernardo não é engenheiro” é logicamente equivalente a dizer que: a) André é artista se e somente se Bernardo não é engenheiro. b) Se André é artista, então Bernardo não é engenheiro. c) Se André não é artista, então Bernardo é engenheiro. d) Se Bernardo é engenheiro, então André é artista. e) André não é artista e Bernardo é engenheiro 13) (Esaf) A negação da afirmação condicional “se estiver chovendo, eu levo o guardachuva” é: a) Se não estiver chovendo, eu levo o chuva. b) Não está chovendo e eu levo o chuva. c) Não está chovendo e eu não levo o chuva. d) Se estiver chovendo, eu não levo o chuva. e) está chovendo e eu não levo o chuva. guardaguardaguardaguardaguarda- e) Se Pedro não é pedreiro, então Paulo não é paulista. 15) (Cesgranrio/2009) Admita como verdadeiras as seguintes declarações: • todo matemático sabe física; • há médicos que não sabem física. Com base nestas declarações, é correto concluir que há (A) médicos que não são matemáticos. (B) médicos que são matemáticos. (C) médicos que sabem física. (D) físicos que são matemáticos. (E) físicos que são médicos 16) (Cespe) Pedro, candidato ao cargo de Escrivão de Polícia Federal, necessitando adquirir livros para se preparar para o concurso, utilizou um site de busca da Internet e pesquisou em uma livraria virtual, especializada nas áreas de direito, administração e economia, que vende livros nacionais e importados. Nessa livraria, alguns livros de direito e todos os de administração fazem parte dos produtos nacionais. Além disso, não há livro nacional disponível de capa dura. Com base nas informações acima, é possível que Pedro, em sua pesquisa, tenha (1) encontrado um livro de administração de capa dura. (2) Adquirido dessa livraria um livro de economia de capa flexível. (3) Selecionado para compra um livro nacional de direito de capa dura. (4) Comprado um livro importado de direito de capa flexível. 14) (Esaf) Dizer que “Pedro não é pedreiro ou Paulo é paulista” é, do ponto de vista lógico, o mesmo que dizer que: 17) (Esaf) A negação da sentença “Nenhuma pessoa lenta em aprender freqüenta a escola” é a) Se Pedro é pedreiro, então Paulo é paulista. b) Se Paulo é paulista então Pedro é pedreiro. c) Se Pedro não é pedreiro, então Paulo não é paulista. d) Se Pedro é pedreiro, então Paulo não é paulista. a) “Todas as pessoas lentas em aprender freqüentam esta escola”. b) “Todas as pessoas lentas em aprender não freqüentam esta escola”. c) “Algumas pessoas lentas em aprender freqüentam esta escola”. d) “Algumas pessoas lentas em aprender não freqüentam esta escola”. 7 Gran Cursos Walter Sousa e) “Nenhuma pessoa lenta freqüenta esta escola.” em aprender 18) (Esaf) Em uma comunidade todo trabalhador é responsável. Todo artista, se não for filósofo, ou é trabalhador ou é poeta. Ora, não há filósofo e não há poeta que não seja responsável. Portanto, tem-se que, necessariamente: a) b) c) d) e) Todo responsável é artista. Todo responsável é filósofo ou poeta. Todo artista é responsável. Algum filósofo é poeta. Algum trabalhador é filósofo. 19) (Esaf) Em uma pequena comunidade, sabese que: “nenhum filósofo é rico” e que “alguns professores são ricos”. Assim, pode-se afirmar, corretamente, que nesta comunidade a) alguns filósofos são professores b) alguns professores são filósofos c) nenhum filósofo é professor d) alguns professores não são filósofos e) nenhum professor é filósofo 20) (Esaf) Todas as amigas de Beto são, também, amigas de Berenice, mas nenhuma amiga de Berenice é amiga de Bruna. Todas as amigas de Bia são também amigas de Bela, e algumas amigas de Bela são também amigas de Bruna. Como nenhuma amiga de Bela é amiga de Berenice, e como Bela, Bia e Bruna não têm nenhuma amiga em comum, então: a) Pelo menos uma amiga de Bia é amiga de Bruna. b) Pelo menos uma amiga de Beto é amiga de Bruna. c) Todas as amigas de Bela são amigas de Beto. d) Todas as amigas de Bela são amigas de Bia. e) Nenhuma amiga de Bia é amiga de Beto. 21) (Esaf) Dizer que a afirmação “todos os economistas são médicos” é falsa, do ponto de vista lógico, equivale a dizer que a seguinte afirmação é verdadeira: a) Pelo menos um economista não é médico. Gran Cursos b) Nenhum economista é médico. c) Nenhum médico é economista. d) Pelo menos um médico não é economista. e) Todos os não médicos são não economistas. 22) Sabe-se que existe pelo menos um A que é B. Sabe-se, também, que todo B é C. Segue-se, portanto, necessariamente que a) todo C é B b) todo C é A c) algum A é C d) nada que não seja C é A e) algum A não é C 23) (Esaf) Todos os alunos de matemática são, também, aluno de inglês, mas nenhum aluno de inglês é aluno de história. Todos os alunos de português são também alunos de informática, e alguns alunos de informática são também alunos de história. Como nenhum aluno de informática é aluno de inglês, e como nenhum aluno de português é aluno de história, então: a) pelo menos um aluno de português é aluno de inglês. b) Pelo menos um aluno de matemática é aluno de história. c) nenhum aluno de português é aluno de matemática. d) todos os alunos de informática são alunos de matemática. e) todos os alunos de informática são alunos de português. (Cesgranrio/2009) Considere o enunciado abaixo para responder às questões de nos 24 e 25. Uma urna contém 4 bolas brancas, 3 bolas pretas e 2 bolas azuis. N bolas serão retiradas simultaneamente dessa urna. 24) (Cesgranrio/2009) Qual o menor valor de N para que se possa garantir que, entre as retiradas, haja bolas de cores diferentes? (A) 3 (B) 4 (C) 5 (D) 6 (E) 7 8 Walter Sousa 25) (Cesgranrio/2009) Qual o menor valor de N para que se possa garantir que, entre as bolas retiradas, haja 2 de uma mesma cor? (A) 3 (B) 4 (C) 5 (D) 6 (E) 7 Considere as informações abaixo para responder às questões de nos 26 e 27. 26) Quantos caminhos diferentes começam no ponto A e terminam no ponto B? de canetas e que há pelo menos um objeto de cada. A quantidade de lápis nesse estojo é igual a (A) 2 (B) 3 (C) 4 (D) 5 (E) 6 30) (Cesgranrio/2009) Tautologias são proposições compostas cuja tabela-verdade dá sempre verdadeiro, não importando se as proposições simples p e q são verdadeiras ou falsas. Na proposição composta 31) (Cesgranrio/2009) (A) 1 (B) 2 (C) 3 (D) 4 (E) mais de 4 27) O maior caminho ligando os pontos B e K tem quantos segmentos? (A) 9 (B) 13 (C) 15 (D) 19 (E) 21 28) (Cesgranrio/2009) Uma dada semana terminou em um sábado, dia 19. É correto afirmar que certamente esse mês (A) começou em uma segunda-feira. (B) começou em uma quarta-feira. (C) terminou em uma quarta-feira. (D) terminou em uma quinta-feira. (E) não terminou em uma sexta-feira. 29) (cesgranrio/2009) Em um estojo, há 8 objetos. Cada um desses objetos ou é um lápis, ou uma borracha, ou uma caneta. Sabe-se que a quantidade de borrachas é o triplo da quantidade 9 1 Gran Cursos Walter Sousa GABARITO 1) A 2) B 3) B 4) E 5) A 6) C 7) A 8) E E 9) E C 10) E E C C E 11) C E C 12) D 13) E 14) A 15) A 16) E C E C 17) C 18) C 19) D 20) E 21) A 22) C 23) C 24) C 25) B 26) D 27) B 28) E 29) C 30) A 31) A 10 1 Gran Cursos Walter Sousa