LGICA COMPUTACIONAL

# Anlise e Desenvolvimento de Sistemas # Redes de Computadores. # Engenharia de Computao

Professora: Valria N. da Silva Fogaa

SUMRIO

PGINA

Apresenta-------------------------------------------------------------------------------------------------------03 1. Introduo teoria dos conjuntos------------------------------------------------------------------------- 04 1.1. A origem da teoria dos conjuntos--------------------------------------------------------------------04 1.2. Conceitos primitivos---------------------------------------------------------------------------------- 04 1.3. Representao de um conjunto Relao de Pertinncia.----------------------------------------- 04 1.4. Tipos de Conjuntos------------------------------------------------------------------------------------.05 1.5. Subconjuntos.----------------------------------------------------------------------------------------- -06 1.6. Igualdade de Conjuntos.------------------------------------------------------------------------------ 06 1.7. Conjunto universo .----------------------------------------------------------------------------------- .07 1.8. Unio e Interseco de Conjuntos-------------------------------------------------------------------.07 1.9. Conjunto Diferena -----------------------------------------------------------------------------------.10 1.10. Conjunto Complementar -----------------------------------------------------------------------------.11 1.11. Problemas sobre quantidades de conjuntos finitos------------------------------------------------.12 2. Quantificadore------------------------------------------------------------------------------------------------.17 2.1. Quantificador Universal-------------------------------------------------------------------------------17 2.2. Quantificador Existencial-----------------------------------------------------------------------------.18 2.3. Negao de proposio com quantificador---------------------------------------------------------.19 2.4. Contra-exemplo----------------------------------------------------------------------------------------20 3. Lgica Matemtica-------------------------------------------------------------------------------------------.21 3.1. Lgica sobre proposies-----------------------------------------------------------------------------23 3.2. Conectivos----------------------------------------------------------------------------------------------24 3.3. Negao------------------------------------------------------------------------------------------------25 3.4. Conjuno----------------------------------------------------------------------------------------------25 3.5. Disjuno Inclusiva e exclusiva---------------------------------------------------------------------26 3.6. Condicional--------------------------------------------------------------------------------------------.27 3.7. Bicondicional------------------------------------------------------------------------------------------.28 4. Tabela- Verdade---------------------------------------------------------------------------------------------.30 4.1. Valor lgico--------------------------------------------------------------------------------------------32 5. Tautologia, Contratautologia e Contingncia------------------------------------------------------------34 6. Implicao e Equivalncia Lgica ------------------------------------------------------------------------37 6.1. Implicao Lgica------------------------------------------------------------------------------------.38 6.2. Equivalncia Lgica .--------------------------------------------------------------------------------39 6.2.1. Proposies Associadas a Condicional .-------------------------------------------------. 40 6.2.2. Conectivos -----------------------------------------------------------------------------------.42 7. lgebra das Proposies .----------------------------------------------------------------------------------.42 8. Argumentos..------------------------------------------------------------------------------------------------.-44 8.1 Regras de inferncia..................................................................................................................49 9. Bibliografia---------------------------------------------------------------------------------------------------.57

Valria Nagali da Silva Fogaa

Pgina 2

CONSIDERAES INICIAIS
O aprendizado da Lgica auxilia os estudantes no raciocnio, na compreenso de conceitos bsicos, na verificao formal de programas e melhor os prepara para o entendimento do contedo de tpicos mais avanados. Este roteiro constitui uma INTRODUO LGICA, procurando alcanar os objetivos gerais e especficos propostos pela disciplina Lgica Matemtica do Cursos de Cincia da Computao que possuem a Lgica Matemtica em seu currculo. Uma das consideraes mais importantes que devemos fazer quando se usa o computador no ensino de matemtica, consiste em saber aspectos sobre o modo como o computador desenvolve algumas operaes. Desde j aviso que no pretendo neste tpico fazer uma abordagem sobre a Histria da Computao, e o seu desenvolvimento na sociedade do sculo XX, mas sim, pretendo apresentar aspectos que podem contribuir ao entendimento da sua lgica. No entanto compreender sua lgica consiste em entender o que a lgica formal, especificamente a lgica proposicional. Valria

Valria Nagali da Silva Fogaa

Pgina 3

1- Introduo Teoria dos Conjuntos

1.1 A ORIGEM DA TEORIA DOS CONJUNTOS Para muitos te1ogos, o Infinito somente pode ser encontrado na natureza de Deus. Esse dogma provavelmente foi um obstculo para a aceitao do infinito em Matemtica, pois estudos relevantes sobre esse tema s foram feitos a partir do final do ,sculo XIX. Paradoxalmente, um homem religioso, o matemtico Georg Cantor (1845-1918), e seu colega Richard Dedekind (1831-1916) definiram e classificaram precisamente tipos diferentes de infinito. Para isso, eles se utilizaram uma nova teoria, criada por Cantor em 1872. a teoria dos conjuntos. Alm da definio rigorosa de infinito, e de muitas outras contribuies, a teoria dos conjuntos unificou a linguagem em todos os ramos da Matemtica. 1.2 CONCEITOS PRIMITIVOS Os conceitos que iniciam uma determinada teoria so aceitos sem definio, pois no existindo ainda a teoria, no h como defini-los; por isso so chamados de conceitos primitivos. Na teoria dos conjuntos, esses conceitos so: conjunto e elemento de um conjunto. A idia de conjunto a mesma de coleo, conforme mostram os exemplos a seguir. Exemplos a)Uma coleo de revistas um, conjunto. Cada revista um elemento desse conjunto. b)Os alunos de sua sala de aula formando um conjunto. Voc um elemento desse conjunto. 1.3. REPRESENTAO DE UM CONJUNTO RELAO DE PERTINNCIA Tabular A representao tabular (forma de tabela) de um conjunto aquela em que os elementos so apresentados entre chaves e separados por virgulas. (Exemplos a) A = {a. e, i, o, u} b) B = { 1, 2, 3, 4} usual dar nomes aos conjuntos usando as letras maisculas A, B, C, D... Os elementos de um conjunto so comumente representados pelas letras minsculas a, b, c, d,... Note que, nos exemplos dados, u elemento do conjunto A e no elemento do conjunto B. Esses fatos so indicados, respectivamente, por: u A (l-se: u pertence a A) e u B (le-se: u no pertence a B") Por um diagrama de Venn A representao de um conjunto por um diagrama de Venn (John Venn.. 1834-1923) aquela em que os elementos so simbolizados por pontos interiores a uma regio plana, delimitada por unia linha fechada que no se entrelaa.
Valria Nagali da Silva Fogaa Pgina 4

Exemplos
diagrama de Venn, consiste em circundar os elementos por linhas.

A a i o e u b

No diagrama, os elementos a, e, i, o e u pertencem ao conjunto A. O elemento b no pertence ao conjunto A.

Por uma Propriedade A representao de um conjunto A por meio de uma propriedade aquela em que os elementos so descritos por uma propriedade que os determina. Representa-se o conjunto A por: A = {x | x tem a propriedade p} (L-se: A o conjunto de todos os elementos x tal que x tem a propriedade p") Exemplos a) A = {x | x pas da Europa } Propriedade p Entenda bem: 0 conjunto A formado por todos os pases da Europa. b) B = {x | x mamfero} Propriedade p 0 conjunto B formado por todos os mamferos. 1.4 TIPOS DE CONJUNTO Conjunto unitrio todo conjunto formado por um nico elemento. Exemplos a) A {5} b)B { x | x estrela do sistema solar} = {Sol} Conjunto vazio aquele que no possui elemento algum. Representa-se o conjunto vazio por ou por { }. Exemplos a) A = {x | x nmero e 0 x = 51} = b) B = {x | x palavra proparoxtona no acentuada, em portugus} = { } Observao: 0 conjunto C = {} um conjunto unitrio cujo elemento a letra . Conjunto finito todo conjunto que, contando os elementos um a um, chega-se ao fim da contagem. Exemplos a) A = { a, b, c, d, e,f } b) B = {x | x brasileiro} C) C= Conjunto infinito todo conjunto que no finito.
Valria Nagali da Silva Fogaa Pgina 5

Exemplos a) Um importante conjunto infinito que vamos usar como referncia adiante o conjunto dos nmeros naturais: N = {O, 1, 2, 3, 4, ...} b) Outro importante conjunto infinito que tambm ser usado freqentemente como referncia o conjunto dos nmeros inteiros: Z = {... - 3, - 2, - 1, 0, 1, 2, 3, ...} 1. 5 SUBCONJUNTO Consideremos o conjunto B formado por todas as pessoas brasileiras. Com os elementos de B podemos formar o conjunto H, de todos os homens brasileiros, e o conjunto M, de todas as mulheres brasileiras. Dizemos que os conjuntos H e M so subconjuntos de B. Seu um conjunto T de pessoas possui como elemento pelo menos uma pessoa que no seja brasileira, dizemos que T no subconjunto de B, Indicamos esses fatos por: H B (l-se: H est contido em B) M B (l-se: "M est contido em B") T B (l-se: "T no est contido em B") Um conjunto A subconjunto de um conjunto B se, e somente se, todo elemento de A pertence a B. Exemplos a) {2, 5, 3 } C {2, 5, 3, 8, 9} b) {2, 5, 3 } C {2, 5, 3} A B B A

d) {2, 5, 3} {2, 5, 7. 9} Propriedades P.1 O conjunto vazio subconjunto de qualquer conjunto. A ( A) (0 smbolo lido "qualquer que seja.) Pode-se justificar essa propriedade a partir das duas nicas possibilidades: ou A ou A. Analisemos a primeira delas: se A, ento existe pelo menos um elemento que pertence ao vazio e no pertence a A; mas isso absurdo. pois o vazio no possui elemento algum. Assim, falso que A, portanto verdade que A. P.2 Todo conjunto subconjunto de si mesmo. A A ( A) Exemplos a) {5, 4, 0} {5, 4, 0} b)

Valria Nagali da Silva Fogaa

Pgina 6

1.6. IGUALDADE DE CONJUNTOS Observe que todo elemento do conjunto {1, 2,3} tambm pertence ao conjunto {3, 2, 1} e que todo elemento de { 3, 2, 1 } tambm pertence a {1, 2, 3}.Por isso, dizemos: {1, 2, 3} = {3, 2, 1} Dois conjuntos A e B so iguais (A = B) se. e somente se, e somente se, A B e B A. Exemplos a) {b, c, d, e) = {e, b, d, e} b) = 1.7. CONJUNTO UNIVERSO Quando estudamos a histria da humanidade, o conjunto de todos os seres humanos chamado de conjunto universo (U) desse estudo. Quando estudamos os nmeros que podem resultar da contagem de unidades, o conjunto universo (U) o conjunto dos nmeros naturais: N= {0,l,2,3,4, ...} Generalizando: O conjunto universo de um estudo aquele ao qual pertencem todos os elementos desse estudo. Exerccios 1- Represente na forma tabular, os seguintes Conjuntos: a) A = {x Z | -3 x 3} b) B = {x Z | x = 9} c) C = {x N | x = 9} d) D = {x Z | 9 x < 100 e) E = {x N | x > 54} 2 -Classifique cada um dos conjuntos a seguir como finito ou infinito. a)A={x Z | x < 0} e) C={x N | 0 x = 0} b)B={x N | x < 0} d) D={x N | 0 x =x} 3- (Unirio) Sendo x e y nmeros tais que {1, 2, 3} = {1, x, y}. pode-se afirmar que: a)x = 2 e y = 3 c) x < y e) y 2 b) x + y = 5 d) x 2 4- Observando o diagrama, julgue (V ou F) cada uma das afirmaes: I. . 3 A II. 3 A e 3 B III. 3 A ou 3 B IV. 5 A e 5 B V. 5 A ou 5 B VI. 3 A e 3 B VII. 5 A e 5 B VIII. {5, 8} A IX. {5, 8} B
Valria Nagali da Silva Fogaa Pgina 7

X. {6,8} B XI. {8,4,9} A 5- Represente. na forma tabular, o conjunto E, com E N, que satisfaz as seguintes condies: 1. 0 E II. Se x E, ento x + 1 tambm pertence a E.

1. 8 UNIO E INTERSECO DE CONJUNTOS Um professor de Educao Fsica marcou dois treinos: para o primeiro foram convocadas as alunas que jogam voleibol ou basquetebol e, para o segundo, foram convocadas as alunas que jogam voleibol e basquetebol. Trs alunas do colgio, Regina, Cristina e Rita, so jogadoras. Regina joga apenas voleibol. Cristina joga apenas basquetebol, Rita joga voleibol e basquetebol. Quem dentre elas deve comparecer ao primeiro treino? E quem deve comparecer ao segundo? Fica claro que as trs devem comparecer ao primeiro treino e apenas Rita, dentre as trs, deve com parecer ao segundo. Esse exemplo ajudar a entender as definies a seguir. Unio (ou reunio) de conjuntos A unio (ou reunio) de dois conjuntos. A e B, que indicaremos por A U B (l-se: A unio B), o conjunto cujos elementos so todos aqueles que .e pertencem a A ou a B. A U B= {x | x A ou x B} Exemplos a) Sendo A = {1, 2, 3} e B= {6,7},temos: A U B = {1, 2,3,6, 7} b) Sendo C ={1,2,3,4} e D={3,4,5,6,7}, temos: C U D = {1,2,3,4,5,6, 7} c) Sendo E = {l,2,3}e F={0,l,2,3,4}, temos: E U F {0,1,2,3,4}

Interseco de conjuntos A interseco de dois conjuntos. A e B, que indicaremos por A B (l-se: A interseco B), o conjunto cujos elementos so todos aqueles que pertencem a A e a B. A B= {x | x A e x B} Exemplos a) Sendo A = {1, 2, 3,4} e B= {3,4,5,6,7}, temos: A B = {3, 4}
Valria Nagali da Silva Fogaa Pgina 8

b) Sendo C = {1,2,3} e D = {7, 8, 9}, temos: C D= c) Sendo E = {4,5,6} e F={2,3,4.5,6,7}, temos: E F= {4,5,6} Nota: Dizemos que dois conjuntos so disjuntos se, e somente se, a interseco entre eles o conjunto vazio. Note no exemplo (b) que os conjuntos C e D so disjuntos. Representao da interseco de conjuntos em diagramas de Venn

ATIVIDADES: 6- So dados os conjuntos: A={x Z | 4 < x 2} B={x N | x 3} Determine: a) A U B b) A B c) A U D d) A D e) A U B U D 7- Sabendo que A B = {2, 5}, B = {2,5,9} e A U B = {2, 3, 5, 8, 9}, represente no diagrama os conjuntos A e B. B A 8- No diagrama a seguir, pinte a regio que representa o conjunto (A U C) B. A B f) A B C g) A B C D h) (A U D) (B U C) i) (A D) U (B C)

Z | -2 < x <5} D={x Z | 3 x 8}

C={x

C
Valria Nagali da Silva Fogaa Pgina 9

9- (UFPR) O nmero de elementos de um conjunto finito X indicado por n(X). Qual das afirmaes a seguir verdadeira para quaisquer conjuntos finitos A e B? a) n(AUB)>n(A B) b) n(A U B) > n(A) e n(A U B) > n(B) c) n(A U B) = n(A) + n(B) d) n(A U B) = n(A) + n(B) - n(A B) e) n(A B) > 0 10- Um marceneiro construiu u viga de comprimento c, emendando dois caibros de comprimentos a e b. Para isso, recortou em um extremo de cada caibro um encaixe em L, de comprimento x. conforme a figura. Calcule a medida x em funo de a, b e c.

1.9 CONJUNTO DIFERENA A idia de diferena de conjuntos usada freqentemente no nosso dia-a-dia. Vejamos: voc vai escola todos os dias da semana? Provavelmente voc respondeu: Todos os dias menos sbado e domingo. Na verdade, para dar essa resposta, voc usou o conceito de diferena de conjuntos, ou seja, tirou do conjunto A = {segunda-feira, tera-feira, quarta-feira, quinta-feira, sextafeira, sbado, domingo} o conjunto B = {sbado, domingo}. Essa idia ser formalizada pela definio a seguir. A diferena de dois conjuntos, A e B, nessa ordem, que indicaremos por A - B (l-se: A menos B), o conjunto cujos elementos so todos aqueles que pertencem a A e no pertencem a B.. A- B={x | x A e x B} Exemplos a) Sendo A={1,2,3,4,5}e B{4,5,6,7,8,9} temos: A -B= {1, 2, 3,} e BA = {6,7,8,9}
Exemplo: A = {1, 2, 3, 4}, B = {3, 4, 5, 6} A - B = {1, 2} e B A = {5, 6}. Usando diagramas podemos indicar

Valria Nagali da Silva Fogaa

Pgina 10

A A-B AB B-A

B AB

1.10 CONJUNTO COMPLEMENTAR Complemento aquilo que completa, segundo o dicionrio de Aurlio Buarque de Holanda. Essa exatamente a idia de conjunto complementar: aquilo que completa. Por exemplo: dizemos que o conjunto complementar do conjunto das consoantes em relao ao conjunto das letras do nosso alfabeto o conjunto das vogais. Essa idia ser formalizada pela definio a seguir. Sejam A e B dois conjuntos tais que A B. Chama-se complementar de A em relao a B, que indicamos por (l-se: complementar de A em relao a B), o conjunto cujos elementos so todos aqueles que pertencem a B e no pertencem a A. Nota: O conjunto{x | x B e x A} exatamente a diferena B - A. A condio A necessria e suficiente para que exist a C B complementar de A em relao a B que A A B. Caso contrrio, dizemos que no existe C B . Exemplos
A a) Sendo A = {1,2,3} e B= {l,2,3,4,5},temos A B; logo, existe C B ,que igual aB - A, A C B =B-A ={4,5} isto :

b) Sendo D (l,2,3,4}e E= {3, 4, 6, 7), temos E D logo, no existe complementar de D D em relao a E C E , pois DE. Representao do complementar de um conjunto em diagramas de Venn

Complementar de B em relao a A (em azul mais escuro)

Atividades

Valria Nagali da Silva Fogaa

Pgina 11

11 -.Dados os conjuntos E= {3,8,6,4}, F= {l, 2, 3, 8, 6, 4, 9} e G = {4, 5, 6,7, 8}, determine: a) F E d) (F G) U (G F) e) b) G E c) (E U G) F G) C F

G

E F

f) C F

( E G)

h) C E

i) C F

{ }

12. Considerando o universo U de todas as pessoas brasileiras, sejam os conjuntos: A = {x U | x homem} B = (y U | y tem pelo menos 16 anos de idade} C = {z U | z tem no mximo 20 anos de idade} Indicando por X o complementar de X em relao U, complete a sentena escrevendo uma propriedade que determine os elementos dos conjuntos a seguir: a) A = (x U | x ...} b) B = {y U | y tem ... }
c)

C ={Z U | Z tem ...}

1.11 PROBLEMAS SOBRE QUANTIDADES DE ELEMENTOS DE CONJUNTOS FINITOS Neste item vamos resolver problemas que relacionam as operaes entre conjuntos finitos com a quantidade de seus elementos. importante relembrar que o nmero de elementos de um conjunto finito X representado pr n(X). Exerccios resolvidos R1 Foram entrevistadas 50 pessoas sobre suas preferncias em relao a duas marcas, A e B, de sabo em p. Os resultados da pesquisa foram precisamente: 21 pessoas responderam dizendo que usam o sabo da marca A; l0 pessoas responderam que usam a marca A e a marca B: 5 pessoas responderam que no usam nenhuma duas marcas. De acordo com esses dados, quantas pessoas Usam somente a marca B? Resoluo Sejam: U o conjunto universo das 50 pessoas entrevistadas: A o conjunto das pessoas que usam a marca A; B o conjunto das pessoas que usam a marca B.
Valria Nagali da Silva Fogaa Pgina 12

1. Inicialmente, vamos considerar o conjunto A B que aquele das pessoas que usam as duas marcas, ou seja, usam a marca A e tambm a marca B: tal conjunto Possui 10 elementos. Para nos orientar, vamos escrever o nmero 10 na regio correspondente a A B:

II. O conjunto A aquele das pessoas que usam a marca A; tal conjunto possui 21 elementos. porm. na parte (l)j foram consideradas 10 pessoas que usam a marca A. faltando, portanto. 11 pessoas para completar o conjunto A. O nmero 11 deve ser indicado na regio A -B

III. O conjunto A U B) aquele das pessoas que no usam nenhuma das duas marcas. O nmero de elementos desse conjunto 5:

IV. O conjunto B A aquele das pessoas que usam somente a marca B. Seja x o nmero de elementos desse conjunto:

Como n( U) = 50, devemos ter: 5 + 11 + 10 + x = 50 ou seja, x = 24: portanto: n(B - A) = 24 Logo. 24 pessoas usam somente a marca B.

Valria Nagali da Silva Fogaa

Pgina 13

Exerccios 1-Um professor recomendou a leitura de obras da escritora Marcia Kupstas a um grupo de 30 jovens. Depois de algum tempo o professor realizou um levantamento para saber quais livros foram lidos. Verificou-se, ento, que 21 alunos tinham lido Um amigo no escuro, 19 alunos leram Crescer perigoso e 12 alunos leram essas duas obras. Vamos verificar ento: a) quantos leram apenas Um amigo no escuro; b) quantos leram apenas Crescer perigoso; c) quantos no leram quaisquer dessas obras. 2-Desejando verificar qual o jornal preferido dos estudantes, uma pesquisa apresentou os resultados constantes na tabela abaixo.

Com base na tabela, vamos responder s seguintes questes: a) Quantas pessoas lem apenas o jornal A? b) Quantas pessoas lem o jornal A ou o B?: c)Quantas pessoas no lem o jornal C? d) Quantas pessoas foram consultadas? 3-Numa festa, 29 pessoas discutiam sobre dois filmes, A e B. Dessas pessoas, precisamente: 13 assistiram ao filme A; 5 assistiram aos dois filmes; 6 no assistiram a nenhum dos dois filmes. Quantas pessoas assistiram somente o filme B, sabendo que todas as 29 pessoas opinaram? 4- A partir de uma pesquisa feita com 2.200 gachos, a Secretaria de Turismo do Estado cncluiu que: exatamente 816 dessas pessoas j estiveram na Regio Nordeste do Brasil; exatamente 602 dessas pessoas j estiveram na Regio Norte do Brasil; exatamente 206 dessas pessoas j estiveram nas duas regies. Quantas das pessoas entrevistadas nunca estiveram em nenhuma das duas regies? 5- Quarenta e um alunos de um colgio opinaram, numa
Valria Nagali da Silva Fogaa Pgina 14

pesquisa em que eram solicitados a responder se eram leitores de jornal ou revista. Concluiu-se exata mente que: 24 alunos lem jornal; 30 alunos lem revista; 5 alunos no lem jornal nem revista. Quantos alunos lem jornal e revista? 6- (PUC/Campinas-SP, adaptada) Numa comunidade constituda de 1.800 pessoas, h trs programas de TV favoritos: esporte (E), novela (N) e humorismo (H). A tabela a seguir indica quantas pessoas assistem a esses programas:

Por meio desses dados, verifica-se que o nmero de pessoas da comunidade que no assistem a qualquer dos trs programas : a) 100 b) 200 Sugesto: 7- Em uma classe do terceiro do segundo grau 10 alunos foram aprovados sem necessidade de uma prova final. Ao fazer o controle para a realizao da prova final verificou-se que: (a) somente ser necessrio aplicar provas de Matemtica, Fsica e Qumica. (b) 18 alunos devero fazer prova final de Matemtica. (c) 19 alunos devero fazer prova final de Fsica. (d) 15 alunos devero fazer prova final de Qumica. (e) 10 alunos devero fazer prova final de Matemtica e Fsica. (f) 9 alunos devero fazer prova final de Matemtica e Qumica. (g) 6 alunos devero fazer prova final de Fsica e Qumica. (h) 4 alunos devero fazer prova final de Fsica, Qumica e Matemtica. Qual o nmero de alunos dessa classe? 8- Em uma cidade com 41.520 habitantes so publicados dois jornais A e B. Se 8.050 lem o jornal A, 13.200 lem o jornal B e 1230 lem os dois jornais, quantos habitantes da cidade no lem nenhum dos dois jornais? 9- Certa regio, com 15000 lavradores, (a) 7000 plantam tomate; (e) 1500 plantam tomate e batata; (b) 4800 plantam alface; (f) 1400 plantam alface e batata; (c) 5600 plantam batata. (g) 800 plantam tomate, alface e batata. (d) 2100 plantam tomate e alface; Responda: (1) quantos plantam pelo menos uma das (3) quantos plantam tomate e alface mas trs espcies? no plantam batatas? (2) quantos no plantam nenhuma das (4) quantos plantam apenas batat trs espcies?
Valria Nagali da Silva Fogaa Pgina 15

c) 900

d) 2.700

e) impossvel de se calcular.

10- Em uma cidade com 45000 habitantes, 12.000 so brasileiros, 10.000 so franceses, 5.000 so ingleses e os demais so espanhis. Quantos so espanhis? Respostas : 1) a) 9 b) 7 c) 2 6) b) 2) a) 205 b) 480 c) 500 d) 700 7) 41 3) 10 8) 21500 4) 988 9) 5) 18 Smbolos utilizados na Lgica Matemtica
| | no e ou se ... ento se e somente se tal que implica equivalente existe existe um e somente um qualquer que seja

Valria Nagali da Silva Fogaa

Pgina 16

2-Quantificadores
Atravs do uso de quantificadores pode-se transformar uma sentena aberta em uma proposio. Os quantificadores transmitem a idia de quantidade. 2.1QUANTIFICADOR UNIVERSAL Se uma proposio tem valores verdadeiros verdadeiros para todos valores analisados, o quantificador adequado o universal. O smbolo ( x ) pode ser identificado como : para todo x; para qualquer elemento x; qualquer que seja x; Tendo p(x) como uma sentena aberta em um conjunto no vazio A e Vp seu conjunto verdade: Vp = { x | x A p(x) } Quando Vp = A , isto , todos os elementos do conjunto A satisfazem a sentena aberta p(x), podemos, ento, afirmar: "Para todo elemento x de A, p(x) verdadeira" ou de maneira mais simplificada "Para todo x de A, p(x)" . Nota-se que p(x) , simplesmente, uma sentena aberta, e por isto falta um valor lgico ( V ou F ); mas, a sentena aberta p(x) com o smbolo antes dela, isto , ( x e A) (p(x)) , torna-se uma proposio e, portanto, tem um valor lgico que verdadeiro se Vp=A e falso se Vp A . Em outros termos, dada uma sentena aberta p(x) em um conjunto A, o smbolo referido varivel x, representa uma operao lgica que transforma a sentena aberta p(x) numa proposio, verdadeira ou falsa, conforme p(x) exprime ou no uma condio universal no conjunto A. A esta operao lgica d-se o nome de quantificao universal e ao respectivo smbolo o de quantificador universal . Exemplos: 1.) Tendo a proposio: ( x N) (x + 2 > 3) falsa, pois, o conjunto-verdade da sentena aberta p(x): x + 2 > 3 : Vp = {x | x N x + 2 > 3} = { 2, 3, ... } N 2.) Tendo um conjunto A={1,2,4,6} , podemos verificar o uso do quantificador universal na proposio, abaixo : ( x A) (x + 3 < 10) verdadeira, pois, para todos os valores de x do conjunto A, a proposio analisada ter resultado lgico verdadeiro e o conjunto-verdade da sentena aberta : Vp = { x | x A x + 3 < 10} = {1, 2, 4, 6} = A 3.) Sendo a proposio: ( x ) (3x - 5 = 0) falsa, pois, no ser para todos os valores de x, que o resultado da proposio ser verdadeiro.
Valria Nagali da Silva Fogaa Pgina 17

2.2 QUANTIFICADOR EXISTENCIAL Quando nem todos os valores so verdadeiros, utiliza-se o quantificador existencial. Que possui como smbolo ( x ) e pode ser identificado como : existe x tal que; para alugum elemento x; para pelo menos um x; Tendo p(x) como uma sentena aberta em um conjunto no vazio A e Vp seu conjunto verdade: Vp = { x | x A p(x) } Quando Vp no vazio , ento, um elemento, pelo menos, do conjunto A satisfaz a sentena aberta p(x), podemos, ento, afirmar: "Existe pelo menos um x A tal que p(x) verdadeira" ou de maneira mais simplificada "Existe x A tal que p(x)" . Sendo p(x) uma sentena aberta, por isto falta um valor lgico ( V ou F) ; mas a sentena aberta p(x) com o smbolo antes dela, isto , ( x A) (p(x)) , torna-se uma proposio e, portanto, tem um valor lgico, que verdadeiro se Vp e falso se Vp = . Deste modo, dada uma sentena aberta p(x) em um conjunto A, o smbolo , referido varivel x, representa uma operao lgica que transforma a sentena aberta p(x) numa proposio, verdadeira ou falsa, conforme p(x) exprime ou no uma condino possvel no conjunto A. A esta operao lgica d-se o nome de quantificao existencial e ao respectivo smbolo o de quantificador existencial . Exemplos: 1.) Tendo o conjunto B = {0,1,2,3,4,5}, a proposio: ( x B) (3x-1=14) verdadeira, pois, existe pelo menos um valor que torna a proposio verdadeira. Vp = {x | x B 3x -1 = 14} = { 5 } 2.) Tendo a proposio: ( x N) (x + 4 < 8) verdadeira, pois, o conjunto-verdade da sentena aberta p(x):x+4<8 : Vp = {x | x N x + 4 < 8} = {1, 2, 3, } 2.3 NEGAO DE PROPOSIES COM QUANTIFICADOR Um quantificador universal ou existencial pode ser precedido do conetivo da negao ( ~ ). Por exemplo, no universo H dos seres humanos, as expresses: ( x) (x fala portugus) ~( x) (x fala portugus) ( x ) (x foi Lua) ~( x) (x foi Lua) so proposies que, em linguagem comum, se podem enunciar, respectivamente: " Toda a pessoa fala portugus"
Valria Nagali da Silva Fogaa Pgina 18

" Nem toda a pessoa fala portugus" "Algum foi Lua" "Ningum foi Lua" Portanto, temos as seguintes equivalncias: ~( x) (x fala portugus) ( x) (~x fala portugus) ~( x) (x foi Lua) ( x) (~x foi Lua) De modo geral, a negao da proposio ( x A) (p(x)) equivalente a afirmao de que, para ao menos um x e A, p(x) falsa ou ~p(x) verdadeira. Logo, tem-se a equivalncia: ~[( x A) (p(x))] ( x A) (~p(x)) Assim como, a negao da proposio ( x A) (p(x)) equivalente a afirmao de que, para todo x e A, p(x) falsa ou ~p(x) verdadeira. Logo, tem-se a equivalncia: ~[( x A) (p(x))] ( x A) (~p(x)) Portanto: A negao transforma o quantificador universal em quantificador existencial (seguido de negao) e transforma o quantificador existencial em quantificador universal (seguido de negao). Exemplos: 1.) A negao da proposio: "Todos os alunos gostam de lgica" a proposio: "Existe pelo menos um aluno que no gosta de lgica", ou: "Nem todo o aluno gosta de lgica". 2.) A negao da proposio: "Existe pelo menos uma pessoa que goste churrasco" a proposio: "Qualquer que seja a pessoa, ela no gosta de churrasco", ou: "Nenhuma pessoa gosta de churrasco". 3.) ~( x ) (x < 0) ( x ) (x >= 0) 4.) ~( x ) (3x - 5 = 0) ( x ) (3x - 5 0) 2.4 Contra-exemplo Para demonstrar que uma proposio da forma ( x A) (p(x)) falsa, basta mostrar que a sua negao ( x A) (~p(x)) verdadeira, isto , que existe pelo menos um elemento Xo e A tal que p(Xo) uma proposio falsa. Logo, o elemento Xo denominado de contra-exemplo para a proposio ( x A) (p(x)). Exemplos: 1.) Tendo a proposio: ( x R) (| x | 0) falsa e possui o nmero 0 como um contra-exemplo: | 0 | = 0. 2.) Tendo a proposio: ( x R) (x > x)
Valria Nagali da Silva Fogaa Pgina 19

 falsa e como exemplo de um contra-exemplo: () < ().

Exerccios 1- Sendo A = {1,2,3,4,5}, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) ( x A) (x + 3 = 10)(b) ( x A) (x + 3 < 10 (c)( x A) (x + 3<5 ) (d) (d)( x A) (x + 3 < 7) (e) ( x A) (3x > 72) (f) ( x A) (x + 2x = 15) 2.-Sendo R o conjunto dos nmeros reais, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) ( x R) ( x = x) (d) ( x R) (x + 2 = x) (b) ( x R) (x = x) (c) ( x R) ( x = 0) (e) ( x R) (x+ 1 > x) (f) (x R) (x = x)

3- Sendo R o conjunto dos nmeros reais, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) ( x R) (2 x = x) (c) ( x R) (x + 5 = 2x) (b) ( x R) (x + 3x = 2) (d) ( x R) (2x + 3x = 5x)

4- Sendo A = {1,2,3}, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) ( x A) (x + x 6 = 0) (b) ( y A) (~ (y + y = 6)) (c) ( x A) (x + 3x = 1) (d) ~ ( x A) (x + x = 6 ) (e) ~( x A) (x + 3x = 1 ) (f) ( x A) (x +3x 1 ) 5- Sendo A = {1,2,3}, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) ( x A) ((x +1) = x + 1) (b) ( x A) (x+ - x - 10x 8 = 0) A) (x - 6x + 11 6 = 0) (d) ( x A) (x4 - 4x - 7x - 50x = 24) (c) ( x 6- Sendo A = {1,2,3,4}, determinar o valor lgico (V ou F) de cada uma das seguintes proposies: (a) ( x A) (x +3 < 6) (b) ( x A) (x + 3 < 6) (c) ( x A) (x - 10 < 8) (d) ( x A) (2x + x = 15) 7- Sendo A= {2,3,...8,9}, dar um contra-exemplo para cada uma das seguintes proposies: (a)( x A) (x +5 < 12) (b) ( x A) (x 2 > 1) (c) ( x A ) (0x=0) (d) ( x A) (x primo) (e) ( x A) (x par) (f) (x A) (72/x)(diviso exata) Respostas: 1- a)F 2- a)F b) V c)V d) F e)V b) V c)V d) F e)V f) V f) F f) V

3- a)V b) V c)F d) V 4- a)V b) V c)F d) V e)V 5- a)F

Valria Nagali da Silva Fogaa

b) F c)F d) F
Pgina 20

6- a)F

b) V c)V d) F

3-LGICA MATEMTICA
Uma das consideraes mais importantes que devemos fazer quando se usa o computador no ensino de matemtica, consiste em saber aspectos sobre o modo como o computador desenvolve algumas operaes. Desde j aviso que no pretendo neste tpico fazer uma abordagem sobre a Histria da Computao, e o seu desenvolvimento na sociedade do sculo XX, mas sim, pretendo apresentar aspectos que podem contribuir ao entendimento da sua lgica. No entanto compreender sua lgica consiste em entender o que a lgica formal, especificamente a lgica proposicional. a) O QUE A LGICA? Lgica trata da correo do pensamento. Como filosofia, ela procura saber por que pensamos assim e no de outro jeito. Com arte ou tcnica, ela nos ensina a usar corretamente as leis do pensamento. Poderamos dizer tambm que a Lgica a arte de pensar corretamente e, visto que a forma mais complexa do pensamento o raciocnio, a Lgica estuda ou tem em vista a correo do raciocnio. Podemos ainda dizer que a lgica tem em vista a ordem da razo. Isto d a entender que a nossa razo pode funcionar desordenadamente, pode pr as coisas de pernas para o ar. Por isso a Lgica ensina a colocar Ordem no Pensamento. Se perguntarmos ao matemtico o que lgica muitos podero apresentar respostas que digam: Resposta 1 - "Lgica uma rea de conhecimentos da matemtica usada em lgebra, aritmtica e geometria" Resposta 2 - "Lgica a Teoria dos Conjuntos, e ela que viabiliza o trabalho matem-tico, pois a Teoria dos Conjuntos uma linguagem universal." Resposta 3 - "Lgica o conhecimento que prescreve todos os outros conhecimentos, inclusive a matemtica." Resposta 4 - "A Lgica uma ferramenta que pode ser utilizada no trabalho matemtico." Ao perguntarmos para um filsofo este poder dizer que: Resposta 5 - "A Lgica um ramo da filosofia que pretende compreender o que a verdade." Resposta 6 - "A Lgica permite a compreenso dos processos que se desenvolvem na natureza das coisas." Em suma, as respostas podem ser muitas, uns com uma viso mais utilitarista dela,outros com uma viso menos utilitria, no entanto, no se pode negar que a lgica no um
Valria Nagali da Silva Fogaa Pgina 21

privilgio de intelectuais e cientistas afortunados, mas faz parte do pensamento humano, e ns usamos continuamente suas operaes para solucionar certos problemas. Existe Lgica no dia-a-dia? Sempre que pensamos, o raciocnio e a lgica nos acompanham necessariamente.Tambm quando falamos, pois a palavra falada a representao do pensamento; e, visto que a palavra escrita a representao da palavra falada, tambm pensamos quando escrevemos, utilizando a Lgica ou a Ilgica. Da percebemos a importncia da Lgica na nossa vida no s na teoria, como tambm na prtica, j que quando queremos pensar, falar ou escrever corretamente precisamos colocar em Ordem o Pensamento, isto , utilizar a Lgica. b) UM POUCO DE HISTRIA Aristteles e lgica silogstica (base da argumentao legal). Sofre deficincias da linguagem natural Os esticos(Grecia 155a.c.) e a introduo dos conectivos. 1700 - Leibniz e lgica simblica (proposional e predicados) 1800 - lgebra de Boole : leitura da lgica simblica para valores de um domnio e operadores Foco atual : lgica de primeira ordem, lgica de segunda ordem, resoluo por padres.

3.1 LGICA SOBRE PROPOSIES Operaes do clculo proposicional tambm chamadas operaes lgicas CONCEITO DE PROPOSIO: Chamamos de proposio todo o conjunto de palavras ou smbolos que exprime um pensamento de completo sentido. Exemplos: 1) "O carro tem volante"; 2) "O Brasil menor que o Paraguai"; A Lgica Matemtica adota como regras fundamentais dois princpios: I) Princpio da No Contradio: Uma proposio NO pode ser verdadeira ou falsa ao mesmo tempo. II) Princpio do Terceiro Excludo: Toda proposio ou verdadeira ou falsa, no h uma 3a. possibilidade. VALORES LGICOS DAS PROPOSIES: Chama-se valor lgico a Verdade se uma proposio verdadeira ou Falsidade se uma proposio falsa. Toda proposio tem um, e s um, dos valores : V ou F Ex: (a) 10 um nmero inteiro (b) O sol gira em torno da terra O valor lgico da proposio (a) a verdade (V) e o valor lgico da proposio (b) a falsidade (F) . VARIVEL PROPOSICIONAL:
Valria Nagali da Silva Fogaa Pgina 22

So elementos que podem assumir como valor qualquer proposio e portanto, no possuem valor lgico (valor verdade) definido. So representados por letras minsculas p,q,r,etc e so chamadas de proposies simples ou (tomos). Ex: p: Carlos careca q: Pedro estudante

A proposio composta ou (molculas) aquela que formada pela combinao de duas ou mais proposies. So representadas por letras maisculas P, Q, R,etc, Ex: P: Carlos careca e Pedro estudante R: Se Carlos careca ento infeliz 3.2 CONECTIVOS Chama-se conectivo uma palavra que usada para formar novas proposies a partir de outras. Valor lgico de uma proposio simples indica-se por V(p). Assim exprime-se que p e verdadeira(v), escrevendo: V(p)=V Exemplos: P: O nmero 4 par e o nmero 8 quadrado perfeito Q: O tringulo ABC retngulo ou issceles R: No est chovendo S: Se Jorge engenheiro, ento sabe matemtica T: O tringulo equiltero se e somente se equiltero. So conectivos usuais em Lgica Matemtica as palavras que esto grifadas, isto : no(~) ,e() , ou() , se... ento...() , ... se e somente se...(). Tabela Verdade : Segundo o Princpio do terceiro excludo toda proposio simples p verdadeira ou falsa, isto tem valor lgico V(verdade) ou o valor lgico F(falsidade). p p 1 F 0 V Em se tratando de uma proposio composta obedece ao seguinte princpio: O valor lgico de qualquer proposio composta depende unicamente dos valores lgicos das proposies simples componentes, ficando por eles univocamente determinado. p q p q 1 V V 1 1 2 V F 1 0 3 F V 0 1 4 F F 0 0 Ex: Sejam as proposies : p: chove V q: vou ao cinema (pode ir ou no V ou F) r: 2+3 = 5 V s: 2+5 = 6 F t: 2 >3 F
Valria Nagali da Silva Fogaa Pgina 23

O Clculo Proposicional e a lgebra dos Conjuntos possuem estruturas semelhantes. Toda frmula do Clculo Proposicional determina uma operao correspondente entre conjuntos : a negao (~ ) corresponde complementao ( ~ ), a conjuno ( ) corresponde interseco () , a disjuno ( ) corresponde unio ( ). 3.3 NEGAO Seja p uma proposio. Denotaremos a proposio composta pelo modificador NO por ~p e l-se: " no p O valor lgico a verdade(V) quando p falsa e a falsidade(F) quando p verdadeira. Smbolo: (~) Exemplos: p: vou praia ~p: no vou praia q: 7+8 = 15 ~ q: 7+8 15 Tabela Verdade : ~V = F

p ~p V F 1 0 3.4 CONJUNO : (aplicvel pelo menos duas variveis) A conjuno de duas proposies p e q o valor lgico somente verdade (V), quando ambas as componentes forem verdadeiras e falsidade (F) nos demais casos. Chamamos p q a conjuno de p e q e l-se "p e q". Smbolo:() Exemplos: p: chove q: vou ao cinema r: vou estudar lgica pqr : chove e vou ao cinema e vou estudar ~pq : no chove e vou ao cinema Tabela Verdade : p: A neve branca V q: 2 < 5 V A neve branca e 2< 5 VV V p q V V F F
Valria Nagali da Silva Fogaa

V F V F

pq V F F F

p: O enxofre verde q: 7 um nmero primo O enxofre verde e sete um nprimo VF F p q pq 1 1 1 1 0 0 0 1 0 0 0 0

Pgina 24

3.5 DISJUNO INCLUSIVA OU SOMA LGICA (OU) : A disjuno de duas proposies p e q cujo valor lgico a verdade(V) quando ao menos uma das proposies p e q verdadeira e a falsidade(F) quando as proposies p e q so ambas falsas Chamamos esta conectiva disjuno inclusiva ou soma lgica; denotaremos de p e q por p q, e l-se: "p ou q". Smbolo: () Exemplos: p: Joo estuda q: Pedro Trabalha pq: Joo estuda ou Pedro Trabalha p~q: Joo estuda ou Pedro no trabalha ~(pq): No verdade que Joo estuda e Pedro trabalha ~(pq): No verdade que Joo estuda ou Pedro trabalha Tabela Verdade : p: Paris a capital da Frana V p: 1 = 1 F q: 9 4 = 5 V q:- 64 = -6 F Paris a capital da Frana ou 9 -4 =5 V V V p: 4 + 5 = 9 V q: 5 1 = 3 F 4 + 5 = 9 ou 5 1 = 3 V F V p q pq pq 1 1 1 V V V 1 0 1 V F V 0 1 1 F V V 0 0 0 F F F DISJUNO EXCLUSIVA : A palavra OU tem dois sentidos; no caso anterior, temos a disjuno inclusivas, que exemplificamos a seguir: P: Joo estudante ou mecnico; Indicando que "pelo menos uma das proposies" p: Joo estudante q: Joo mecnico verdadeira, podendo ambas ser verdadeiras: Joo estudante e mecnico. Por outro lado, temos o caso em que isto no ocorre; disjuno exclusiva, definida a seguir. A disjuno exclusiva de duas proposies p e q uma proposio de valor lgico verdade (V)somente quando p verdadeira ou q verdadeira (somente uma das duas verdadeiras) e a falsidade(F) quando p ou q so p q ambas verdadeiras ou ambas falsas. Denotaremos a disjuno exclusiva de p e q por p q, e l-se: "p ou q, mas no ambas".
Valria Nagali da Silva Fogaa Pgina 25

1 = 1 ou

64 = -6 F F F

Smbolo: () Em lgica matemtica usa-se habitualmente o smbolo para ou Inclusivo e o smbolo par ou exclusivo. Assim ao proposies compostas: P: Carlos mdico ou professor Q: Mario Alagoano ou Gacho Disjuno inclusiva P: Carlos mdico Carlos professor vel Disjuno exclusiva Q: Mario Alagoano Mario Gacho aut Tabela Verdade :( ( pq) ~( p q))

p q V V F F V F V F

p(q F V V F

p 1 1 0 0 1 0 1 0

p(q 0 1 1 0

3.6 CONDICIONAL O condicional de duas proposies p e q tem valor lgico falsidade(F) no caso em que p verdadeira e q falsa e a verdade (V) nos demais casos. Representa-se o condicional de p e q por p q e l-se: "se p ento q". A proposio p chamada antecedente e a proposio q o conseqente do condicional. Smbolo: () Uma condicional pq no afirma que o conseqente q se deduz ou Conseqncia do antecedente p. Assim, por exemplo, as condicionais: p:7 um nmero mpar V q: Braslia uma cidade V pq : Se 7 um nmero mpar, ento Braslia uma cidade. V V O que uma condicional afirma unicamente uma relao entre valores lgicos do antecedente e do conseqente de acordo com a definio. Tabela Verdade : p: 3 + 6 = 9 V q: 9 um nmero real V Se 3 + 6 = 9, ento 9 um numero real V V V p: Maio tem 31 dias V q: A terra plana F Se maio tem 31 dias ento a terra plana. V F F p: 2 1 = -1 F q: 100 = 10 V Se 2 1 = -1, ento 100 = 10 V F V V

Valria Nagali da Silva Fogaa

Pgina 26

pq V V F F V F V F V F V V

pq

p 1 1 0 0 1 0 1 0

q 1 0 1 1

pq

3.7 BICONDICIONAL O bicondicional de duas proposies p e q possui o valor lgico verdade(V) quando p e q so ambas verdadeiras ou ambas falsas, e a falsidade(F) nos demais casos . Denotaremos o bicondicional de p e q por p q e l-se: "p se e somente se q". Convm notar que o bicondicional no uma operao original, mas dupla aplicao do conectivo (). Smbolo: () Sejam duas proposies p e q : p condio necessria e suficiente para q q condio necessria e suficiente para p Exemplos: p: Roma fica na Europa V q: A neve branca V p q : Roma fica na Europa se e somente se a neve branca VV = V p: A terra plana F q: Florianpolis a capital de Curitiba F FF= V r s A terra plana se e somente se Florianpolis a capital de Curitiba p: Lisboa a capital de Portugal V q: tg de Portugal se e somente se tg

= 3 VF =F 4 p: Vasco da Gama descobriu o Brasil F q: Tiradentes foi enforcado V pq: Vasco da Gama descobriu o Brasil se e somente se Tiradentes foi enforcado FV = F Tabela Verdade :
p V V F F q V F V F pq V F F V p 1 1 0 0 q 1 0 1 0 pq 1 0 0 1

= 3 F p q Lisboa a capital 4

Valria Nagali da Silva Fogaa

Pgina 27

Observando as tabelas tem-se, em resumo: - Negao: se V(p) = V ento V(~p) = F e se V(p) = F ento V(~p) = V. - Disjuno: V(p q) = F se e somente se V(p) = F e v(q) = F. - Disjuno exclusiva: V(p q) = F quando V(p) = V(q). - Conjuno: V(p q) = V somente quando V(p) = V(q) = V. - Condicional: V(p q) = F somente quando V(p) = V e V(q) = F. - Bicondicional: V(p q) = V quando V(p) = V(q).

Quadro resumo individual: Simbologia Negao Conjuno Disjuno inclusiva Disjuno exclusiva Condicional Bicondicional

Definio

EXERCCIOS 1. D o valor lgico das seguintes proposies: a. A Lua um satlite da Terra e o planeta Vnus gira em torno da Terra. b. Uma estrela tem luz prpria ou o sol um planeta. c. Se 3 par ento 3 + 1 impar. d. Se 3 par ento 5 par. e. 4 + 3 = 5 se e somente se 4 = 2 + 2. f. Santos Dumont inventou o avio ou Cabral descobriu o caminho para as ndias. 2. D o valor lgico das seguintes proposies: a. p q, se V(p) = F e V(q) = F. b. p q, se V(p) = F e V(q) = F. c. p q, se V(p) = F e V(q) = F. d. p q, se V(p) = F e V(q) = F. e. p q, se V(p) = V e V(q) = F. f. p q, se V(p) = V e V(q) = F. g. p q, se V(p) = V e V(q) = F. h. p q, se V(p) = V e V(q) = F I. p q, se V(p) = F e V(q) = V. j. p q, se V(p) = F e V(q) = V. k. p q, se V(p) = F e V(q) = V. l. p q, se V(p) = F e V(q) = V. 3. Determinar o valor lgico( V ou F) de cada uma das seguintes proposies:
Valria Nagali da Silva Fogaa Pgina 28

a) 3 + 2 =7 e 5 +5 = 10 b) 2+7 =9 e 4 + 8 = 12 c) o > 1 2+2 = 4 d) 52 = 10 racional e) 3 3 5 5 f) > 4 3 > 5 g) Se 0 <1 ento 2 irracional h) 3 + 4 = 7 se e somente 53 = 125 i) 1 > -2 2 < 20 j) No verdade que 12 um nmero mpar k) falso que 2 + 3 = 5 e 1 + 1 = 3 l) ~ [( 23 8) ou (4243) ] 4. Determine o valor lgico (V ou F) de cada uma das seguintes proposies: (a)O nmero 17 primo. (e) O produto de dois nmeros (b)Fortaleza a capital do Maranho. mpares um nmero mpar. (c )(3+5)2= 32+52. (f) Todo nmero divisvel por 5 (d)O nmero 125 cubo perfeito. termina em 5. 5.Sejam as proposies p : Joo gacho e q : Jaime Paulista. Traduzir para a linguagem corrente as seguintes proposies: (a) ~(p ~q) (b) ~p ~ q 6. Sejam as proposies p : Marcos alto e q : Marcos elegante. Traduzir para a linguagem simblica as seguintes proposies: (a) Marcos alto e elegante (d) Marcos no nem alto e nem (b) Marcos alto, mas no elegante elegante (c) No verdade que Marcos (e) Marcos alto ou baixo e baixo ou elegante elegante 7. Sejam as proposies p : Sueli rica e q : Sueli feliz. Traduzir para a linguagem simblica as seguintes proposies: (a) Sueli pobre, mas feliz (b) Sueli rica ou infeliz (c)Sueli pobre e infeliz 8. Sejam as proposies p: 19 um nmero primo e q: 12 um nmero par. Traduza em palavras as sentenas: a) p q b) p q c) p q d) p q e) p q f) ~( p q) g) ~p q h) ~(p q) i) ~~p j) ~(~p ~q).

9. Sejam as proposies p: 2 < x < 7 e q: x2 + 1 < 50. Traduza em palavras as sentenas: a) p q b) p q c) p q d) p q e) p q

Valria Nagali da Silva Fogaa Pgina 29

f) ~( p q) g) ~p q k)~(p v q) (p ~q) Respostas 1- a) F 2- a) F 3- a) F 4- a) V

h) ~(p q)

i) ~~p

j) ~(~p ~q).

b) V b) F b) V b) F

c) V c) V c) F c) F

d)V e) F d)V e) F d)F e) F d)V e) V

f) V f) V g)F h)F i) F j) V k) V l) F f) V g)V h)V i) V j) V k) V l) V f) F

4-TABELA VERDADE
NMERO DE LINHAS DE UMA TABELA-VERDADE: Cada proposio simples (atmica) tem dois valores V ou F, que se excluem. Para n atmicas distintas, h tantas possibilidades quantos so os arranjos com repetio de 2 (V e F) elementos n a n. Segue-se que o nmero de linhas da tabela verdade 2n. Assim, para duas proposies so 22 = 4 linhas; para 3 proposies so 23 = 8; etc. Tabela Verdade uma representao em forma de tabela das funes lgicas e facilita a representao e a anlise das mesmas. Variveis Lgicas nome da variveis Variveis de entrada. A B C 1 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 Tabela-verdade com trs variveis p, q e r Exemplo de Aplicao da Tabela-Verdade o Neste circuito possvel fazer a descrio do funcionamento da lmpada: Chave A ChaveB Bateria
Valria Nagali da Silva Fogaa

Resultado da varivel

Lmpada
Pgina 30

Toda proposio derivada de proposies simples tem seu valor lgico que depende exclusivamente dos valores lgicos das proposies primitivas. Para obter os valores lgicos de uma proposio derivada recorremos a um algoritmo denominado tabela verdade no qual figuram todos as possveis combinaes dos valores lgicos das proposies primitivas. Tal algoritmo construdo conforme abaixo

O nmero de linhas determinado pelo nmero de arranjos com repetio de dois elementos tomados n a n onde n o nmero de proposies combinadas, que (AR)2n = 2n. Isto , para 4 proposies, a tabela verdade ter 24 = 16 linhas. TABELAS INICIAIS Vejamos como so as tabelas das proposies: ~p, p q, p q, p q, p q, p q.

Valria Nagali da Silva Fogaa

Pgina 31

PONTUACAO DE PROPOSICOES COMPOSTA Conforme ocorre em expresses algbricas, o uso de parnteses permite identificar a ordem dos clculos a serem feitos. Ao usar diversos pares de parnteses devem-se iniciar os clculos a partir do ultimo parntese que se abre e do primeiro parntese que se fecha a contar da direita .Entretanto, caso no ocorra dupla interpretao, os parnteses podem ser eliminado. Em tal situao, convenciona-se a ordem :

1) ~ , 2) , 3) , 4) , 5).

Tomando por exemplo a proposio p q ~ r p, a aplicao de parnteses leva a p (( q (~r)) p).

Estas proposies compostas podem ser combinadas para formao de proposies mais complexas, como por exemplo: (A)~(p q) (p ~q).
p q ~(p q) (p ~q)

(B)p p

(( q (~r)) p).
q r ~r

q (~r)

q (~r) p

p (( q (~r)) p).

4-1 Valor lgico de uma proposio composta Dada uma proposio composta P( p,q,r,...), pode-se sempre determinar o seu valor lgico ( 1 ou 0) quando so dados ou conhecidos os valores lgicos respectivos das proposies componentes p, q,r,...
Valria Nagali da Silva Fogaa Pgina 32

Exemplo 1) Qual o valor lgico da quinta linha da tabela acima(*) 2) Sabendo que o V(r)=1, determinar o valor lgico ( 1 ou 0) da proposio: p q r. Exerccios: 1-

2-

3- Sabendo que os valores lgicos das proposies p , q e r so respectivamente, F , V e V determinar o valor lgico (V ou F) da proposio: a)(p (~q q)) ~((p ~q) (q ~p)) b) ~(p q) ~ (q p) c) (p (~q r)) ( q (p ~r)) d) ((p q) r) (~p (q ~r)) 4- Determinar o valor lgico de p, isto , v (p), sabendo que: a) V(q) = V e v( p q ) = F b) V(q) = V e v( p q) = V 5- Determinar o valor lgico V ou F de cada uma das proposies: a) p q ~r , sabendo que V(p) = V(r)= 1. b) p q p r, sabendo que V(p) = V(r)= 1. c) ( p ~q) (p r), sabendo que V(q) = 0 e V(r)= 1.

Valria Nagali da Silva Fogaa

Pgina 33

5- TAUTOLOGIA , CONTRA TAUTOLOGIA e CONTINGNCIA

DEFINIES Vejamos as tabelas verdades das seguintes proposies (1) P(p, q) = p (p q) (2) P(p, q) = ~p (p q) (3) P(p, q) = (p q) p
p V V F F q V F V F p ^ q ~(p^q) V F F V F V F V p v ~(p ^q) V V V V

1
p V V F F
p V V F F

q ~p V F F F V V F V
q V F V F

~q F V F V

p ^ ~q ~p^(p^~q) F F V F F F F F

2
p v q V V V F p v q p V V F V

3 Definio 1 Chama-se TAUTOLOGIA proposio composta P(p, q, r, ...) tal que V(P) = V, quaisquer que sejam os valores lgicos das proposies simples envolvidas. As tautologias so tambm chamadas de proposies logicamente verdadeiras. Definio 2 Chama-se CONTRADIO proposio composta P(p, q, r, ...) tal que V(P) = F, quaisquer que sejam os valores lgicos das proposies simples envolvidas. As contradies so tambm chamadas de proposies logicamente falsas ou contravlidas. Definio 3 As proposies que apresentem valores lgicos V e F so chamadas de CONTINGNCIAS.

OPERADORES LGICOS
O conceito de operador est baseado no conceito de funo. Um operador um tipo especial de funo que faz associao entre elementos de um mesmo conjunto. Os operadores, por isso, podem ser encarados como instrumentos para encontrar ou gerar
Valria Nagali da Silva Fogaa Pgina 34

novos elementos de um conjunto, a partir de elementos dados, segundo uma regra ou inteno, que constitui a definio do operador. Assim por exemplo, o operador de soma de nmeros naturais ( representado por +), permite representar o nmero natural que a soma de dois outros nmeros naturais: dado os naturais representados por 11 e 26, a expresso11+ 26representa o nmero natural que a soma de 11 e 26. Operadores lgicos so operadores aplicados ao conjunto das proposies. Eles combinam proposies gerando novas proposies. proposio s pode ser associado um dos dois valores: 1, ou 0; portanto, os nicos operadores unitrios possveis so os que invertem valor verdade da proposio e o que o mantm. Ao que mantm chama-se identidade o que inverte chama-se negao . Os valores verdadeiro e falso so representados por 1 e 0 respectivamente. Ex: p ~p 1 0 0 1 EXERCCIOS 1- Utilizando os conectivos ~, , , , j estudados, vamos interpretar a tabela abaixo fazendo a relao com operadores. Ex : O operador O 1 define uma proposio que sempre verdadeira, independente do valor dos operandos: gera portanto uma tautologia. P q O1 O2 O3 O4 O5 O6 O7 O8 O9 O10 = ~p (pq) p 1 1 0 0 1 0 1 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0

O1= O2= O3= O4= O5=

O6= O7= O8= O9= O10=

2- Construir a tabela-verdade das proposies compostas, usando os valores 1 (para V) e 0 (para F). a) ~p (p ~q) b) p r ~q r
Valria Nagali da Silva Fogaa Pgina 35

3- Determinar quais das seguintes proposies so tautolgicas, contravlidas, ou contingentes: a) p (~ p q) b)p( q (q p)) 4. Dadas as proposies abaixo, verifique quais so tautologias, quais so contradies e quais so contingncias. a) (p q) ((p q) (q r)) b) ((p q) p) q c) (p q) (p ~q) d) p (p q) r e) ~(~p q) (p q) f) p (q (q p)) g) (p q) ~(p q) h) (q p) (p q) i) (p q) ((p r) (q r)) 5.Dadas as proposies abaixo, diga se ela uma Tautologia, Contradio ou Contingncia a.(p ^ ~p) ^ p b.(p ^ ~q) ^ p c.(p ^ ~p) q d.(q ^ ~p) ^ r e.p ^ (q r) (p q)

Valria Nagali da Silva Fogaa

Pgina 36

6-IMPLICAO E EQUIVALNCIA LGICAS

6.1 IMPLICAO
Dadas as proposies compostas P e Q, diz-se que ocorre uma implicao lgica (ou relao de implicao) entre P e Q quando a proposio condicional P Q uma tautologia. OU Uma frmula A consequncia lgica de uma frmula B, se e somente se para qualquer interpretao em que B verdadeira A tambm verdadeira. Assim B implica logicamente em A se B A uma tautologia, e B ^ ~A uma contradio. Notao: P Q (l-se: P implica Q). Os smbolos e tm significados diferentes: O smbolo realiza uma operao entre proposies, dando origem a uma nova proposio p q cuja tabela-verdade pode conter tanto V quanto F. O smbolo entre duas proposies dadas indica uma relao, isto , que a proposio condicional associada uma tautologia. Exemplo: Mostrar que (p q) p. p q (p q) p.

Como lgica.

(p q) p uma tautologia, ento (p q)

p, isto , ocorre a implicao

6.2 EQUIVALENCIA LOGICA Dadas as proposies compostas P e Q, diz-se que ocorre uma equivalncia lgica entre P e

Valria Nagali da Silva Fogaa

Pgina 37

Q quando suas tabelas-verdade forem idnticas.

OU

Uma frmula A equivalncia lgica de uma frmula B (A logicamente equivalente a B) se A implicao lgica de B e B implicao lgica de A. Assim A equivalncia lgica de B se A B uma tautologia. Notao: P Q ou P Q (l-se: P equivalente a Q) Intuitivamente, proposies logicamente equivalentes transmitem a mesma informao, a mesma idia, a partir das mesmas proposies componentes. Exemplo: Mostrar que (p q) (q p) e p q so equivalentes.
p q pq qp (p q) (q p) pq

Logo, (p q) (q p) p q.

O bicondicional no uma operao lgica bsica, mas a conjuno de proposies condicionais. Mostrar que (p q) ~ ( ~ p ~q). Analisemos a tabela-verdade envolvendo as seguintes proposies:
p q

(p q)

( ~ p ~q)

~ ( ~ p ~q)

Valria Nagali da Silva Fogaa

Pgina 38

Como (p q) ~ ( ~ p ~ q) uma tautologia, ento (p q) ~ (~ p ~ q), isto , ocorre a equivalncia lgica.

Exerccios
Verifique se os pares de frmulas abaixo so equivalncias lgicas ou implicaes lgicas. a) (p ^ q) e q b) ~(p ^ q) e ( ~p v ~q)
c) (~p v q) e (p q)

6.2.1 PROPOSIES ASSOCIADAS A UMA CONDICIONAL A partir da condicional p q podemos obter as condicionais (1) q p, denominada proposio recproca de p q; (2) ~p ~q, denominada proposio contrria de p q; e (3) ~q ~p, denominada proposio contrapositiva de p q ou recproca da proposio ~p ~q. Em geral, na proposio p q, p chamada de hiptese e q de tese. Por exemplo: se A e B so ngulos opostos pelo vrtice ento eles so iguais. Nesta proposio A e B so ngulos opostos pelo vrtice a hiptese e eles so iguais a tese. A hiptese uma proposio que se supe verdadeira enquanto que a tese uma proposio que se quer provar. Vejamos a equivalncia entre as proposies: p q, q p, ~p ~q e ~q ~p. As tabelas-verdade destas quatro proposies so: p q pq qp ~p~q condicional recproca contrria
V V F F V F V F V F V V V V F V V V F V

~q~p contrapositiva
V F V V

pq ~q~p qp ~p~q Condicional Contrapositiva

Valria Nagali da Silva Fogaa

Pgina 39

Recproca Contrria 6.2.2 CONECTIVOS DE SHEFFER () #Negao conjunta de duas proposies. ~p ~q pq p q ~p ~q pq

# Negao disjunta de duas proposies. ~p ~q pq p q ~p ~q pq

EXERCCIOS 1-

RESPOSTAS: a)sim b)no c)sim d)sim e)no f) no g)no h) no i)sim e j) no

2- Demonstre as equivalncias e implicaes a) p q p q b) p q q p c) (p q) (p ~q) ~p d) (p q) r p (q r) e) (p r) (q r) (p q) r f) (p q) (p r) (p q) r 3-Sabendo que: p Falsa; q Verdadeira; determinar o valor lgico de: a) (p q )((p p) (q q) ))
Valria Nagali da Silva Fogaa Pgina 40

b)

( p q) ((pq) (pq) )

4-Escreva a proposio recproca, contrria e contrapositiva de cada uma das proposies seguintes: Se um nmero impar, ento o seu quadrado mpar. Se ele fosse rico, ele seria feliz. Se ela estuda, ento passar no concurso. 5- Escreva a proposio contrapositiva de cada uma das proposies: a) p q b) q p c) p ~ q d)~q p PESQUSAR SOBRE REGRAS DE INFERNCIA

Valria Nagali da Silva Fogaa

Pgina 41

7-LGEBRA DAS PROPOSIES

EQUIVALNCIAS TAUTOLGICAS : As frmulas e so tautolgicamente equivalentes e indicamos se e somente se a frmula uma tautologia PROPRIEDADES: CONJUNO E DISJUNO Sejam p, q e r proposies simples quaisquer e sejam t e c proposies tambm simples cujos valores lgicos respectivos so V(verdade) e F(falsidade). Idempotente ppp ppp Comutativa pq qp pq qp Associativa (p q) r p (q r) (p q) r p (q r) Identidade (elemento absorvente e elemento neutro) p t p, p c c p t t, p c p Negao ~(~p) p PROPORIEDADES DA CONJUNO E DA DISJUNO Sejam p, q e r proposies simples quaisquer. Distributiva p (q r ) (p q) (p r) conjuno distributiva em relao a disjuno p (q r ) (p q) (p r) disjuno distributiva em relao a conjuno Absoro p (p q) p p (p q ) p

Regras DE MORGAM ~(p q) ~p ~q ~(p q) ~p ~q Regras DE MORGAM: a negao transforma a conjuno em disjuno e a disjuno em conjuno. NEGAO DA CONDICIONAL ~(pq) p ~ q A condicional p q no goza das propriedades idempotente, comutativa e associativa. Contraposio (pq) ~q ~p NEGAO DA BICONDICIONAL ~ (pq) (p ~ q) (~p q) A bicondicional no goza da propriedade idempotente, mas goza da comutativa e associativa.

Valria Nagali da Silva Fogaa

Pgina 42

EXERCCIOS 1- Completar o quadro resumo identificando todas as propriedades da conjuno, disjuno , condicional e bicondicional. Propriedades Conjuno Disjuno Idempotente Comutativa Associativa Identidade Propriedades Distributiva Absoro Regras DE MORGAM Propriedades Negao Negao da condicional *Contraposio Negao da bicondicional Demonstre as propriedades comutativa e associativa da bicondicional. (tabela-verdade)
2-

Conjuno/disjuno

3- Demonstre por tabela verdade as equivalncias: (a)p q r (p q) (pr) (b) p q r (p q) (pr) A equivalncia (a) exprime que a condicional distributiva esquerda em relao a conjuno e a equivalncia (b) exprime que a condicional distributiva esquerda em relao a disjuno. OBS: A condicional no distributiva direita em relao a nenhuma dessas duas operaes

Valria Nagali da Silva Fogaa

Pgina 43

8-ARGUMENTOS
VALIDADE DE ARGUMENTO Um argumento constitudo de premissas e concluso. Ele valido se e somente se a conjuno das premissas implica logicamente a concluso.Quando o argumento no valido recebe o nome sofisma. DEFINIO: Chamamos ARGUMENTO uma seqncia A1 , A2 ,A3 ,... , An , B (n 0) de frmulas onde os Ai (0< i < n) chamam-se premissas e a ltima frmula B, concluso. DEFINIO: Um ARGUMENTO A1 , A2 ,A3 ,... , An , B VLIDO se e somente se, sendo as premissas verdadeiras a concluso B tambm verdadeira, ou ainda, se e somente se, a frmula A1 A2A3 ... An B uma tautologia que ser indicado como segue A1 , A2 , A3 ,... , An | B que se l : "A1 , A2 , A3 ,... , An acarretam B" ou, "B decorre de A1 , A2 , A3 ,... , An " ou, "B se deduz de A1 , A2 , A3 ,... , An" ou ainda, "B se infere de A1 , A2 , A3 ,... , An ." VALIDADE DE UM ARGUMENTO: VERIFICAO POR TABELA VERDADE. Com o uso das tabelas verdade suficiente verificar se a frmula A1 A2A3 ... An B tautologia. Exemplo: O argumento p, q r, r, q vlido pois a frmula (p (q r) r ) q uma tautologia. O que verificamos nas linhas onde as premissas so verdadeiras que a concluso tambm verdadeira (tabela verdade abaixo, linha 4). pq r p q r r q

p q r (p (q r) r )

Valria Nagali da Silva Fogaa

Pgina 44

Exemplo: Estamos no ms de agosto ou no ms de setembro. (p v q) No estamos no ms de setembro ~q Logo, estamos no ms de agosto. p (p v q) ~q p

Pode ser escrito horizontalmente com as premissas separadas por virgula. p v q, ~q p

O smbolo chamado de trao de assero. Um argumento vlido se e somente se todas as suas instancias so vlidas. Uma instancia vlida se no houver situao onde a concluso falsa e todas as premissas so verdadeiras. Exemplos: Argumento vlido e correto P Q PvQ ~Q V V V F V F V V F V V F F F f V P V V F F

Estamos no ms de maro ou abril. No estamos no ms de abril. Estamos no ms de maro.

Argumento invlido PQ PQ VV V VF F F V V F F V

Q V F V F

P V V F F

Se chove ento a rua fica molhada. A rua ficou molhada. Choveu.

Se as baleias so peixes ento elas vivem no mar. Elas vivem no mar As baleias so peixes. (falsa concluso)

Os exemplos mostram-nos que h argumentos vlidos com concluses falsas, assim como argumentos no-vlidos com concluses verdadeiras. Por conseguinte, a verdade ou falsidade de sua concluso no determinam a validade ou no validade de um argumento. Tampouco a validade de um argumento garante a verdade de sua concluso. H raciocnios
Valria Nagali da Silva Fogaa Pgina 45

perfeitamente vlidos que tem concluses falsas, mas devem ter, pelo menos uma premissa falsa. Alis, a lgica s se preocupa com validade dos argumentos e no com a verdade ou falsidade das premissas e das concluses. A validade de um argumento depende to somente da relao existente entre as premissas e a concluso. Logo, afirmar que um dado argumento e vlido significa afirmar que as premissas esto de tal modo relacionadas com a concluso que no possvel ter a concluso falsa se as premissas forem verdadeiras.

Exerccios: 1. Identifique no exerccio abaixo o que so premissas e concluso. Se Amaro estuda ento no trabalha. Amaro estuda e trabalha. Amaro estuda, se e somente se, vai ao cinema. Amaro inteligente. Logo Amaro estuda ou vai ao cinema p: Amaro estuda inteligente 2. Identifique no exerccio abaixo o que so premissas e concluso e verifique a validade do argumento atravs da tabela verdade. Se as uvas esto maduras ento a raposa as come. As uvas esto verdes ou maduras. As uvas esto maduras. Logo a raposa come as uvas, se e somente se, elas esto maduras. p: As uvas esto maduras a) Verificar se vlido o argumento: p q, q p. p q pq b)Verificar se vlido o argumento: pq ~ p ~ q. p q p q ~p ~q q: A raposa come as uvas 3. Determine atravs de tabela-verdade a validade ou no dos argumentos: q: Amaro trabalha r: Amaro vai ao cinema s: Amaro

Valria Nagali da Silva Fogaa

Pgina 46

c)

Verificar a validade do argumento: p q, q p. p q pq

d) Testar a validade do argumento: p q, ~ q, p r r p q r pq ~q p r

e) Testar a validade do argumento; p q r,

p q r pq pqr

~ r ~ q
~r ~q

f) Verificar se vlido o argumento: ~p q, p ~ q p q ~p ~pq p ~q

g) Verificar se vlido o argumento: p q p q r p q r pq (p q r)

a) No

b) No

c) Vlido d) Vlido e) No

f)No g) Vlido
Pgina 47

Valria Nagali da Silva Fogaa

4- Testar a validade dos seguintes argumentos: a) Se 2 no primo, ento, 3 no par. Mas 2 primo Logo, 3 impar. p= 2 primo, q= 3 mpar

b)Se 13 primo, ento, 13 no divide 91. 13 divide 91 Logo 13 no primo. p=13 primo, q= 13 divide 91

c)Se domingo, Mirian vai a missa Mirian no foi a missa Logo, no domingo. P= domingo e q= Mirian vai a missa.

a) No

b) Vlido c) Vlido (e) p ~ q, p, ~ q r r (f) p ~ q, ~ r q p r (g) p (q r), ~ p, ~ r q (h) p ~ q, ~ p, ~ (p r) q r

5- Usar tabelas-verdade para verificar que so vlidos os seguintes argumentos: (a) p q, r ~ q r ~ p (b) p ~ q, r p, q ~ r (c) p q, r ~ q, ~ r ~ p (d) p q r, ~ q p r

Valria Nagali da Silva Fogaa

Pgina 48

6-

7- Verificar mediante tabelas-verdade que so vlidos os seguintes argumentos: (a) p ~ q, q, ~ p r s r s (b) p q r, ~ (q r), ~ p s ~ p s (c) p q. q r . ~ r s s (d) p q r, s p q . s q r (e) p q, q r, p s. ~ s r ( p q)

8.1 DEMONSTRAES USANDO AS REGRAS DE INFERNCIAS Regras de inferncias Todo o argumento que consiste em duas premissas e uma concluso denomina-se SILOGISMO. Tendo uma premissa com duas proposies ligadas pela disjuno ou (v) o argumento um silogismo disjuntivo. p v q, ~p q

Silogismo hipottico, premissas p,q e r.

ARGUMENTOS BSICOS VLIDOS

Apresentamos abaixo uma relao dos principais argumentos vlidos usados tambm
Valria Nagali da Silva Fogaa Pgina 49

chamadas regras de inferncias. Tais argumentos j forma demonstrados atravs de verdade ou por deduo. Regras de inferncia usadas para demonstrar a validade dos argumentos
Regra de Regra de simplificao Regra da conjuno adio (AD): (SIMP): (CONJ): Regra da absoro(ABS): Regra modus ponens(MP):

i)

ii)

i)

ii) i) ii)

Regra modus Regra do silogismo tollens(MT): disjuntivo(SD):

Regra do silogismo hipottico(SH):

Regra do dilema construtivo(DC):

Regra do dilema destrutivo(DD):

i)

ii)

Valria Nagali da Silva Fogaa

Pgina 50

Valria Nagali da Silva Fogaa

Pgina 51

Valria Nagali da Silva Fogaa

Pgina 52

EXERCCIOS 1-

2-

3e4

Valria Nagali da Silva Fogaa

Pgina 53

5-

6e7

RESPOSTAS 1-

2 ao 7

Valria Nagali da Silva Fogaa

Pgina 54

Bibliografia Gersting, Judith L. Fundamentos Matemticos para a Cincia da Computao. Rio de Janeiro: LTC, 1995. Nolt, J.; Rohatyn, D. Lgica. So Paulo: Makron Books, 1991. Filho, Edgard de Alencar , Iniciao Lgica Matemtica: So Paulo: Nobel , 2002

Valria Nagali da Silva Fogaa

Pgina 55