P. 1
& Lógica Formal 1

& Lógica Formal 1

|Views: 212|Likes:
Publicado porFelipe Meneses

More info:

Published by: Felipe Meneses on Mar 22, 2011
Direitos Autorais:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

09/21/2015

pdf

text

original

UNIVERSIDADE SALVADOR – UNIFACS  Curso: Ciência da Computação  Disciplina: Fundamentos de Matemática para Computação I  Professor: Armando Peixoto  Aluno: ______________________________________________ 

Notas de Aulas 

LÓGICA FORMAL 

Salvador, julho de 2006. 

Piada sobre Lógica 
  ⁻ Um caipira encontra um professor com um livro debaixo do braço. Pergunta,  então:  ⁻ ⁻ ⁻ ⁻ O que isso, moço?  É um livro de Lógica!, reponde o professor.  Lógica? Pra que serve isso?  Lógica é uma coisa que ajuda a gente a raciocinar, a tirar conclusões. Por  exemplo, Você tem cachorro em casa?, pergunta o professor.  ⁻ ⁻ ⁻ ⁻ ⁻ ⁻ ⁻ ⁻ Tenho, sim senhor.  Então, quando você chega em casa, ele faz festa.  Faz, sim senhor.  E daí, traz seu chinelo na boca.  Traz, sim senhor.  Então você não tem chulé!  É verdade! Qui maravilha, sô!  Viu? É assim que funciona a Lógica. 

O caipira, empolgado com o que aprendera, compra o livro de Lógica e vai mostrar  a um amigo:  ⁻ ⁻ ⁻ ⁻ ⁻   Cumpadre, veja que trem bão é a Lógica!  Lógica? Que é isso?  Deixa eu mostrar procê: Ocê tem cachorro em casa?  Não, responde o amigo.  Então ocê tem um chulé brabo, cumpadre! Não é verdade? 

2

. 14  9. 16.................................................................... Método Dedutivo ............................................................................. 15  12..................... 12  7..........................  Negação de uma proposição simples ....................................................................  Negação de proposições com quantificadores .................................................  Tautologias ou proposições logicamente verdadeiras . 13  . 5  4.................... Forma Normal Conjuntiva (FNC) .......................  Relação de Implicação ........................................................................... 8................ 11  5.................................................................................................................................................. 16  14............................................................................................ Exercícios  .............  Proposições equivalentes  ............................................................................. 14  11........... 12  6............................................. 4  ...........................................................  Relação de Equivalência ....................................................................... Forma Normal Disjuntiva (FND) ................ 19  ..................................................................... 15  13................................... 5  3................................. 16  15........ Argumentos .....................................................................................  O que é uma Proposição? ...........  Proposições compostas e seus conectivos ..........  Quantificadores..................................................................................... Referências Bibliográficas ....................... 2............................. 14  10...................... Forma Normal das Proposições ....................................................................ÍNDICE      1............................................. 24  3 ................................

O que é uma Proposição? 1. Seguem exemplos de proposições envolvendo a sentença aberta citada acima: i) x 2 − 1 = 0 para x = ±1 (V). pois “ela” não está especificada. satisfazendo as seguintes premissas (ou axiomas): a) Ser verdadeira (V ou 1) ou falsa (F ou 0) não admitindo qualquer outra possibilidade (Princípio do Terceiro Excluído). f) u: ∀ x ∈ R. É uma proposição já que é falsa ou verdadeira. x = 1 – Valor lógico (F). c) Ela é muito talentosa.2. x 1.3.1. Expressa uma sentença aberta (função proposicional). 4 . x 2 − 1 = 0 (F). Nota: Para transformar uma sentença aberta numa proposição. b) Viva o curso de Ciência da Computação! Temos uma frase exclamativa que não é uma oração declarativa. 1. os quais serão estudados na página 14. Não é falsa nem verdadeira. verdade ou falsidade. basta atribuir valores às variáveis existentes ou fazer uso dos Quantificadores Universal e/ou Existencial. e mesmo que estivesse teríamos uma controvérsia. Pelos dois princípios anteriores temos que: Toda proposição tem um e somente um dos valores lógicos. x 2 − 1 = 0 (F). ii) ∀x ∈ R. logo não declarativa. Definição: Chama-se proposição a todo conjunto de palavras ou símbolos que exprimem um pensamento completo. b) Não ser verdadeira e falsa simultaneamente (Princípio da Não-Contradição). Não é uma proposição. iii) ∃ x ∈ R . Exemplos: a) p: A lua é um satélite da terra – Valor lógico (V) b) q: Nos EUA o inglês é a língua oficial – Valor lógico (V) c) r: Todo número que divide 12 divide 6 – Valor lógico (F) d) s: Dez é menor do que sete – Valor lógico (F) e) t: Existe vida em outros planetas. x 2 − 1 = 0 (V) e iv) ∃ | x ∈ R .1. d) x 2 − 1 = 0 . Contra-Exemplos: a) Que dia é hoje? Temos uma frase interrogativa que não é uma oração declarativa.

~q: 5 ≤ 3 (F) c) r: π ∈ Q (F). Segue abaixo uma tabela-verdade para representar este fato. Lê-se: p ou q c) p ∨ q . ~r: π ∉ Q (V) d) s: 7 não é um número par (V). desta forma podermos dispensar o primeiro “ou”. ligadas por conectivos (símbolos lógicos). ~ (~ (~ (L ~ (p)))) ≡ ⎨ 14244 4 3 ⎩ ~p se n é ímpar n 3. “ou canto ou assovio”. cujo valor lógico é verdadeiro quando p é falso e cujo valor lógico é falso quando p é verdadeiro. como por exemplo: o aluno após as avaliações será aprovado ou reprovado. b) p ∨ q . Outro exemplo. Embora. ~p: Paris não é capital do Japão (V) b) q: 5>3 (V). quando não houver duplicidade de interpretação. A negação da negação de uma proposição p tem o mesmo valor lógico de p.2. 5 . Definição: Chama-se de proposição composta aquela formada pela combinação de duas ou mais proposições simples. ~s: 7 é um número par (F). Mais geralmente podemos escrever: ⎧ p se n é par . transformando em “canto ou assovio”.Conjunção. Tipos de símbolos lógicos: a) p ∧ q . p V F ~p F V Exemplos: a) p: Paris é capital do Japão (F). basta escrever “p ou q”. Lê-se: ou p ou q. a negação de p é a proposição que indicaremos por ~p.Disjunção (inclusiva). Proposições compostas e seus conectivos 3.1. Lê-se: p e q.Disjunção Exclusiva. Negação de uma proposição simples Dada uma proposição p.

a proposição composta resultante é chamada conjunção de p com q. embora. se p q segue de p p é uma condição suficiente para q q é uma condição necessária para p p se. também... Por exemplo. O conceito ∧ traduz um sentido de simultaneidade. Observe a tabela-verdade abaixo. Lê-se: “Se p. mas também q. q p é condição necessária e suficiente para q Bi-condicional p↔q Condicional p→q Disjunção 3.d) p → q – Condicional.2. e. Lê-se: “p se. assim como. mas. se p”. Conjunção Negação ~p p∧q p∨q apesar de ou Se p. isto é. logo q p somente se q q. Não é verdade que p. Conjunção: Quando duas proposições simples p e q estão ligadas pelo conectivo ∧ .. 6 . Ademais. temos: Expressão em Português Conectivos Lógicos Expressão Lógica não p É falso que p. Tanto p como q. além disso. e somente se q” ou “p é condição necessária e suficiente para q” ou “q é condição necessária e suficiente para p”. “Caetano Veloso é baiano e 2 + 2 = 5 ”. e somente se. Não só p. então q” ou “p é condição suficiente para q” ou “q é condição necessária para p” ou ainda “q. “Platão era grego e Pilatos era romano” são proposições que representam conjunções de proposições simples. uma proposição do tipo p ∧ q é verdadeira apenas quando p e q são verdadeiras simultaneamente.. então q p. e) p ↔ q – Bicondicional.

ou ocorre aquilo). enquanto que em “Amanhã choverá ou fará frio” o que se pretende garantir é a ocorrência de pelo menos um dos fenômenos. o conectivo ou é sempre usado com o sentido não-exclusivo. associativa. Observe a tabelaverdade a seguir: p∨ q V V V F 7 p V V F F q V F V F . no entanto. 3. A conjunção goza das seguintes propriedades: comutativa. na linguagem natural. Disjunção inclusiva ou simplesmente Disjunção: Quando duas proposições simples p e q estão ligadas pelo conectivo ∨ . A disjunção só é falsa se p e q forem falsas. como a de que pelo menos uma das hipóteses ocorre. “Irei ao cinema ou ao teatro” traduz uma idéia de exclusão.p V V F F q V F V F p∧q V F F F Construir em sala de aula o diagrama de Venn (matemático britânico do século XIX. A partícula ou. sendo possível que ambos ocorram. a proposição composta resultante é denominada disjunção de p com q. John Venn) e o circuito de chaveamento correspondente. tem um elemento neutro (o valor lógico 1) x ∧ 1 = x e possui um elemento absorvente (o valor lógico 0) x∧0=0.3. pode traduzir tanto a idéia de possibilidades mutuamente exclusivas (ou ocorre isso. Na Lógica Formal. Por exemplo.

8 . Propriedades mistas: a) A disjunção é distributiva em relação à conjunção. associativa. existe um e um só elemento ~ x . c) Para todo elemento x.Construir em sala de aula o diagrama de Venn e o circuito de chaveamento correspondente. Disjunção Exclusiva: “ou p ou q” p V V F F q V F V F p∨ q F V V F • Construir em sala de aula o diagrama de Venn e o circuito de chaveamento correspondente. tem um elemento neutro (o valor lógico 0) x ∨ 0 = x e possui um elemento absorvente (o valor lógico 1) x ∨1=1. 3. b) A conjunção é distributiva em relação à disjunção. tais que x∨ ~ x = 1 e x ∧ ~ x = 0 . A disjunção possui as seguintes propriedades: comutativa.4.

então não irei à Unifacs”. a condicional exprime uma idéia do que é viável ou do que pode acontecer. a condicional não será negada. freqüentemente. em qualquer outro caso.3. Por exemplo. Num condicional. Condicional: Se p. Algumas vezes. então q” seja verdadeira no caso em que a proposição p é falsa. então q” é falsa quando se tem. a condicional é verdadeira. caso o Bahia perca ou empate o jogo. as proposições simples constituintes traduzem uma idéia de “causa” e “efeito”: é como se a segunda decorresse da primeira. na linguagem corrente. 9 . Em qualquer uma dessas situações. quando a condicional será falsa? A resposta é: apenas no caso de o Bahia vencer o jogo e João não oferecer o churrasco. como por exemplo: “Se o Bahia ganhar. Pode parecer um pouco estranho que a condicional “se p. Como negar um condicional? No exemplo anterior. o “então” fica subentendido. vá de táxi”. ficará a critério de o João oferecer ou não o churrasco.5. a condicional “se p. Isto é. mas isso traduz a idéia intuitiva de que. quando a promessa feita por João terá sido quebrada? Ou seja. então q. João fará um churrasco” e “Se beber. não existe o compromisso de o “efeito” ocorrer. No nosso exemplo. Observe a tabela-verdade a seguir: p→q V F V V p V V F F q V F V F Construir em sala de aula o diagrama de Venn e o circuito de chaveamento correspondente. então está vivo” e “Se chover. não ocorrendo a “causa”. “Se o pássaro canta. Ademais. não será falsa. p verdadeira e q falsa. simultaneamente.

agora. quando e somente quando a outra o for. ou seja. uma delas é verdadeira quando e somente quando a outra o for. quando for o caso. intuitivamente. ao passo que. a proposição p∨ ~ q → q ∧ r encontra-se na forma condicional. É como se uma delas acarretasse a outra e vice-versa. Quando duas proposições são logicamente bi- condicionadas. Bicondicional: “p se. elas afirmam a mesma coisa. causa e efeito da outra. b) ∧ e ∨ (conjunção e disjunção). Estabeleceremos. conforme mostramos a seguir: Assim. Observe a tabela-verdade dada abaixo: p↔q V F F V p V V F F q V F V F Construir em sala de aula o diagrama de Venn e o circuito de chaveamento correspondente. a correta colocação de parênteses. Portanto.3. e será falsa. Esta ordem de precedência entre os conectivos tem a finalidade de permitir a identificação da forma da proposição composta. c) → (condicional).6. como se cada uma pudesse ser considerada. a proposição composta p ↔ q → r é da forma bi-condicional. que é a seguinte: a) ~ (negação). p ∨ ( ~ q → q ∧ r ) é composta por uma disjunção. simultaneamente. a ordem de precedência observada entre as operações lógicas (conectivos) estudas anteriormente. d) ↔ (bicondicional). e somente se q”. é de extrema importância. Do ponto de vista da Lógica Formal. 10 .

11 . pede-se para convertê-la numa proposição condicional e numa proposição conjuntiva. uma conjunção. menos ainda. Exemplo: Construir em sala de aula. Fazendo uso de parênteses na expressão anterior. Solução: 4. esta proposição é denominada de Tautologia.Exemplo: A proposição composta p → q ↔ s ∧ r é uma bicondicional e nunca uma condicional ou. independentemente dos valores lógicos das proposições simples. Tautologias ou proposições logicamente verdadeiras Quando uma proposição composta possui sempre o valor lógico V.

ou seja. não acontecer de P ser verdadeira e Q ser falsa simultaneamente. V). se em nenhuma linha ocorre o par (V . Relação de Equivalência Sejam P e Q duas proposições quaisquer. dizemos então que P → Q é uma implicação lógica e escreveremos P ⇒ Q. Portanto. não ocorre o par (V . sendo P e Q duas proposições quaisquer (simples ou composta). então P → Q é uma Tautologia. Se P ⇒ Q. a proposição P é equivalente à proposição Q e escreveremos P ⇔ Q se P ⇒ Q e Q ⇒ P. Se P ⇔ Q. F). Exemplo: Construir em sala de aula 6. então P ↔ Q é uma Tautologia. isto é.5. Exemplo: Construir em sala de aula 12 . F) nem o par (F . Relação de Implicação Construída a Tabela-Verdade para P → Q.

7. Proposições equivalentes Vamos. faremos inicialmente o preenchimento da Tabela-Verdade abaixo usando as proposições expostas na legenda. Para estabelecermos tais equivalências. estabelecer algumas proposições equivalentes de extrema importância para o estudo das proposições lógicas. p V V F F q V F V F ~p ~q F F V V F V F V P Q R S T U X Y Z W A B C D E G Legenda: 1) P :~ ( p ∧ q) 4) S :~ p ∧ ~ q 7) X :~ p ∨ q 10) W : q → p 13) C :~ q →~ p 16) G : p ↔ ~ q 2) Q :~ p ∨ ~ q 5) T : p → q 8) Y :~ ( p → q) 11) A : ( p → q) ∧ (q → p) 14) D :~ ( p ↔ q) 3) R :~ ( p ∨ q) 6) U :~ ( p ∧ ~ q ) 9) Z : p ∧ ~ q 12) B : p ↔ q 15) E :~ p ↔ q Conclusões: Fazer em aula 13 . agora.

8 ( p → q) ∧ p ⇒ q ( p ∨ q) ∧ ~ p ⇒ q p∧q⇒ p∨q. algum. p⇒q→ p. Vamos agora exemplificar a demonstração de implicações e equivalências por um método mais eficiente. existe pelo menos um.3 10. reais. Os quantificadores mais usados são: 8. ( p → q ) ∧ ~ q ⇒~ p (Silogismo Disjuntivo).7 10.5 10. todo. Exemplos: Demonstrar as seguintes implicações: 10. (Modus Tollens). O quantificador “ ∃ | ” significa “existe somente um”.6 10. p ⇒ p ∨ q (Adição). conservando-se o universo de definição (ou seja: os conjuntos dos números complexos. Quantificadores São expressões que. irracionais.8. para todo. Quantificador Universal (∀) que significa: Qualquer que seja. Método Dedutivo Todas as implicações e equivalências forma demonstradas até aqui pelo “Método das tabelas-verdade”.4 10. (Modus Ponens).2. inteiros ou naturais) e negando-se a sentença aberta (ou seja: a função proposicional). etc. Quantificador Existencial (∃) que significa: Existe. 10. denominado “Método Dedutivo”. C é uma contradição e T é p ∧ q ⇒ p (Simplificação). 10.1 C ⇒ p e p ⇒ T .1. 14 .2 10. transformam-nas em proposições. acrescentadas às sentenças abertas. onde p é uma proposição qualquer. 9. etc. 8. racionais. uma tautologia. Negação de proposições com quantificadores A negação destas proposições é efetuada trocando-se o quantificador universal pelo existencial (ou vice-versa).

e somente se. isto é.10 p ⇒~ p → q . p →q⇒ p∧r →q.14 10. quando muito. ∧ e ∨ . 11. 12. ( p → q ) ∧ ( p →~ q ) ⇔ ~ p . Forma Normal Conjuntiva (FNC) Definição: Diz-se que uma proposição está na forma normal conjuntiva (FNC) se. ( p → q) ∨ ( p → r ) ⇔ p → q ∨ r . p ∧ q → r ⇔ p → ( q → r ) (Exportação-importação). ~ ( ~ p∨ ~ q ) e ( p ∧ q ) ∨ ( ~ q ∨ r ) . b) ~ não aparece repetido (como ~ ~) e não tem alcance sobre ∧ e ∨ . contém os conectivos ~.12 10. 15 . são verificadas as seguintes condições: a) Contém. e somente se. Exemplos: Demonstrar as seguintes equivalências: 10. ( p → r ) ∨ (q → s) ⇔ p ∧ q → r ∨ s . ( p → r ) ∧ (q → r ) ⇔ p ∨ q → r . a negação só incide sobre letras proposicionais. que a seguir vamos definir e exemplificar.17 p → q ⇔ p ∧ ~ q → C (Redução ao Absurdo). Exemplificando. Há duas espécies de FN para uma proposição: a forma normal conjuntiva (FNC) e a forma normal disjuntiva (FND). p → q ⇔ p∨q →q. os conectivos ~.10. c) A disjunção ( ∨ ) não tem alcance sobre a conjunção ( ∧ ). estão na forma normal (FN) as seguintes proposições: ~ p ∧ ~ q . Forma Normal das Proposições Definição: Diz-se que uma proposição está na forma normal (FN) se. não há componentes do tipo p ∨ (q ∧ r ) . isto é.15 10. quando muito.9 10.11 10.16 10. ∧ e ∨ .13 10.

P2 .K . 1 16 .K . são verificadas as seguintes condições: d) Contém. não há componentes do tipo p ∧ (q ∨ r ) . Argumentos Sejam as proposições P . estão na FNC as seguintes proposições: ~ p ∧ ~ q . 1 Definição: Chama-se argumento toda a afirmação de que uma dada seqüência finita P . b) ~ ((( p ∨ q ) ∧ ~ q ) ∨ ( q ∧ r )) . Exemplificando.Exemplificando. e somente se. 14. ( p → q ) ↔ ( ~ q →~ p ) . Pn (n ≥ 1) de proposições tem como conseqüência ou acarreta uma proposição final Q. Forma Normal Disjuntiva (FND) Definição: Diz-se que uma proposição está na forma normal disjuntiva (FND) se. isto é. a negação só incide sobre letras proposicionais. estão na FND as seguintes proposições: ~ p∨ ~ q . 13. ~ p ∧ q ∧ r e ( ~ p ∨ q ) ∧ ( ~ q∨ ~ r ) . os conectivos ~. p ∨ ( ~ q ∧ r ) e ( p ∧ ~ q ) ∨ ( ~ p ∧ ~ q ∧ r ) . isto é. ∧ e ∨ . f) A conjunção ( ∧ ) não tem alcance sobre a disjunção ( ∨ ). Exemplo: Determinar a FNC das seguintes proposições: a) ~ b) ((( p ∨ q ) ∧ ~ q ) ∨ ( q ∧ r )) . P2 . quando muito. Pn (n ≥ 1) e Q proposições quaisquer. e) ~ não aparece repetido (como ~ ~) e não tem alcance sobre ∧ e ∨ . c) p ↔ q∨ ~ r . simples ou compostas. Exemplo: Determinar a FND das seguintes proposições: a) ( p → q) ∧ (q → p) .

1 c) Q se deduz de P . a condicional 1 P ∧ P2 ∧ K ∧ Pn → Q é tautológica. ou ainda P ∧ P2 ∧ K ∧ Pn |⎯ Q . Exemplos: 14. P2 . um argumento da forma P ∧ P2 |⎯ Q . se recorrermos a uma argumentação não coerente. P2 . Pn acarretam Q. Pn . partindo de premissas verdadeiras.K . 1 1 e se lê de uma das seguintes maneiras: a) As proposições P . a validade dos seguintes argumentos: 17 . um argumento válido NUNCA conduz a uma conclusão falsa.As proposições P .K . através de atribuição de valores lógicos.1) Para os itens de a) até j). Pn |⎯ Q . estas duas condições são independentes. 1 d) Q se infere de P .K . Pn dizem-se as premissas do argumento. ao construir um argumento. a verdade da conclusão não pode ser garantida.K . 1 Observe que. e somente se.K . são necessárias para que possamos garantir a verdade de uma conclusão: a verdade das premissas e o recurso a uma argumentação coerente. isto é. P2 . portanto.K . P2 . P2 . P2 . Notemos que. Se pelo menos uma das premissas é falsa. 1 Um argumento que consiste em duas premissas e uma conclusão chama-se silogismo. mesmo argumentando de modo coerente. Pn . não podemos garantir a verdade da conclusão. é isso que garante a confiabilidade nos resultados da ciência. 1 Proposição: Um argumento P ∧ P2 ∧ K ∧ Pn |⎯ Q será válido se. pretendemos justificar a verdade da conclusão a partir da verdade das premissas. Duas condições. 1 b) Q decorre de P . e a proposição Q diz-se a 1 conclusão do argumento.K . E mesmo partindo de premissas verdadeiras. Em geral. Pn e de conclusão Q indica-se por: 1 P . P2 . testar. Pn . Um argumento de premissas P .

então Jason Pritchard não viu a faca. ~ r → s. ~ (~ p) |⎯ ~ q c) p → q. p ∧ q |____ q d) p∨ ~ r . Ou a faca não estava na gaveta ou Jason Pritchard viu a faca. ~ ( ~ r ∧ s ) . ~ ( ~ r ∨ q ) |____ ~ r →~ p e) ( p → q ) ∨ ~ r . ~ s |____ ~ r f) ~ p ∨ q. verifique se é um argumento válido ou um sofisma (argumento não válido) p∨ ~ q. a) q →~ p. q → r . Se a faca não estava lá no dia 10 de outubro.3) Considerando a estrutura lógica abaixo. Além disso. q →~ r |____ ~p P :1+ x = 1 → x = 0 1 h) P2 : x ≠ 0 ∨ 2 x = 0 ∴ 2x ≠ 0 → 1 + x ≠ 1 g) P : p → (q → r) 1 P2 : s → ( t → v ) i) P3 : q → s ∧ t P4 :~ ( q ∧ v ) Q: p ↔ r 14. p → q.4) Você foi convocado a participar do júri em um processo criminal. ~ s ∨ q |____ q P :x=0→x≠ y 1 P2 : x = z → x = y P3 : x = z Q:x ≠0 b) p →~ q. então a faca estava na gaveta e o martelo esta no celeiro.2) Testar a validade dos argumentos abaixo. O advogado de defesa argumenta: “Se meu cliente fosse culpado.P :p→q 1 a) P2 :~ q ∴~ p P :p→q 1 b) P2 :~ p ∴~ q c) P : p∨ ~ q 1 P2 : p → r P3 :~ r ∴~ q P : p∨q 1 d) P2 : p ∨ ~ q ∴p P : p∨q 1 P2 : q → r ∴~ p → r P :p→q 1 e) P2 :~ ( ~ p ∨ q ) ∴p P : p∨ ~ q 1 P2 : q ∧ r ∴p f) P : p∨q 1 P2 : q → r ∴~ p → r P : p∨q 1 P : p∨q 1 P2 : q → r g) P2 :~ p →~ q h) P3 :~ r ∴p ∴p i) j) 14. 14. se a faca estava lá no dia 10 de outubro. ~ ( ~ p ∧ ~ s ) |____ ~ q → r . Mas todos sabemos que o 18 . a faca estaria na gaveta.

então x = 3 ou x = −3 . então fico em casa 1 P2 : Se não chove. se penso em ti. o nosso amor conceberia um mundo e do teu ventre nasceriam deuses”. P3 |⎯ Q sabendo-se que: 1 P : Se chove e é sábado. meu cliente é inocente”. (b) Se Rui Barbosa é soteropolitano. x ≥ 0 . (j) ( p ∧ ~ q) ∨ ( p → q) (k) (~ q → p) ∧ ( p ∨ q) 2) Se p é falsa e ~q é verdadeira. 15. (g) Se existem boas mulheres. P2 . (b) ~ p ∧ ~ q (e) p →~ q (c) p ∨ q (f) p ↔ q 19 . senhoras e senhores. ando na praia P3 : Hoje é sábado Q: Hoje. (i) “Se um dia eu fosse teu e fosses minha. (e) ∀x ∈ N. (f) x ∈ R se. eu fico em casa ou ando na praia. O argumento do advogado está correto? Qual seria o seu voto? 14. então as proposições falsas são: (a) ~ p → q (d) ( p ∧ q) → ( p∨ ~ q) (g) q∨ ~ (~ p) 3) A condicional ~ p → q é falsa. (h) Choro. ∃ y ∈ N. desista. então é baiano. Exercícios 1) Dar a negação das seguintes proposições: (a) A cidade é grande e não dorme.5) Testar a validade do argumento P . (d) Se x 2 = 9 . (c) Se não for o Curso de Ciência da Computação da Universidade Salvador. Portanto. e somente se.martelo não estava no celeiro. então todo homem será bem amado. Obtenha os valores lógicos das proposições p e q. xy = 1 .

Quais das proposições abaixo representam simbolicamente a proposição “O estudante é fraco. ( x 2 − 4) = ( x + 2)( x − 2) (f) ( ) ∃ | x ∈ R. x −1 ∈ R (b) ( ) ∃ x ∈ R. x + y = 4 (j) ( ) ∀ x ∈ R. ( x − 2) y = 0 (m) ( ) ∀ x ∈ R. x 2 − x + 1 > 0 (h) ( ) ∀ x ∈ R. se é atleta”? (a) p → q (b) p → ~ q (c) p ∧ ~ q (d) ~ ( p ∧ q) 7) Quais das proposições abaixo são equivalentes a ~ p ∧ q ? (a) p ∧ ~ q (b) ~ ( p∨ ~ q) (c) ~ (~ p ∧ q) (d) ~ ( q → p ) 8) Classifique em verdadeira (V) ou falsa (F) as proposições abaixo. então as proposições cujo valor lógico é verdadeiro são: (a) ~ p ∧ ~ q (b) p ∧ ~ q (c) p → q 5) Os itens equivalentes à proposição “Se um número termina em zero então é par”. ∀ y ∈ R. x 2 + 1 = 0 (c) ( ) ∃ x ∈ R. y ∈ R. ∃ y ∈ R. x + y = 4 (k) ( ) ∃ x. x 2 − 3x + 2 < 0 (i) ( ) ∀ x ∈ R. x 2 + y 2 = 1 (l) ( ) ∀ x ∈ R. (a) ( ) ∀ x ∈ R. x + 1 = 6 (d) ( ) ∀ x ∈ R. ( x − 2) y = 0 20 . ∃ y ∈ R. x / x = 1 (e) ( ) ∀ x ∈ R.4) A proposição p ↔ q é verdadeira e ~p é falsa. são: (a) Se um número é par então termina em zero (b) Se um número não é par então não termina em zero (c) Um número não termina em zero ou é par 6) Sejam as proposições: p: o estudante é atleta e q: o estudante é forte. x 2 − 5 x + 6 = 0 (g) ( ) ∀ x ∈ R. ∀ y ∈ R.

determine V(~ s → r ∨ p) 14) Construa as tabela-verdades das seguintes proposições: (a) ~ (p ∧ ~ q) 21 . (a) ~ p (b) p ∧ q (c) p ∨ q (d) q ↔ p (e) p → ~ q (f) p ∨ ~ q (g) ~ p ∧ ~ q (h) p ∧ ~ q → p 12) Sejam p: Ele fala inglês e q: Ele fala alemão. (e) Ele não fala inglês. Escreva cada uma das proposições seguintes sob a forma simbólica usando p e q. se não falar inglês. 13) Supondo que: (a) V(p ∨ q) = V e V(~ p → ~ r) = F. (a) Ele não fala inglês e nem fala alemão. ∃ δ > 0. (c) Ninguém fala alemão. (b) V(p → ~ s) = F. Escreva cada proposição abaixo na linguagem corrente. ainda ele fala ao mesmo tempo inglês e alemão. V(q) e V(r). (f) Ele não fala inglês ou. (b) Não falar inglês é não falar alemão. determine o V(p). porém fala alemão.9) Qual é a negação da proposição ∀ ε > 0. (d) Ele não pode falar ao mesmo tempo inglês e alemão. 0 < x − a < δ ⇒ f ( x ) − L < ε ? 10) Demonstre as seguintes equivalências: (a) p ∨ ( q ∧ r ) ⇔ ( p ∨ q) ∧ ( p ∨ r ) (b) ~ ( p ∧ q) ⇔ ~ p ∨ ~ q (c) ~ ( p ∨ q) ⇔ ~ p ∧ ~ q (d) ( p ∧ q) ∧ r ⇔ p ∧ ( q ∧ r ) (e) ( p ∨ q) ∨ r ⇔ p ∨ ( q ∨ r ) (f) p ↔ q ⇔ ~ p ↔~ q (g) ~ ( p → q) ⇔ p ∧ ~ q 11) Sejam as proposições p: Bill Gates adora computador e q: Dadá Maravilha nunca foi campeão de pingue-pongue.

a contrapositiva e a recíproca da contrapositiva. determine: a sua recíproca. Bruno foi ao cinema. então terei boas notas b) Se trabalho.(b) p ∧ q → p ∨ q (c) ~ p → (q → p) (d) ( p ↔ p ∧ ~ p ) ↔ ~ p (e) ( p ↔ ~ q) ↔ q → p (f) [ (p ∧ r) ∨ (q ∧ ~ r) ] ↔ [ (~ p ∧ r) ∨ (~ q ∧ ~ r) ] (g) p → ( p → ~ r) ↔ q ∨ r (h) ( p ∨ q ) ∧ ~ p → q 15) Verifique quais das proposições acima (ou seja. justificando suas respostas: a) Bruno vai ao cinema ou ao teatro Se Bruno vai ao teatro então telefona Bruno não telefona Logo. 16) Mostre que as proposições " x = 2 ∨ x ≥ 3 " e " ~ (x< 3 ∧ x ≠ 2) " são equivalentes. passei em Álgebra. não posso estudar Trabalho ou passo em Álgebra Trabalhei Logo. 17) Mostre sem utilizar a tabela verdade que: p ↔ q ⇔ ( p ∧ q) ∨ ( ~ p ∧ ~ q). 18) Utilizando propriedades simplifique as seguintes proposições: (a) p ∧ ~ (p ∧ ~ q) (b) [( p ∨ q ) ∧ ~ p ] ∨ ~ (p ∨ q ) (c) ~ ( ~ p → ~ q ) (d) ~ ( p ∨ q ) ∨ ( ~ p ∧ q ) (e) ( p → q ) ∧ ( ~ p → q ) 19) Dada a condicional: Se x2 é impar então x é impar. d) p1 : x = y → x = z p2 : x = z → x = 1 p3 : x = 0 → x ≠ 1 22 . c) Se eu for ao cinema e estudar então irei à praia Se eu não for ao cinema ou não estudar. 20) Verifique a validade dos argumentos. da questão 14) são tautológicas e quais são contradições.

p1 : ~ p → ~ q ∨ ~ r p2 : s → q ∧ r p3 : s ∧ r p p1 : p → q ∨ r p2 : s ↔ r p3 : ~ p ∨ q ~p∧q p1 : p ∨ q p2 : ~p ∧ ~ q → r p3 : r ↔ q q p1 : (p → q ) ∨ r p2 : s ∨ t → ~ r p3 : s ∨ ( t ∧ u ) p→q 23 . terei boas notas.Não fui à praia Portanto. onde S1 . p4 : x = y ∴x ≠ 0 21) (Poscomp – 2002) Assinale o argumento válido. S2 indicam premissas e S a conclusão: (a) S1: Se o cavalo estiver cansado então ele perderá a corrida S2: O cavalo estava descansado S: O cavalo ganhou a corrida (b) S1: Se o cavalo estiver cansado então ele perderá a corrida S2: O cavalo ganhou a corrida S: O cavalo estava descansado (c) S1: Se o cavalo estiver cansado então ele perderá a corrida S2: O cavalo perdeu a corrida S: O cavalo estava cansado (d) S1: Se o cavalo estiver cansado então ele perderá a corrida S2: O cavalo estava descansado S: O cavalo perdeu a corrida 22) Use a demonstração indireta (por absurdo) para verificar se os quatro argumentos dados a seguir são válidos.

Lógica e Linguagem. Rio de Janeiro: Livros Técnicos e Científicos Editora S.2) ALENCAR FILHO. 24 . Referências Bibliográficas 16. Edgard. São Paulo: Atlas S. Jair Minoro [et al]. 1975..6) comunicação. Centro Editorial e Didático da UFBA. 16. Belo Horizonte: Autêntica.3) DAGHLIAN. 16. 2002. 1999. Nilson José. A. Editora Livraria Nobel S.1) ABE.A. Iniciação à Lógica Matemática. semântica e sistemas de duração. 16. Fundamentos Matemáticos para a Ciência da Computação. 2002. Jacob. 16. MACHADO. A.5) LIMA. coerência. Rio de Janeiro: Campus. argumentação. 16. 16. João Nunes de. Judith L.7) SOUZA. Lógica e Álgebra de Boole.. 1995. Arlete Cerqueira.23) Verifique a validade dos argumentos para cada conclusão proposta: 1º Argumento: p1 : Todos os poetas são pobres p2 : Para se professor é preciso diplomar-se pela Universidade p3 : Nenhum diplomado em Universidade é pobre c1 : Professores não são pobres c2 : Poetas não são professores c3 : Se Vicente é diplomado pela Universidade então ele não é poeta. Lógica e linguagem cotidiana – verdade.4) GERSTING. 2005. Introdução à lógica para a Ciência da Computação.. 16. Lógica para Ciência da Computação: fundamentos da linguagem. 1992. 4ª ed. 2º Argumento: p1 : Todos os matemáticos são pessoas interessantes p2 : Alguns professores vendem seguros p3 : Somente pessoas desinteressantes tornam-se vendedores de seguros c1 : Vendedores de seguros não são matemáticos c2 : Algumas pessoas interessantes não são professores c3 : Alguns professores não são pessoas interessantes c4 : Alguns professores não são matemáticos c5 : Alguns matemáticos são professores c6 : Se Armando é um matemático então não vende seguros. São Paulo: Arte & Ciência.

You're Reading a Free Preview

Descarregar
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->