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

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

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

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

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

3. o conectivo ou é sempre usado com o sentido não-exclusivo. A conjunção goza das seguintes propriedades: comutativa. a proposição composta resultante é denominada disjunção de p com q.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. pode traduzir tanto a idéia de possibilidades mutuamente exclusivas (ou ocorre isso. no entanto. enquanto que em “Amanhã choverá ou fará frio” o que se pretende garantir é a ocorrência de pelo menos um dos fenômenos. ou ocorre aquilo). associativa. Disjunção inclusiva ou simplesmente Disjunção: Quando duas proposições simples p e q estão ligadas pelo conectivo ∨ . A partícula ou. “Irei ao cinema ou ao teatro” traduz uma idéia de exclusão. Por exemplo. A disjunção só é falsa se p e q forem falsas. como a de que pelo menos uma das hipóteses ocorre. 3. Observe a tabelaverdade a seguir: p∨ q V V V F 7 p V V F F q V F V F . Na Lógica Formal. sendo possível que ambos ocorram. na linguagem natural. 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.

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

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

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

11 . menos ainda. Exemplo: Construir em sala de aula. 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. 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. uma conjunção. pede-se para convertê-la numa proposição condicional e numa proposição conjuntiva. Fazendo uso de parênteses na expressão anterior.

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

agora. 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. Para estabelecermos tais equivalências.7. Proposições equivalentes Vamos. 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 .

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

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

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

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

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

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

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

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

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

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. 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 . onde S1 .Não fui à praia Portanto. p4 : x = y ∴x ≠ 0 21) (Poscomp – 2002) Assinale o argumento válido. terei boas notas.

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

Sign up to vote on this title
UsefulNot useful