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

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

1. Definição: Chama-se proposição a todo conjunto de palavras ou símbolos que exprimem um pensamento completo. x 2 − 1 = 0 (F). Nota: Para transformar uma sentença aberta numa proposição.2. e mesmo que estivesse teríamos uma controvérsia. f) u: ∀ x ∈ R. Expressa uma sentença aberta (função proposicional). Seguem exemplos de proposições envolvendo a sentença aberta citada acima: i) x 2 − 1 = 0 para x = ±1 (V). d) x 2 − 1 = 0 . basta atribuir valores às variáveis existentes ou fazer uso dos Quantificadores Universal e/ou Existencial. x 1. c) Ela é muito talentosa. x 2 − 1 = 0 (F). Contra-Exemplos: a) Que dia é hoje? Temos uma frase interrogativa que não é uma oração declarativa. pois “ela” não está especificada. O que é uma Proposição? 1. iii) ∃ x ∈ R . ii) ∀x ∈ R. x = 1 – Valor lógico (F). 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. Não é falsa nem verdadeira. 4 .1. x 2 − 1 = 0 (V) e iv) ∃ | x ∈ R . verdade ou falsidade.3. os quais serão estudados na página 14. b) Não ser verdadeira e falsa simultaneamente (Princípio da Não-Contradição). Pelos dois princípios anteriores temos que: Toda proposição tem um e somente um dos valores lógicos.1. b) Viva o curso de Ciência da Computação! Temos uma frase exclamativa que não é uma oração declarativa. logo não declarativa. 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). Não é uma proposição. É uma proposição já que é falsa ou verdadeira.

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

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

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. John Venn) e o circuito de chaveamento correspondente. na linguagem natural. sendo possível que ambos ocorram. enquanto que em “Amanhã choverá ou fará frio” o que se pretende garantir é a ocorrência de pelo menos um dos fenômenos. Observe a tabelaverdade a seguir: p∨ q V V V F 7 p V V F F q V F V F . no entanto. A partícula ou. Na Lógica Formal. Por exemplo. 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. a proposição composta resultante é denominada disjunção de p com q. 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. o conectivo ou é sempre usado com o sentido não-exclusivo. como a de que pelo menos uma das hipóteses ocorre. associativa. “Irei ao cinema ou ao teatro” traduz uma idéia de exclusão. A conjunção goza das seguintes propriedades: comutativa. ou ocorre aquilo). 3.

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.Construir em sala de aula o diagrama de Venn e o circuito de chaveamento correspondente.4. existe um e um só elemento ~ x . associativa. 3. 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. A disjunção possui as seguintes propriedades: comutativa. Propriedades mistas: a) A disjunção é distributiva em relação à conjunção. tais que x∨ ~ x = 1 e x ∧ ~ x = 0 . 8 . b) A conjunção é distributiva em relação à disjunção. c) Para todo elemento x.

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

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

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

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

Para estabelecermos tais equivalências. Proposições equivalentes Vamos.7. 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 . estabelecer algumas proposições equivalentes de extrema importância para o estudo das proposições lógicas. faremos inicialmente o preenchimento da Tabela-Verdade abaixo usando as proposições expostas na legenda. agora.

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

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

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

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

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

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

x 2 − x + 1 > 0 (h) ( ) ∀ x ∈ R. (a) ( ) ∀ x ∈ R. ( x − 2) y = 0 20 . y ∈ R. x + 1 = 6 (d) ( ) ∀ x ∈ R. 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. 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. ( x 2 − 4) = ( x + 2)( x − 2) (f) ( ) ∃ | x ∈ R. ∃ y ∈ R. x / x = 1 (e) ( ) ∀ x ∈ R. x 2 − 5 x + 6 = 0 (g) ( ) ∀ x ∈ R. x 2 + 1 = 0 (c) ( ) ∃ x ∈ R. x 2 + y 2 = 1 (l) ( ) ∀ x ∈ R. ∀ y ∈ R. Quais das proposições abaixo representam simbolicamente a proposição “O estudante é fraco. x + y = 4 (k) ( ) ∃ x. ∀ y ∈ R. x −1 ∈ R (b) ( ) ∃ x ∈ R.4) A proposição p ↔ q é verdadeira e ~p é falsa. ∃ y ∈ R. x + y = 4 (j) ( ) ∀ x ∈ R. ( x − 2) y = 0 (m) ( ) ∀ x ∈ R. 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”. x 2 − 3x + 2 < 0 (i) ( ) ∀ x ∈ R.

9) Qual é a negação da proposição ∀ ε > 0. porém fala alemão. V(q) e V(r). (b) V(p → ~ s) = F. ainda ele fala ao mesmo tempo inglês e alemão. (c) Ninguém fala alemão. 13) Supondo que: (a) V(p ∨ q) = V e V(~ p → ~ r) = F. Escreva cada proposição abaixo na linguagem corrente. se não falar inglês. determine V(~ s → r ∨ p) 14) Construa as tabela-verdades das seguintes proposições: (a) ~ (p ∧ ~ q) 21 . (b) Não falar inglês é não falar 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. (f) Ele não fala inglês ou. (e) Ele não fala inglês. determine o V(p). ∃ δ > 0. (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. (a) Ele não fala inglês e nem fala alemão. Escreva cada uma das proposições seguintes sob a forma simbólica usando p e q. (d) Ele não pode falar ao mesmo tempo inglês e alemão.

(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. determine: a sua recíproca. 17) Mostre sem utilizar a tabela verdade que: p ↔ q ⇔ ( p ∧ q) ∨ ( ~ p ∧ ~ q). c) Se eu for ao cinema e estudar então irei à praia Se eu não for ao cinema ou não estudar. passei em Álgebra. então terei boas notas b) Se trabalho. a contrapositiva e a recíproca da contrapositiva. 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. 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. Bruno foi ao cinema. 20) Verifique a validade dos argumentos. da questão 14) são tautológicas e quais são contradições. não posso estudar Trabalho ou passo em Álgebra Trabalhei Logo. d) p1 : x = y → x = z p2 : x = z → x = 1 p3 : x = 0 → x ≠ 1 22 .

onde S1 . p4 : x = y ∴x ≠ 0 21) (Poscomp – 2002) Assinale o argumento válido. 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. 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.

1975.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.2) ALENCAR FILHO. Introdução à lógica para a Ciência da Computação. Fundamentos Matemáticos para a Ciência da Computação. A. São Paulo: Arte & Ciência. Lógica para Ciência da Computação: fundamentos da linguagem.A. Rio de Janeiro: Campus. argumentação.. Edgard. São Paulo: Atlas S. Judith L.. 2002. Lógica e linguagem cotidiana – verdade..3) DAGHLIAN. 2002. Lógica e Álgebra de Boole. 16. 24 . Lógica e Linguagem. Editora Livraria Nobel S. Referências Bibliográficas 16.5) LIMA. Iniciação à Lógica Matemática. 16. Nilson José. 2005. 16. 16.6) comunicação.7) SOUZA. semântica e sistemas de duração. 4ª ed. Arlete Cerqueira. 1992. Jacob. coerência. 16. 1999. 16. João Nunes de.4) GERSTING. 1995. A.1) ABE. MACHADO. 16. Belo Horizonte: Autêntica. Centro Editorial e Didático da UFBA. 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. Rio de Janeiro: Livros Técnicos e Científicos Editora S. Jair Minoro [et al].

Sign up to vote on this title
UsefulNot useful