Sie sind auf Seite 1von 30

INTRODUO LGICA

NDICE

UNIDADE I - TEORIA ELEMENTAR DOS CONJUNTOS CAPTULO 1 - CONJUNTOS DEFINIES E OPERAES 1.1 INTRODUO 1.2 - RELAES DE PERTINNCIA E INCLUSO 1.3 - OUTRAS FORMAS DE NOTAO DE CONJUNTOS EXERCCIOS 01. 1.4 - OPERAES COM CONJUNTOS. 1.5 - PROPRIEDADES DAS OPERAES 1.6 - OUTRAS PROPRIEDADES EXERCCIOS 02 1.7 - PRODUTO CARTESIANO 1.8 RELAO 1.9 - NUMERAL DE UM CONJUNTO EXERCCIOS 3. UNIDADE II - A LGICA DAS PROPOSIES CAPTULO 2 - PROPOSIES E CONECTIVOS 2.1 - SENTENAS E EXPRESSES 2.2 - OS PRINCPIOS OU AXIOMAS DA LGICA MATEMTICA 2.3 - PROPOSIES SIMPLES E COMPOSTAS 2.4 - OS CONECTIVOS EXERCCIOS 04 CAPTULO 3 - LGEBRA DAS PROPOSIES 3.1 - TABELA VERDADE 3.2 - TABELAS INICIAIS EXERCCIOS 05 3.3 - OUTRAS TABELAS VERDADES 3.4 - PONTUAO DE PROPOSIES COMPOSTAS EXERCCIOS 06 CAPTULO 4 - TAUTOLOGIAS E CONTRADIES 4.1 DEFINIES EXERCCIOS 7 4.2 - IMPLICAO E EQUIVALNCIA LGICAS 4.3 - PROPOSIES ASSOCIADAS A UMA CONDICIONAL EXERCCIOS 08 4.4 EXPRESSANDO OS CONECTIVOS , E EM FUNO DE ~, E . 4.5 - USANDO SOFTWARES PARA CONSTRUO DE TABELAS VERDADE EXERCCIOS 09 UNIDADE 3 - LGEBRA DE BOOLE CAPTULO 5 - PORTAS LGICAS 5.1 - AS MQUINAS QUE CALCULAM 5.2 - A LGICA BINRIA OU LGEBRA BOOLEANA 5.3 - PRINCPIOS BSICOS DA LGEBRA BOOLEANA EXERCCIO 10 5.4 - TABELAS OPERACIONAIS EXERCCIOS 11 5.5 - SIMPLIFICAO DE EXPRESSES EXERCCIOS 12 5.6 - PORTAS LGICAS 5.7 - TABELAS DAS OPERAES LGICAS 5.8 - ALGUNS EXEMPLOS EXERCCIOS 13 2

5 5 5 6 6 7 7 7 8 8 8 9

10 10 11 11 12

13 13 13 14 16 17

19 19 20 20 21 21 21 21

22 22 23 23 23 24 24 24 24 25 25 25

UNIDADE 4 - MTODOS DE RACIOCNIO CAPTULO 6 - DEDUO E INFERNCIA LGICA 6.1 INTRODUO 6.2 - MTODO DEDUTIVO EXERCCIOS 14 6.3 - REGRAS DE INFERNCIA 6.4 - ARGUMENTOS BSICOS VLIDOS 6.5 - DEMONSTRAES USANDO AS REGRAS DE INFERNCIAS EXERCCIOS 15

27 27 28 28 29 29 29

INTRODUO LGEBRA PREMBULO

PREMBULO A Lgica uma cincia com caractersticas matemticas mas, fortemente ligada Filosofia. Ela cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar. Aristteles, filsofo grego (384?-322a.C) em sua obra rganon, distribuida em 8 volumes, foi o seu principal organizador. Atravs da Lgica pode-se avaliar a validade ou no de raciocnios que tm por base premissas iniciais. Vejamos um exemplo: Raciocnio I - (1 premissa) Todo homem mortal - (2 premissa) Scrates mortal. Concluso: Scrates mortal. Raciocnio II- (1 premissa) Todo homem mortal - (2 premissa) Scrates homem. Concluso: Scrates mortal. primeira vista, todos os dois raciocnios parecem verdadeiros. Entretanto, o primeiro falso, pois: Scrates pode perfeitamente ser o gatinho da minha vizinha. J, o segundo raciocnio universamente verdadeiro. No decorrer deste curso veremos como, a partir de uma lgica formal, podemos analisar a veracidade ou no de um conjunto de premissas e a correspondente concluso. George Boole (1815-1864), em seu livro A Anlise Matemtica da Lgica estruturou os princpios matemticos da lgica formal, que, em sua homenagem foi denominada lgebra Booleana. No sculo XX, Claude Shannon aplicou pela primeira vez a lgebra booleana em interruptores de onde se originaram os atuais computadores.

UNIDADE I TEORIA ELEMENTAR DOS CONJUNTOS CAPTULO 1 CONJUNTOS DEFINIES E OPERAES 1.1 INTRODUO A noo de conjunto intuitiva. Esta noo est associada a uma coleo de elementos, que, em geral, apresentam uma propriedade comum. Exemplos: conjuntos das vogais, conjunto dos nmeros reais, conjunto dos nmeros inteiros maiores que 5 e menores que 9. Um conjunto indicado, em geral, por uma letra maiscula e seus elementos relacionados entre duas chaves. Assim, se A o conjunto das vogais indica-se: A = {a, e, i, o, u}. A idia de conjunto pode ser estendida para (i) Conjunto unitrio: Conjunto das consoantes contidas na palavra areia: {r}. (ii) Conjunto vazio: Conjunto dos nmeros inteiros compreendidos entre 7 e 8. Como no existe nenhum inteiro compreendido entre 7 e 8, indicamos { } ou . Obs. {} um conjunto unitrio cujo elemento . (iii) Conjunto infinito: O conjunto infinito tem, como o prprio nmero indica, infinitos elementos. Um exemplo bem simples de conjunto infinito o conjunto dos nmeros naturais N = {0, 1, 2, 3, ...}. (iv) Conjuntos discretos e densos: Usados principalmente para conjuntos numricos. Um conjunto dito discreto quando, estabelecida a ordem de seus elementos, entre dois elementos sucessivos no existe outro elemento. O conjunto dos nmeros naturais um conjunto discreto, pois, por exemplo, entre o 4 e o 5 no existe nenhum outro nmero natural. Os conjuntos dos nmeros racionais e dos nmeros reais so densos. Pois, quaisquer que sejam dois elementos escolhidos sempre existem infinitos nmeros entre eles. Veja, por exemplo: escolhidos os racionais 1/3 e 1/2 podemos escrev-los nas formas 10/30 e 15/30. Entre eles temos 11/30, 12/30, ..., 14/30. Se escolhido um denominador maior, maior quantidade de racionais teremos entre 1/3 e 1/2. 1.2 RELAES DE PERTINNCIA E INCLUSO Seja A um conjunto. Se x um elemento do conjunto A, indicamos x A, que se l: o elemento x pertence ao conjunto A. Caso contrrio, se y no elemento do conjunto A, indica-se y A. importante notar que os smbolos e somente podem ser usados quando se relacionam elemento e conjunto. Consideremos ento os conjuntos A = {a, b, c, d, e}, B = {b, c, d} e C = {c, e, f}. Como pode ser notado todo elemento de B pertence ao conjunto A. O mesmo no acontece com os conjuntos C e A. No caso dos conjuntos A e B, indica-se A B ou B A, que se l, respectivamente A contm B e B est contido em A. Nestas condies, o conjunto B um subconjunto de A. Para os conjuntos A e C, escreve C A que se l, C no est contido em A. Quando se relaciona um conjunto com ele mesmo usa A A ou A A. A um subconjunto prprio de A. Convm notar que o conjunto vazio est contido em todo conjunto. Isto A. O conjunto vazio subconjunto de qualquer conjunto. 1.3 OUTRAS FORMAS DE NOTAO DE CONJUNTOS J foi visto anteriormente que um conjunto pode ser indicado escrevendo seus elementos entre duas chaves. Esta forma de notao denominada LISTAGEM. Pode-se tambm representar um conjunto indicando a propriedade comum a seus elementos. Nesta forma de notao indicamos A = {x | P(x)}, que se l A conjunto dos elementos x tais que P a propriedade comum. Temos, por exemplo: A = {x | x vogal}, que se l A o conjunto dos elementos x tais que x vogal. x uma varivel que pode assumir diversos valores. Assim, se x = a, e, i, o, u, x A e se x = b, x A. 5

Uma terceira forma, chamada 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.

EXERCCIOS 01. 1 Use o smbolo adequado a cada uma das seguintes sentenas abaixo, sendo definidos os conjuntos: A = {a, e, i, o , u}, B = {2, 3, 4, 5}, C = {e, u}, D = {x | 1 < x < 7} e D = {b, c} (a) B______D (b) D_____A (c) ______ C (d) e ____ C (e) x ____ A. 2 Represente o conjunto B usando a propriedade comum a seus elementos. 3 Escreva, sob forma de listagem, o conjunto D. 4 falso ou verdadeiro que (a) { , p, q}? (b) {3} {1, 2, 3, {3}}? Justifique suas respostas. Para o item (b) o sinal pode ser ou no substitudo por ? Justifique sua resposta. 1.4 OPERAES COM CONJUNTOS. Uma operao um processo escolhido a partir do qual, dados dois elementos quaisquer se pode obter um terceiro elemento de mesma natureza. J do domnio pblico operaes como adio e multiplicao de nmeros inteiros, que so representadas pelos sinais + e X (ou .) respectivamente. Assim, ao indicarmos 3 + 4, significa que escolhemos um processo que ir resultar no inteiro 7 e se indicarmos 3 . 4, o processo escolhido permite obter o resultado 12. Generalizando indicamos (a b) c, para representar uma operao que, tomados os elementos a e b, teremos como resultado o elemento (de mesma natureza) c. Para conjuntos so definidas as operaes: (i) UNIO Indicada pelo smbolo , e definida por A B = {x | x A ou x B}. Como ser visto no estudo das sentenas, o conectivo ou, simbolizado por , usado para indicar que um elemento pertence a A B quando pertencer somente ao conjunto A, somente ao conjunto B ou a ambos os conjuntos. Temos por exemplo: A = {1, 2, 3, 4} e B = {3, 4, 5, 6} A B = {1, 2, 3, 4, 5, 6}. (ii) INTERSEO Indicada por , esta operao definida por A B = {x | x A e x B}. O conectivo e, indicado por , usado para indicar que x (A B) se, e somente se, x pertencer aos dois conjuntos ao mesmo tempo. Exemplos: (1) A = {1, 2, 3, 4}, B = {3, 4, 5, 6} A B = {3, 4} (2) A = {1, 2, 3, 4}, B = {5, 6, 7, 8} AB=

(iii) DIFERENA Indicada pelo sinal -, denota-se a diferena entre o conjunto A e o conjunto B por A B. Esta operao definida por A B = {x | x A e x B}. Se B um subconjunto de A, pode-se escrever A B = CB,A que se l complementar de B em relao a A. Exemplo: A = {1, 2, 3, 4}, B = {3, 4, 5, 6} A - B = {1, 2} e B A = {5, 6}. 6

Usando diagramas podemos indicar A B AB AB

A-B

B-A

1.5 PROPRIEDADES DAS OPERAES Sejam e duas operaes definidas em um conjunto A e x, y e z elementos desse conjunto. (i) Se, para todo x e y de A, x y = y x, a operao dita comutativa. (ii) Se, para todos x, y, z de A, x (y z) = (x y) z, a operao dita associativa. (iii) Se em A existe um elemento n, tal que, x A, se tem x n = n x = x, n o elemento neutro para a operao . (iv) Se em A, para cada elemento x de A, existir um elemento y, tal que x y = y x = n, ento a operao admite inverso ou simtrico. x o inverso de y e y o inverso de x para a operao . (v) Se para todos x, y, z de A, x (y z) = (x y) (x z) ento a operao distributiva em relao a . Com relao s operaes com conjuntos temos: (i) x (A B) (x ou x B) (x B ou x A) x (B A) A B = B A. x (A B) (x e x B) (x B e x A) x (B A) A B = B A. Portanto, as operaes unio e interseo so comutativas. Deixamos como exerccio a demonstrao dos itens a seguir. (ii) A (B C) = (A B) C e A (B C) = (A B) C. Associatividade. (iii) A (B C) = (A B) (A C) e A (B C) = (A B) (A C). Distributividade. (iv) O conjunto vazio o elemento neutro da operao unio. Se A, B, C so subconjuntos de um conjunto U, ento U o elemento neutro da operao interseo. O conjunto U chamado conjunto universo. (v) As operaes unio e interseo no admitem inverso ou simtrico. 1.6 OUTRAS PROPRIEDADES Sejam U = conjunto universo, = conjunto vazio, A = complementar de A em relao a U. Alm das propriedades acima, tem-se: (vi) A A = A e A A = A. Idempotente. (vii) A (A B) = A e A (A B) = A. Absoro. (viii) (A B) = A B e (A B) = A B. Regras de De Morgan. (ix) A = A. (x) A A = U e A A = (xi) A U = U e A =

EXERCCIOS 02 1. Demonstre as propriedades ii, iii, vi, vii, viii, ix, x e xi relativas s operaes com conjuntos. 2. Sejam A = {x|x N e 3 < x < 10}, B = {y|y N e 4 < y < 12} e C = {z|z N e 10 < z < 15} trs conjuntos. Considere ainda os conjuntos: vazio e universo U = {w | w N e 0 < w < 20} Determine: 7

(a) A

(b) (A B) C

(c) (A B) C (h) (B C) A

(d) A B

(e) (A B) C

(f) (A B) C

(g) (B C) A

(i) (A B) C

(i) (A B) C

3. Represente os conjunto A, B , C, U em diagramas. Mostre neste diagrama os resultados obtidos no exerccio 2. 1.7 PRODUTO CARTESIANO Sejam A e B dois conjuntos. Define-se o produto A X B como sendo o conjunto dos pares da forma (x, y) tais que x A e y B. Isto A X B = {(x, y) | x e y B}. Se A = B, ento A X B = B X A. O mesmo no acontece quando A for diferente de B. Isto , o produto cartesiano no comutativo. Exemplo: Sejam A = {1, 2, 3} e B = {3, 4} dois conjuntos. Pela definio temos: A X B = {(1, 3), (1, 4), (2, 3), (2, 4), (3, 3), (3, 4)} e B X A = {(3, 1), (3, 2), (3,3), (4, 1), (4, 2), (4, 3)}. Como pode ser observado pelo exemplo acima A X B B X A. 1.8 RELAO Chama-se relao ao processo de escolha de pares de um produto cartesiano. Indica-se, uma relao entre os elementos a e b do par (a, b) por a b. Seja por exemplo a b a + b = 5, onde (a, b) so os pares do produto A X B obtido no exemplo do item anterior. Esta relao define o conjunto = {(1, 4), (2, 3)}. Uma relao pode ser: (i) Simtrica, se a b b a. (ii) Reflexiva, se a a. (iii) Transitiva se a b e b c a c. Uma relao simtrica, reflexiva e transitiva denominada relao de equivalncia, enquanto que uma relao no simtrica, no reflexiva e transitiva denominada relao de ordem. Tomando, por exemplo, o conjunto de alunos de uma classe e a relao mesma altura que, podemos concluir facilmente que, se A, B, C so alunos desta classe: (1) A B B A, pois se A tem a mesma altura que B, B ter a mesma altura que A. (2) A A, pois A tem a mesma altura que ele mesmo. (3) A B e B C A C. As alturas dos trs so iguais. Assim, a relao mesma altura que permite ordenar os alunos por altura. Esta ento uma relao de ordem. Seja agora a relao = irmo de. Esta relao simtrica, no reflexiva e transitiva. Se considerarmos a relao = primo de ela ser simtrica, no reflexiva e no transitiva. Com relao transitividade, A e C podem ser irmos. 1.9 NUMERAL DE UM CONJUNTO Simbolizado por n(A) o numeral do conjunto A igual ao nmero de elementos desse conjunto A. Exemplo: se A = {a, b, c, d, e} ento n(A) = 5 pois A o conjunto A tem cinco elementos. Para a unio de conjuntos temos: (1) n(A B) = n(A) + n(B) n(A B), pois em n(A) e n(B) os elementos comuns (pertencentes interseo) esto computados duas vezes; e (2) n(A B C) = n(A) + n(B) + n(C) n(A B) n(A C) n(B C) + n(A B C). 8

EXERCCIO RESOLVIDO: Em um concurso onde foram aplicadas apenas provas de Portugus e Matemtica e, para que o candidato seja classificado ele deve ser aprovado nas duas disciplinas. Aps a correo das provas verificou-se que 100 candidatos foram aprovados em Matemtica e 130 foram aprovados em Portugus, mas apenas 80 foram classificados. Quantos candidatos participaram do concurso? Soluo: n(M) = 100 (aprovados em Matemtica); n(P) = 130 (aprovados em Portugus) e n(M P) = 80. Assim, n(M P) = 100 + 130 80 = 150 candidatos. EXERCCIOS 3. 1. Dez pessoas se reuniram para, ao final de um ano, registrarem uma firma. Ficou combinado que cada um deveria aplicar uma certa importncia em caderneta de poupana em compra de aes, podendo se assim o desejasse aplicar uma parte em poupana e outra em aes. O responsvel pelo controle ao selecionar os recibos das aplicaes verificou-se que haviam 8 aplicaes em poupana e 6 aplicaes em aes. Quantas, da dez pessoas, dividiram suas aplicaes? 2. 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? 3. 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 e 1230 lem os dois jornais, quantos habitantes da cidade no lem nenhum dos dois jornais? 4. Certa regio, com 15000 lavradores, (a) 7000 plantam tomate; (b) 4800 plantam alface; (c) 5600 plantam batata. (d) 2100 plantam tomate e alface; (e) 1500 plantam tomate e batata; (f) 1400 plantam alface e batata; (g) 800 plantam tomate, alface e batata. Responda: (1) quantos plantam pelo menos uma das trs espcies? (2) quantos no plantam nenhuma das trs espcies? (3) quantos plantam tomate e alface mas no plantam batatas? (4) quantos plantam apenas batata? 5. 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?

UNIDADE II A LGICA DAS PROPOSIES CAPTULO 2 PROPOSIES E CONECTIVOS 2.1 SENTENAS E EXPRESSES Consideremos as indicaes abaixo: (1) O Brasil pentacampeo; (2) Chove; (3) 3 + 7 = 12 (4) x2 + 5 = 9 (5) Fulano aluno da UNIPAC. (6) x + 2 (7) Vermelho. Observando as cinco primeiras notamos que estas tm um sentido completo (existe um verbo) enquanto que as duas ltimas no exprimem nenhum pensamento com sentido completo. s cinco primeiras chamamos de sentenas e as duas ltimas chamamos de expresses. Assim, definimos: Definio 1 Sentena um conjunto de palavras ou smbolos que exprimem um pensamento com sentido completo. Uma sentena dita fechada quando admite um nico julgamento FALSO (F) como em (3) ou VERDADEIRO (v) como em (1). As sentenas fechadas so chamadas de proposies. Na indicao (4), x uma varivel que pode assumir diversos valores. Existem valores que tornam a sentena verdadeira e existem valores que tornam a sentena falsa. Para x = 2 e x = - 2 a sentena verdadeira e para quaisquer outros valores, a sentena falsa. O mesmo ocorre com a indicao (5). A sentena ser verdadeira dependendo do valor atribudo varivel fulano. Sentenas como estas, que admitem um julgamento falso ou verdadeiro dependente do valor atribudo varivel, so chamadas de sentenas abertas. Definio 2 Expresses so frases que no apresentam um sentido completo. Isto , no permitem julgamentos. So exemplos de expresses as indicadas nos itens 6 e 7. 2.2 OS PRINCPIOS OU AXIOMAS DA LGICA MATEMTICA Para o estudo das proposies, a Lgica Matemtica, toma como princpios: AXIOMA N 1 PRINCPIO DA NO CONTRADIO Uma proposio no pode ser, ao mesmo tempo, falsa e verdadeira. AXIOMA N 2 PRINCPIO DO TERCEIRO EXCLUDO Toda proposio ou verdadeira ou falsa. No verificando nunca uma terceira opo. Vejamos alguns exemplos: As proposies: (1) p: o nmero 21 mpar; (2) q: o inteiro 3 menor que o inteiro 5, so verdadeiras. As proposies: (3) r: 5 est compreendido entre 9 e 15; (4) s: A Terra ilumina o Sol, so falsas. De acordo com os princpios acima, uma proposio, admite um e apenas um dos valores VERDADEIRO (V) ou FALSO (F). O julgamento F ou V da proposio denominado valor lgico da proposio. Se p uma proposio indicaremos V(p) o valor lgico da proposio p. Assim, V(p) = V se p for verdadeira ou V(p) = F se p for falsa. Considerando as proposies dos exemplos acima teremos: V(p) = V(q) = V e V(r) = V(s) = F.

10

2.3 PROPOSIES SIMPLES E COMPOSTAS Uma proposio pode ser simples (tambm denominada atmica) ou composta (tambm denominada molecular). As proposies simples apresentam apenas uma afirmao. Podemos consider-las como frases formadas por apenas uma orao. Representaremos as proposies simples por letras latinas minsculas. Como exemplo: (1) p: eu sou estudioso; (2) q: Maria bonita: (3) r: 3 + 4 > 12. As proposies compostas apresentam mais de uma proposio simples em sua formao. Podemos consider-las como um perodo composto de vrias oraes. Indicaremos as proposies compostas por letras latinas maisculas. Se P uma proposio composta das proposies simples p, q, r, ..., escrevemos P(p, q, r,...) Exemplos: (4) P: Paulo estudioso e Maria bonita. P a composta das proposies simples p: Paulo estudioso e q: Maria bonita. (5) Q: Maria bonita ou estudiosa. Q a composta das proposies simples p: Maria bonita e q: Maria estudiosa. (6) R: Se x = 2 ento x2 + 1 = 5. R a composta das proposies simples p: x = 2 e q: x2 + 1 = 5. (7) S: a > b se e somente se b < a. S a composta das proposies simples p: a > b e q: b < a. 2.4 OS CONECTIVOS Para se formar novas proposies a partir de proposies dadas so usadas palavras ou termos a quem chamamos de conectivos. Na Lgica Matemtica, os conectivos usados so: - Negao: indicado pelo smbolo ~. Assim, se p : A Lua um satlite da Terra, ento ~p significa A Lua no um satlite da Terra ou no verdade que a Lua um satlite da Terra. - Conjuno: e simbolizado por . Sejam as proposies simples p: Chove e q: faz frio. A proposio composta P(p,q) formada a partir do conectivo P: p q que significa chove e faz frio. - Disjuno: ou simbolizado por . Se p: 3 + 4 > 5 e q: 3 1 = 2, a composta P(p, q) formada ao usar o conectivo P: p q, que se l P: 3 + 4 > 5 ou 3 1 = 2. Na disjuno as duas proposies no so contraditrias. - Disjuno exclusiva: ou simbolizado por Na disjuno exclusiva, as duas proposies no podem ocorrer ao mesmo tempo. Tomando por exemplo, as proposies p: x par e q: x impar, x pode ser par ou mpar, mas p no pode ser par e mpar ao mesmo tempo. Escrevemos P(p, q) = p q. - Condicional: se...ento... simbolizado por . Temos por exemplo: p: A e B so dois ngulos opostos pelo vrtice e q: A e B so iguais. A composta usando a condicional P(p, q) = p q, que significa se A e B so dois ngulos opostos pelo vrtice ento A e B so iguais. - Bicondicional: ...se e somente se... simbolizado por . Sejam p: chove e q: faz frio. A composta usando a bicondicional P(q, q) = p q, significando: chove se e somente se faz frio.

11

EXERCCIOS 04 1. Determine o valor lgico de cada uma das seguintes proposies: a) Santiago a capital do Mxico. b) Braslia a capital do Brasil. c) Cristvo Colombo foi o descobridor do Brasil. d) (a + b)3 = a3 + b3. e) A soma dos ngulos internos de um tringulo 180. f) Os lados opostos de um paralelogramo so iguais. g) 3 + 4 < 9 h) 1/3 > 1/4. 2. Considere as proposies p: Todo homem mortal e q: Scrates mortal. Represente simbolicamente as proposies: a) Se todo homem mortal ento Scrates mortal. b) Todo homem mortal ou Scrates mortal. c) Scrates mortal se e somente se todo homem mortal. d) Todo homem mortal ou Scrates mortal. e) No verdade que Scrates mortal. f) No verdade que (Scrates mortal ou todos os homens so mortais). 3. Considere as proposies p: Pedro italiano e q: Pedro brasileiro. Represente simbolicamente as proposies: a) Pedro italiano ou Pedro brasileiro. (cuidado). b) Pedro italiano e Pedro brasileiro. c) Pedro italiano e Pedro no brasileiro. d) No verdade que (Pedro italiano e Pedro no brasileiro). 4. Sejam as proposies p: 19 um nmero primo e q: 12 um nmero par. Traduza em palavras as sentenas: e) p q a) p q b) p q c) p q d) p q f) ~( p q) g) ~p q h) ~(p q) i) ~~p j) ~(~p ~q). 5. 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 f) ~( p q) g) ~p q h) ~(p q) i) ~~p j) ~(~p ~q). k)~(p v q) (p ~q)

12

CAPTULO 3 LGEBRA DAS PROPOSIES 3.1 TABELA VERDADE 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: Para uma proposio P V F Para duas proposies P V V F F q V F V F Para trs proposies p V V V V F F F F q V V F F V V F F r V F V F V F V F

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. Para 4 proposies, a tabela verdade ter 24 = 16 linhas. 3.2 TABELAS INICIAIS Vejamos como so as tabelas das proposies: ~p, p q, p q, p q, p q. p V F ~p F V p V V F F q V F V F pq V V V F pq F V V F pq V F F F pq V F V V pq V F F V

Analisando as tabelas observa-se que: - 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). EXERCCIOS 05 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: 13

a. p q, se V(p) = F e V(q) = F. c. p q, se V(p) = F e V(q) = F. e. p q, se V(p) = V e V(q) = F. g. p q, se V(p) = V e V(q) = F. I. p q, se V(p) = F e V(q) = V. k. p q, se V(p) = F e V(q) = V. m. p q, se V(p) = V e V(q) = V. p. p q, se V(p) = V e V(q) = V. 3.3 OUTRAS TABELAS VERDADES

b. p q, se V(p) = F e V(q) = F. d. p q, se V(p) = F e V(q) = F. f. p q, se V(p) = V e V(q) = F. h. p q, se V(p) = V e V(q) = F j. p q, se V(p) = F e V(q) = V. l. p q, se V(p) = F e V(q) = V. n. p q, se V(p) = V e V(q) = V. q. ~p se V(p) = F.

No item anterior foram construdas as tabelas verdades de proposies compostas formadas por duas proposies simples ligadas pelos conectivos ou, e, se ento, se e somente se e a negao no. Estas proposies compostas podem ser combinadas para formao de proposies mais complexas, como por exemplo: ~(p q) (p ~q). Vejamos a tabela verdade para a proposio acima. Como foram usadas duas proposies simples p e q, devemos usar 22 = 4 linhas, que correspondem a todas as possibilidades de combinaes de V e F das duas proposies. 1 processo: Nas duas primeiras colunas indicam-se as combinaes dos valores lgicos de p e q. Na terceira coluna calculam-se os valores lgicos de (p q). Na quarta coluna calculam-se os valores lgicos de ~(p q). Como so necessrios os valores lgicos de ~q para obter p ~q, na quinta coluna calculam-se os valores lgicos de ~q. Na sexta coluna calculam-se os valores lgicos de p ~q, e finalmente, na stima coluna calculamse os valores de ~(p q) (p ~q). p V V F F 1 q V F V F 2 pq V V V F 3 ~(p q) F F F V 4 ~q F V F V 5 p ~q F V F F 6 ~(p q) (p ~q) V V V F 7

2 processo Este processo consiste em construir as duas primeiras colunas para os valores lgicos das proposies simples envolvidas e, direita, uma coluna para cada proposio e para cada conectivo que figura na proposio composta. Observando a ordem das operaes lgicas envolvidas calculam-se os valores lgicos relativos a cada coluna. aconselhvel deixar uma linha no final da tabela para numerar a seqncia dos clculos a serem feitos. Para o mesmo exemplo anterior, devemos criar 11 tabelas pois temos duas proposies simples e 8 proposies e conectivos figurando na proposio composta. p V V F F q V F V F ~ F F F V 4 (p V V F F 1 V V V F 3 q) V F V F 1 V V V F 6 (p V V F F 1 F V F F 5 ~ F V F V 2 q) V F V F 1

Na tabela acima foi observada a ordem: 1 obtido a partir dos valores lgicos de p e q. 2 negao de q. 3 clculo de p q 4 clculo de ~(p q) a partir de 3. 5 clculo de (p ~q) 6 clculo de ~(p q) (p ~q) a partir de 4 e 5. A coluna 6 mostra os valores lgicos de ~(p q) (p ~q). 14

Para simplificao pode-se eliminar as duas primeiras colunas pois os valores lgicos de p e q iro figurar nas demais colunas. Exerccios resolvidos 1. Construir a tabela verdade da proposio (p ~q) ((~p r) ~q) 1 processo. p V V V V F F F F 1 q V V F F V V F F 2 r V F V F V F V F 3 ~p F F F F V V V V 4 ~q F F V V F F V V 5 p ~q F F V V V V V V 6 ~p r V F V F V V V V 7 ((~p r) ~q) F F V F F F V V 8 (p ~q) ((~p r) ~q) V V V F F F V V 9

Ordem dos clculos: 1, 2, 3 valores lgicos de p, q e r. 4, 5 negaes de p e q 6 operao com as colunas 1 e 5 7 operao com as colunas 4 e 3 8 operao com as colunas 7 e 5 9 operao com as colunas 6 e 8. 2 processo: (p ~q) ((~p r) ~q) (p V V V V F F F F 1 F F V V V V V V 9 ~ F F V V F F V V 6 q) V V F F V V F F 2 V V V V F F F F 12 ((~ F F F F V V V V 8 p V V V V F F F F 3 V F V F V V V V 10 r) V F V F V F V F 5 F F V F F F V V 11 ~ F F V V F F V V 7 q) V V F F V V F F 4

Ordem dos clculos: 1, 2, 3, 4, 5 valores lgicos de p, q e r. 6, 7 e 8 negaes de 2, 4 e 3, respectivamente. 9 resultado de 1 com 6. 10 resultado de 8 com 5. 11 resultado de 10 com 7 12 resultado de 11 com 9. 2. Sejam p, q e r trs proposies tais que V(p)= F, V(q) = V e V(r) = F. Determine o valor lgico da sentena P(p, q, r) se P = (p ~q) ~(q (r ~p)). Soluo: neste caso pede-se apenas para determinar o valor lgico para V(p)= F, V(q) = V e V(r) = F. No h, assim, necessidade de se construir toda a tabela. Usaremos o segundo processo para resolver a questo. So necessrias 12 colunas pois temos 5 proposies, 3 negaes, 1 condicional, 1 bicondicional, 1 conjuno e uma disjuno. (p F 1 V 8 ~ F 6 q) V 3 F 12 ~ F 11 15 (q V 4 V 10 (r F 5 F 9 ~ V 7 p)) F 2

Ordem dos clculos: 1, 2, 3, 4, 5 valores lgicos de p, q e r. 6, 7 negaes de q e p. 8 resultado de 1 e 6. 9 resultado de 5 e 7. 10 resultado de 4 e 9. 11 negao de 10 12 resultado de 8 e 11. Assim, o valor lgico de P(p, q, r), para P(FVF), F como pode ser visto na coluna 12. 3. Sejam as proposies p: 3 + 1 = 4, q: 2 > 3, r: 1 0 e s: 23 = 8. Determine o valor lgico de (p ~q) ~(q (s ~r)). Soluo: neste exerccio, devemos inicialmente verificar o valor lgico das sentenas dadas. V(p) = V pois 3 + 1 = 4 verdadeiro. V(q) = F pois 2 > 3 no verdadeiro. V(r) = V pois 1 0 verdadeiro. V(s) = V pois 23 = 8 verdadeiro. Sero necessrias 12 colunas: p, q, q, r, s, trs negaes, uma condicional, uma bicondicional, uma conjuno e uma disjuno.

(p V 1

V 8

~ V 6

q) F 2

V 12

~ V 11

(q F 3

F 10

(s V 4

F 9

~ F 7

r) V 5

Ordem dos clculos: 1, 2, 3, 4, 5 proposies p, q, q, s, r. 6, 7 negaes de 2 e 5, respectivamente. 8 resultado de 1 e 6. 9 resultado de 4 e 7. 10 resultado de 3 e 9. 11 negao de 10. 12 resultado de 11 e 8. Portanto, V(VFVV) = V. 3.4 PONTUAO DE PROPOSIES COMPOSTAS Conforme ocorre em expresses algbrica, o uso de parnteses permite identificar a ordem dos clculos a serem feitos. Ao usar diversos pares de parnteses deve-se iniciar os clculos a partir do ltimo 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) e , (3) e (4) . Tomando por exemplo a proposio p q ~r p, a aplicao de parnteses leva a p ((q (~r)) p). 3.5 USANDO SOFTWARES PARA CONSTRUO DE TABELAS VERDADE Os dois principais programas que trabalham com planilhas de clculos so o Excel do pacote Office da Microsoft e o StarCalc do pacote do Star Office da Sun Micro Systems. A vantagem do segundo em relao ao primeiro est na gratuidade do programa (at verso 5.2) e no uso para clculo com matrizes. Iremos descrever aqui, como usar o StarCalc, porm os procedimentos so idnticos para os dois. (1) Para inicializar o StarCalc, use o caminho: boto INICIAR, Opo PROGRAMAS, Star Office v, Star Office v. (v a verso instalada). (2) Ao abrir a pgina inicial sero exibidos os cones dos programas constantes do Desktop (pgina inicial do Windows) e a seguir uma janela onde voc faz as opes sobre os programas para uso da Internet. Marque a opo sem modificaes e clique em OK.

16

Dependendo da configurao, na parte inferior da pgina, ser exibido um quadro onde so fornecidas dicas sobre o uso do programa. Clique no boto marcado com X para fechar este quadro e assim, ser possvel o trabalho em tela cheia. (3) A seguir, clique no menu Fichero (Arquivo), desloque o ponteiro do mouse at a opo Novo. A seguir, desloque o ponteiro do mouse at a opo Folha de Clculo e clique nessa opo. Ser ento aberta uma folha dividida em retngulo. Tal folha chamada de planilha e cada retngulo uma clula. A posio da clula identificada por uma letra (coluna) e um nmero (linha). Assim, a clula C5, o retngulo posicionado na coluna C e na linha 5. Para construir tabelas verdades devemos indicar nas clulas um dos julgamentos VERDADEIRO ou FALSO por extenso. Os comandos para os clculos so: = NO(p), = OU(p; q); = E(p; q) onde p e q so as clulas onde esto registrados os valores VERDADEIRO ou FALSO. Vejamos como criar uma tabela verdade no StarCalc (ou no Excel). Tomemos por exemplo, a tabela verdade de p ~q. Sero indicadas as clulas a serem usadas para facilitar as referncias. (4) Nas clulas B2, B3, B4, B5 digite os valores lgicos de p (VERDADEIRO, VERDADEIRO, FALSO, FALSO); (5) Nas clulas C2, C3, C4, C5 digite os valores lgicos de q (VERDADEIRO, FALSO, VERDADEIRO, FALSO); (6) Na clula D2 digite =NO( e a seguir clique na clula C2. Digite ) para fechar o parntese e completar =NO(C2). Assim, voc ter o valor lgico de ~q. Pressione ENTER. (7) Clique na clula D2 para seleciona-la. No canto inferior direito da clula ser exibido um pequeno quadrado em negrito. Posicione o ponteiro do mouse sobre o quadrado e, mantendo pressionado o boto esquerdo do mouse, arraste o ponteiro at a clula D5. Isto far copiar a frmula para as demais clulas. Nas clulas D2, D3, D4, D5 sero exibidos os valores lgicos de ~q (FALSO, VERDADEIRO, FALSO, VERDADEIRO). (8) Na clula E2 digite =OU( , clique na clula B2, digite (;) sem os parnteses, clique na clula D2, digite ) para fechar o parnteses. Pressione a tecla ENTER. Proceda como em (4) para obter os valores lgicos de p ~q. importante observar que os conectivos , e no so aplicveis no Excel e no StarCalc. Para construir tabelas com estes conectivos use as equivalncias, cujas justificativas sero vistas no captulo 4. (1) p q ~p q (2) p q (~p q) (~q p). (3) p q (p ~q) (q ~p).

EXERCCIOS 06 1. Construa as tabelas verdade a) ~p (q p) d) ~p (q p) f) p (~q p) h) (p q) (~q p) k) ~p (p (q ~p)) das seguintes proposies b) ~p (q p) d) ~p (q p) f) (p q) (~p q) i) ~(p q) ~(p q) l) p ~(p ~(q ~p)) c) ~p (q p) e) p (~q p) g) (p q) (~p q) j) ~(p q) ~(p q) m) ~(~p q).

2. Construa as tabelas verdade das seguintes proposies a) ~(p q) b) ~p ~q. Que concluso pode-se tirar a respeito das duas proposies. 3. Construa as tabelas verdade das seguintes proposies a) ~(p q) b) ~p ~q. Que concluso pode-se tirar a respeito das duas proposies. 17

4. A partir das concluses tiradas nos exerccios 2 e 3, negue as proposies: a) Maria bonita e Maria estudiosa. b) Maria bonita ou Maria estudiosa. c) Maria no bonita e Maria no estudiosa. d) Maria no bonita ou Maria no estudiosa. e) Maria no bonita ou Maria estudiosa. f) Maria bonita e Maria no estudiosa. g) Maria bonita ou Maria no estudiosa. 5. Construa as tabelas verdade das seguintes proposies. a) ~(~p q) (r s) b) ~(p q) ~(r q) c) ~(p q) ~((p ~r) (~q s)) d) ~(p q) ~((p ~r) (~q s)) 6. Considere as proposies p, q, r, s tais que V(p) = V(s) = F e V(q) = V(r) = V. Determine o valor lgico das seguintes proposies compostas: a) ~p (q p) b) ~(p q) ~(p ~r) c) ~(p q) ((p ~r) (~q s)). 7. Considere as proposies p: A lua tem luz prpria; q: A Unipac ministra curso superior; r: Pedro lvares Cabral descobriu o Brasil; s: Santos Dumont inventou a lmpada. Determine o valor lgico das proposies: a) (p q) (r s). b) (p q) (r s). c) ~(p q) ((p ~r) (~q s)). d) ~(p q) ~(p ~r) (~q s) e) ~(s q) ~(p ~r) 8. Escreva as proposies sob forma simblica, construa a tabela verdade e, a partir do resultado encontrado decida o que Antnio deve fazer. a) Antnio ir passear se e somente se Carlos for jogar futebol e Marina for assistir televiso. b) Marina ir assistir televiso se Luis ou Paula trouxer um filme romntico. c) Paulo ir trazer o filme, mas Carlos no vai jogar futebol.

18

CAPTULO 4 TAUTOLOGIAS E CONTRADIES 4.1 DEFINIES Vejamos as tabelas verdades das seguintes proposies P(p, q) = (p q) (q p) P(p, q) = ~(p q) (p q) P(p, q) = ~p (p ~q) P(p, q) = ~(p q) (p q). p V V F F p V V F F p V V F F p V V F F q V F V F q V F V F q V F V F q V F V F pq V F F F qp V F F F (p q) (q p) V V V V ~(p q) (p q) V V V V

(1) (2) (3) (4) (1)

(2)

pq V V V F ~p F F V V

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

pq V F F V

(3)

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

~p (p ~q) F F F F pq V F F V ~(p q) (p q) F F F F

(4)

p q V F F V

Nas duas primeiras tabelas, quaisquer que sejam os valores lgicos de p e q, V(P) = V e nas duas ltimas, quaisquer que sejam os valores lgicos de p e q, V(P) = F. As duas primeiras proposies so chamadas de TAUTOLOGIA e as duas ltimas de CONTRADIO. 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. EXERCCIOS 7 1. 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))

19

4.2 IMPLICAO E EQUIVALNCIA LGICAS Sejam P(p, q, r, ...) e Q(p, q, r...) duas proposies. Definio 1: Uma proposio P implica na proposio Q se e somente se a tabela verdade de P Q for uma tautologia. Para indicar que a proposio P implica na proposio Q usa-se P Q. A implicao lgica goza das seguintes propriedades: P1 Reflexiva. Isto P P. P2 Transitividade. Isto P Q e Q S ento P S. A transitividade pode ser estendida a qualquer srie de proposies: P R e R S e S ... X ento P X. Definio 2: Uma proposio P logicamente equivalente a outra proposio Q se e somente se a tabela verdade de P Q for uma tautologia. Para indicar que a proposio P equivalente proposio Q usa-se P Q. A equivalncia lgica goza das seguintes propriedades: P e Q so equivalentes se forem ambas tautologias ou ambas contradies. Reflexiva. Isto P P. Simtrica. Isto , se P Q ento Q P. Transitividade. Isto se P Q e Q R ento P R.

P1 P2 P3 P4

Provemos algumas equivalncias lgicas. Sejam p e q duas proposies, c uma contradio e t uma tautologia. (1) c p p (2) t p p (3) c p c (4) t p t
c F F 1 t V V 2 p V F 3 cp V F 4 tp V F 5 cp F F 6 tp V V 7 cpp V V 8 tp p V V 9 cpc V V 10 tpt V V 11

As colunas 8, 9, 10 e 11 mostram que t p p, c p c e t p t so tautologias. Portanto, as equivalncias (1), (2), (3) e (4) so verdadeiras. (5) p q p (6) p q q (7) p p q (8) q p q
p V V F F 1 q V F V F 2 pq V F F F 3 pq V V V F 4 pqp V V V V 5 pqq V V V V 6 ppq V V V V 7 qpq V V V V 8

As colunas 5, 6, 7 e 8 mostram que p q p, p q q, p p q e q p q so tautologias. Portanto as implicaes (5), (6), (7) e (8) so verdadeira. 4.3 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. 20

Vejamos a equivalncia entre as proposies: p q, q p, ~p ~q e ~q ~p.


p V V F F 1 q V F V F 2 ~p F F V V 3 ~q F V F V 4 pq V F V V 5 qp V V F V 6 ~p ~q V V F V 7 ~q ~p V F V V 8

Observando a tabela nota-se, pelas colunas 5 e 8 que (p q) (~q ~p). A equivalncia entre p q e ~q ~p estabelece um procedimento para demonstrar teoremas condicionais como, se a + b = c ento a = c b , onde a + b = c a hiptese e a = c b a tese. Para provar a propriedade podemos usar a contrapositiva ou a negao da tese. Se a negao da tese levar a concluir a negao da hiptese ento a propriedade estar demonstrada. Negando a tese, a c b. Somando b a ambos os membros, a desigualdade permanece. Assim, a + b c b + b a + b c. O que contraria a hiptese. Portanto a propriedade verdadeira. EXERCCIOS 08 1. Mostre que: a) p q p q e) (p q) (q p) b) p q q p f) ~(p ~q) ~p q. c) p q p d) p q q

2. Dadas as proposies p: 5 > 3 e q: 2 + 2 5. (a) Escreva a recproca, a contrria e a contrapositiva da proposio p q, sob forma simblica (b) Escreva, por extenso, a proposio p q, sua recproca, sua contrria e sua contrapositiva. 4.4 EXPRESSANDO OS CONECTIVOS , E EM FUNO DE ~, E . Na lgebra das proposies se P(p, q, r, ...) Q(p, q, r...), pode-se substituir P(p, q, r, ...) por Q(p, q, r...). Em alguns programas, como Excel e Starcalc podem-se construir tabelas verdade, entretanto, nem todos os conectivos podero ser usados. Assim, importante saber substituir conectivos por outros. Vejamos as possveis substituies: (1) p q pode ser substitudo por ~p q pois ~p q p q. (2) p q pode ser substitudo por (~p q) (~q p). (3) p q que equivale a ~(p q) pode ser substituda por (p ~q) (q ~p). A comprovao destas correspondncias pode ser feita atravs das tabelas verdades. (1)
p V V F F p V V F F p V V F F q V F V F q V F V F ~p F F V V q V F V F ~p F F V V ~q F V F V ~q F V F V ~pq F F V F ~p F F V V ~p q V F V V p~q F V F F ~p q V F V V ~q p V V F V pq V F V V (~p q) (~q p) V F F V pq F V V F pq V F F V

(2)

(3)

(~pq) ( p~q) F V V F

Observando as duas ltimas colunas das tabelas verifica-se a igualdade dos valores lgicos das duas proposies. EXERCCIOS 09 1. Construa as tabelas das proposies ~p, p q, p q, p q, p q, p q. 2. Construa as tabelas das proposies dadas nos exerccios n 2 pgina 12, n 1 pgina 13, ns 6 e 7 pgina 18. 21

UNIDADE 3 LGEBRA DE BOOLE CAPTULO 5 PORTAS LGICAS 5.1 AS MQUINAS QUE CALCULAM A histria do computador pode ser dividida em trs fases bsicas: 1 fase o baco data do ano 500 a.C. usado para registro e contagem de valores, bem como realizao de operaes simples como adio e subtrao. Consistia essencialmente de vrias fileiras com seis peas. Em cada uma dessas fileiras, uma das peas apresentava-se separada das demais. O processo usado na contagem ou nas operaes tinha por base o complemento dos dgitos 1, 2, 3, 4, e 5 em relao a 10. Por exemplo para registrar o nmero 8, movia-se a pea separada para indicar 5 e separavam-se 3 das outras cinco peas agrupadas. 2 fase contador mecnico de rodas e engrenagens dentadas segundo consta, data de 1642, inventada pelo francs Blaise Pascal, matemtico e filsofo. Cada roda continha dez dentes. Ao completar uma volta, um dos dentes, mais longo que os demais fazia girar um dente da roda seguinte. Este processo ainda usado nos marcadores de quilometragem dos automveis. 3 fase dispositivos eletromecnico no final do sculo XIX foi inventado o motor eltrico e com ele foi possvel fazer funcionar os sistemas mecnicos por meio de motores. 4 fase dispositivos eletrnicos com a inveno da vlvula em 1906, as mquinas de calcular puderam se tornar mais leves pois utilizavam apenas sinais eltricos para o seu funcionamento, associando o 0 no passagem de uma corrente e o 1 passagem da corrente. Assim, passou a ser usado um sistema binrio no lugar de um sistema decimal. As vlvulas, que implicavam em construo de circuitos que ocupam um grande espao, foram sendo substitudas por novas invenes como dispositivos transistorizados at chegar aos nossos dias onde so usados os denominados circuitos integrados que, ocupando pequeno espao tornou possvel a construo de microcomputadores. 5.2 A LGICA BINRIA OU LGEBRA BOOLEANA Se considerarmos um circuito eltrico com uma fonte, chaves liga-desliga e lmpadas, so possveis diversas combinaes entre estes elementos e assim efetuarmos operaes binrias. Isto operaes onde a lmpada ser acesa ou no. Vejamos alguns exemplos: (1) O circuito permite dois resultados: (i) chave aberta fonte lmpada apagada e (ii) chave fechada lmpada acesa. A (2) fonte B Operaes possveis: A e B abertas lmpada apagada A aberta e B fechada lmpada apagada A fechada e B aberta lmpada apagada A e B fechadas lmpada acesa. Operaes possveis: A e B abertas lmpada apagada A aberta e B fechada lmpada acesa A fechada e B aberta lmpada acesa A e B fechadas lmpada acesa.

A (3) fonte B

Como ser visto posteriormente, os circuitos acima apresentam propriedades e operaes semelhantes s propriedades da teoria dos conjuntos e lgica das proposies. Podemos ento definir: lgica binria ou lgebra booleana um sistema que opera com dois valores tendo como resultado um destes valores. Na lgebra booleana como na lgebra comum trabalhamos com variveis e operaes. Na lgebra comum o nmero de variveis infinito e as operaes so as j conhecidas: adio, subtrao, multiplicao, diviso, potenciao, radiciao e potenciao. Na lgebra booleana usamse apenas duas variveis que podem ser ABERTO e FECHADO ou FALSO e VERDADEIRO. Em geral, atribuem-se os dgitos 1 a FECHADO (ou VERDADEIRO) e 0 a ABERTO (ou falso). 22

As operaes fundamentais usadas na lgebra booleana so denominadas: (1) NOT no que para a varivel A, se indica A ou A. Esta operao equivale ao complementar do conjunto A na teoria dos conjuntos e ~p na lgebra das proposies. (2) AND e que, para as variveis A e B, se indica A AND B ou A.B. Esta operao equivale interseo de conjuntos na teoria dos conjuntos e p q na lgebra das proposies. (3) OR ou - que, para as variveis A e B, se indica A OR B ou A + B. Esta operao equivale unio de conjuntos na teoria dos conjuntos e p q na lgebra das proposies. 5.3 PRINCPIOS BSICOS DA LGEBRA BOOLEANA Considerando que as variveis A, B e C podem assumir um dos valores 0 ou 1, a lgebra Booleana tem por base os seguintes princpios:
1 2 3 4 5 6 7 8 9 10 11 12 A+B=B+A A + (B + C) = (A + B) + C A+0=A A+A=A A+1=1 A + (B.C) = (A + B).(A + C) Se A = 0 ento A = 1 Se A = 1 ento A = 0 (A) = A A + A = 1 (A + B) = A.B A + (A.B) = A A.B = B.A A.(B.C) = (A.B).C A.1 = A A.A = A A.0 = 0 A.(B + C) = (A.B + A.C) Se A = 0 ento A = 1 Se A = 1 ento A = 0 (A) = A A.A = 0 (A.B) = A+ B A.(A + B) = A Comutatividade Associatividade Neutro Idempotncia elemento absorvente Distributividade Operao NOT Operao NOT Involuo Simtrico De Morgan Absoro

EXERCCIO 10 1. Construa uma tabela com as propriedades de 1 a 12 da tabela anterior fazendo a correspondncia entre a lgebra das proposies e a teoria dos conjuntos. 2. Construa um diagrama para o circuito correspondente s operaes: A + (B.C); A.(B + C); (B + C) e (B.C). 5.4 TABELAS OPERACIONAIS Semelhante s tabelas verdade da Lgica das Proposies, podemos construir as tabelas operacionais para a lgebra booleana. Nestas ltimas os valores lgicos so os dgitos 0 e 1. Estas tabelas so construdas com base nos princpios indicados no item 1.3. TABELA NOT () TABELAS OR (+) e AND (.)
A 1 0 A 0 1 A 1 1 0 0 A 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 B 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 C 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 D 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 B 1 0 1 0 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 A+B 1 1 1 0 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 A.B 1 0 0 0 C+B+D 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 A.(C+B+D) 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0

TABELA A.(C + B + D)
C + B 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1

23

EXERCCIOS 11 1. Construa as tabelas das seguintes expresses booleanas a) A + A b) A.A c) (A + B) d) (A.B) e) A.B f) A + B. g) A.B.C + A.B.C + A.B.C h) (A + B).(A + C) i) (A.B + A.B) 2. Demonstre, mediante a construo de tabelas, as propriedades 1 a 6, 9 a 11 da tabela do item 1.3. 5.5 SIMPLIFICAO DE EXPRESSES Dependendo da expresso booleana, os circuitos correspondentes podem ser bastante complexos . Usando as propriedades descritas na tabela do item 1.3, pode-se, s vezes, simplificar tais expresses e, em conseqncia, obter circuitos mais simples. Por exemplo: a expresso X = [(A + B).B] pode ser transformada em X = A + B. Temos: X = [(A + B).B] [A.B + B.B] (P6) [A.B + B.B] [A.B + 0] (P10) [A.B + 0] [A.B] P(3) [A.B] (A) + (B) P(11) (A) + (B) A + B (P9). Pela transitividade da equivalncia, conclui-se que [(A + B).B] A + B.

EXERCCIOS 12 1. Simplifique cada uma das expresses abaixo a) A.B + B.A + C.D.E + C.D.E + E.C.D b) A.B.C.(A.B.C + A.B.C + A.B.C) c) A.B + A.B + A.C + A.C d) (A.B.C).(D.E).(F.G.H).(A.B.C) e) A.C + C.A.B + C.A.B + A.C f) (A.C + B.C).A.(A + A.B) + C.C + A.B g) A.B + B.A h) (A + B).(A + B) i) (A + 1).B.B + A + C.C.0 + C j) (A + 1).(B.0) + D.D + 1. 2. Considere os valores binrios: A = 1011, B = 0101 e C = 1111. Determine o valor de X, se: a) X = A + B.C b) X = (A.B) + C c) X = (A + B) + A.C d) X = (A +B) + (A + C). 5.6 PORTAS LGICAS Os hardwares de um computador so conjuntos de circuitos eletrnicos simples combinados. Circuitos estes destinados a receber um sinal de entrada (0 ou 1) ou combinao desses sinais, com os quais so realizadas operaes ou funes lgicas e, a partir dessa entrada produzir um sinal de sada. Os circuitos simples so denominados portas lgicas. Esquematizando temos:
entradas E1 E2 En Exemplo 1 porta lgica S sada 0 1

. . .

24

A tabela a seguir mostra as portas lgicas, o simbolismo matemtico e a representao grfica das mesmas.

XOR (ou exclusivo)

(AB)

Podemos associar diversas portas lgicas para que, dada uma entrada a mesma combine com um conjunto registrador de origem e assim obter um registrador de origem. Veja o exemplo abaixo.

O sinal

indica que no h contato entre os ramos do circuito.

O registrador de origem fornece um determinado sinal que combinado com o sinal da entrada resultar no sinal registrado no destino.

25

5.7 TABELAS DAS OPERAES LGICAS A lgica das proposies utiliza os valores lgicos VERDADEIRO (V) e FALSO (F). Nas portas lgicas estes valores so equivalentes a 1 e 0, respectivamente. Assim, as tabelas das operaes com as proposies e as tabelas operacionais com as portas lgicas se correspondem. Temos ento:

5.8 ALGUNS EXEMPLOS Sejam calcular a sada X da operao X = A + (B.C) para A = 01101, B = 10011 e C = 11000. 1 passo: B.C = (1,0,0,1,1).(1,1,0,0,0) = (1,0,0,0,0) 2 passo: (B.C) = (0,1,1,1,1) 3 passo A + (B.C) = (0,1,1,0,1) + (0,1,1,1,1) = (0,1,1,1,1). Como pode ser observado A + (B.C) equivale (B.C) para os valores dados. A representao grfica da operao acima :

EXERCCIOS 13 1. Considere os valores A = Calcule o valor de X, se a) X = (A + B).(C + D) d) X = (A + B).(C1 + D) g) X = (A + B) 1110001, B = 0011100, C = 1010101 e D = 0101011 b) X = (A.B) + (C.D) e) X = A.B.C.D h) X = A (B.C) c) X = A.B + C.D f) X = (A.B) + (CD) i) X = (A B) . (C D)

2. Faa a representao grfica das operaes do exerccio anterior. 3. Para cada uma das representaes abaixo, determinar o valor da sada X.

26

UNIDADE 4 MTODOS DE RACIOCNIO CAPTULO 6 DEDUO E INFERNCIA LGICA 6.1 INTRODUO Deduo e a induo so formas de raciocinarmos ou mesmo de argumentar, isto , so formas de reflexo. O raciocnio pode ser algo ordenado, coerente, lgico e pode ser dedutivo ou indutivo. Os argumentos dedutivos como os indutivos so fundamentados em premissas. A deduo e a induo so processos que se completam. Consideremos as seguintes seqncias de raciocnio: i) Todo homem mortal. Scrates mortal. Ento, Scrates homem. ii) Seja o trinmio: n2 + n + 17. Se fizermos n = 0, 1, 2, 3, 4 e 5, obtemos: 17, 19, 23, 29, 37, 47. Todos esses resultados so nmeros primos. Poder-se-ia dai concluir que para todo n N, n2 + n + 17 um nmero primo. As duas concluses so evidentemente falsas pois (i) "Scrates pode ser um gatinho" que mortal mas no homem e, (ii) para n = 17, n2 + n + 17 = 17*19 que no primo. A sentena verdadeira para n < 16. Entretanto, raciocnio como estes, desde que seguidas algumas regras, podero ser vlidos. No exemplo (i) partimos de uma afirmao geral para se chegar a uma afirmao particular. Um raciocnio desse tipo chamado de DEDUO. No exemplo (ii) de algumas situaes particulares tentou-se chegar a uma afirmao que poderia ser vlida para todas as situaes. Este tipo de raciocnio denominado INDUO. 6.2 MTODO DEDUTIVO O mtodo dedutivo considerado como o procedimento ideal da cincia goza de grande prestgio desde a poca de Aristteles. As idias de que as explicaes cientficas devem ter uma forma de deduo lgica, teve ampla aceitao. Este mtodo tradicionalmente definido como um conjunto de proposies particulares contidas em verdades universais. O ponto de partida a premissa antecedente que tem valor universal (ou pelo menos assim se admite), e o ponto de chegada a conseqente. A conseqente contm ou afirma um conhecimento particular ou menos geral contido explicitamente na primeira. Da que uma definio simplista do mtodo dedutivo pode ser endossada como segue: "mtodo dedutivo aquele que vai do conhecimento geral para o particular". Na lgebra das proposies, o mtodo dedutivo consiste em demonstrar implicaes (H T) e equivalncias lgicas (H T que equivale provar H T e T H). Podemos aplicar, na implicao, o processo direto que consiste em aceitar a hiptese, usando propriedades ou equivalncias lgicas, comprovar a tese ou o processo indireto que consiste em negar a tese. Neste processo se a negao da tese implicar na negao da hiptese, a proposio ser verdadeira. Este segundo mtodo denominado, reduo ao absurdo. Nas demonstraes aconselhvel converter os conectivos se ento, se e somente se e ou exclusivo nos conectivos e e ou, pois isto facilita as converses de proposies em proposies equivalentes. Lembrando tais converses temos: (1) p q ~p q (2) p q (p q) (q p) (~p q) (~q p) (3) p q ~(p q) ~((~p q) (~q p)) ~(~p q) ~(~q p) (p ~q) (q ~p) Alm dessas equivalncias podemos usar as equivalncias e implicaes abaixo, j provadas por tabelas verdade, (4) c p p (5) t p p (6) c p c (7) t p t (8) p q p (9) p q q (10) p p q (11) q p q. Vejamos algumas aplicaes: (1) Demonstrar que (p q) p q. Demonstrao: 27

(p q) p p (p q) (comutatividade do conectivo ) p (p q) p (~p q) (1) p (~p q) (p ~p) (p q) (distributividade) (p ~p) (p q) C (p q) [(p ~p) uma contradio] C (p q) p q (5) p q q (10). (2) Demonstrar que (p q) ~q ~p Demonstrao: (p q) ~q (~p q) ~q (1) (~p q) ~q (~p ~q) (q ~q) (distributividade) (~p ~q) (q ~q) (~p ~q) C [(q ~q) uma contradio] (~p ~q) C C (~p ~q) (comutatividade) C (~p ~q) (~p ~q) (5) (~p ~q) ~p (9). (3) Demonstrar que (p q) ~p q. Demonstrao: (p q) ~p (p ~p) (q ~p) (distributividade) (p ~p) (q ~p) C (q ~p) [(p ~p) uma contradio] C (q ~p) (q ~p) (5) q ~p ~p (10). EXERCCIOS 14 1. Demonstre as equivalncias e implicaes a) p q (p ~q) c c) (p q) (p ~q) ~p e) (p r) (q r) (p q) r b) p q (p q) q d) (p q) rp (q r) f) (p q) (p r) (p q) r

6.3 REGRAS DE INFERNCIA Sejam P1, P2, P3, ... Pn, e Q proposies tais que (P1 P2 P3 Pn) Q, isto (P1 P2 P3 Pn) Q uma tautologia, dizemos que (P1 P2 P3 Pn) um argumento que tem como conseqncia a proposio Q. As proposies P1, P2, P3, ... Pn so denominadas premissas e Q denominada concluso. Um argumento de premissas P1, P2, P3, ..., Pn e concluso Q indicado por P1, P2, P3, ..., Pn que se l: (1) P1, P2, P3, ..., Pn acarretam Q; ou (2) Q decorre de P1, P2, P3, ..., Pn; ou (3) Q se deduz de P1, P2, P3, ..., Pn; ou (4) Q se infere de P1, P2, P3, ..., Pn; ou (5) de P1, P2, P3, ..., Pn se conclui Q. Q,

Definio 1: Um argumento P1, P2, P3, ..., Pn Q vlido se e somente se a concluso Q verdadeira todas as vezes que as premissas P1, P2, P3, ..., Pn so verdadeiras. Definio 2: Um argumento no vlido denominado sofisma.

28

6.4 ARGUMENTOS BSICOS VLIDOS Apresentamos abaixo uma relao dos principais argumentos vlidos usados tambm chamadas regras de inferncias. Tais argumentos j forma demonstrados atravs de tabelas verdade ou por deduo.

6.5 DEMONSTRAES USANDO AS REGRAS DE INFERNCIAS Para demonstrar a validade de um argumento podemos utilizar tabelas verdades. Entretanto, medida que aumento o nmero de proposies, o mtodo de tabelas pode-se tornar bastante trabalhoso. O uso das regras de inferncias podem tornar estas demonstraes bem mais simples. Na verificao da validade de um argumento comum utilizar o algoritmo abaixo, que mostraremos usando um exemplo. Seja demonstrar a validade de p (q r), p q, p r Inicialmente escrevemos as premissas em coluna: (1) p (q r) P1 (2) p q P2 (3) p P3 Separamos as premissas por um trao horizontal. A seguir, considerando as premissas dadas, aplicam-se as regras de inferncia at obter a premissa que se quer concluir. Dando continuidade temos: (1) p (q r) P1 (2) p q P2 (3) p P3 (4) q r (5) q (6) r (P1 e P3) aplicando MP (P2 e P3) aplicando MP (4 e 5) aplicando MP.

No se pode esquecer que o argumento pode ser demonstrado a partir da tabela verdade [(p (q r)) (p q) p] r.

EXERCCIOS 15 1. Verificar a validade dos seguintes argumentos a) p q, p r q b) p q, p r s p s. c) p (q r), p q, p r d) p q r, (r q) (p s t)), p s

st

2. Demonstrar a validade do argumento P1: Se Pedro tem a mesma altura que Joo ento Joo tem a mesma altura que Luis. P2: Se Pedro tem a mesma altura que Luis ento Pedro tem a mesma altura que Antnio. P3: Ou Pedro tem a mesma altura que Joo ou a altura de Pedro 1,80 m. P4: Se a altura de Pedro 1,80 m ento a altura de Pedro mais 0,20 m = 2,00 m. P5: Mas a altura de Pedro mais 0,20 no igual a 2,00m. 29

Portanto: Pedro tem a mesma altura que Antnio. 3. Verificar a validade do argumento: x = y x = z, x y x < z, x > z y > z, y z x z 4. Verificar a validade dos seguintes argumentos: a) (p q) r, r s, t ~u, t, ~s u ~(p q) b) p q, q r, s t, p s rt c) p q, ~r (s t), r (p s), ~r qt d) p q, (p r) (s q), (p q) r, ~s q e) p q, q r, r s, ~s, p t t f) r (p q), r, ~p q g) p ~q, ~~q, ~p r r h) p q, ~q, , ~p ~r r.

y > z.

30

Das könnte Ihnen auch gefallen