Lgica Matemtica

CAPTULO 1

Sistemas Dicotmicos Interruptores Chamamos interruptor ao dispositivo ligado a um ponto de um circuito eltrico que pode assumir um dos dois estados: Fechado ( 1 ) Aberto (0) Quando fechado o interruptor permite que a corrente passe atravs do ponto enquanto aberto nenhuma corrente pode passar pelo ponto. Representao a a aberto fechado a .

Por convenincia representaremos da seguinte maneira : de que a = 1 (fechado) ou a = 0 (aberto).

Neste caso somente conheceremos o estado do interruptor se tivermos a indicao Um interruptor aberto quando a est fechado e fechado quando a est aberto chama-se complemento (inverso ou negao) de a e denota-se por a. Sejam a e b dois interruptores ligados em paralelo. Numa ligao em paralelo s passar corrente se pelo menos um dos interruptores estiver fechado. Denotaremos a ligao de dois interruptores a e b em paralelo por a + b. Paralelo a equivalente a _______ a + b ________ b Sejam a e b dois interruptores ligados em srie. Numa ligao em srie s passar corrente se ambos os interruptores estiverem fechados. Denotaremos tal ligao por a . b. Srie a
Evanor Alves Dourado

equivalente a 1

a.b 9/04/201241

Lgica Matemtica

Portanto considerando os estados possveis de serem assumidos pelos interruptores nas ligaes em srie e em paralelo podemos notar que:

Paralelo 0+0=0 0+1=1 1+0=1 1+1=1 a+b=b+a a + a = 1 a+0=a a+1=1 Obs. Porta Lgica ou x1 x2 e x1 x2 x1 inversor x1 o x1.x2 x 1 + x2

Srie 0.0=0 0.1=0 1.0=0 1.1=1 a.b=b.a a . a = 0 a.0=0 a.1=a

Exemplos Dar a expresso algbrica do circuito abaixo: 1. b a c c a d a . (b + c) + a . (c + d)

Evanor Alves Dourado

9/04/201241

Lgica Matemtica

2.

a a a a b b b

b c c

b a b c

a . b . c + a. c + (a . b . c + ( a . b + b . c) . ( a + b )) . b 3. Desenhar os circuitos cujas ligaes so dadas pelas expresses p . ( q. ( s + r ) + r . s ) + ( q + p) . ( r . s + s ) s q p r q p r s r s s

Exerccios propostos 1. Dar as expresses algbricas dos circuitos abaixo: z a) x y t w

b) x

y t z

c) x

y w x

z z w y

Evanor Alves Dourado

9/04/201241

Lgica Matemtica

d)

x y x w y

y z y z

z w

e) p

q s p q s q r r

r s s p

f) q p q p q r q s r r s

2. Desenhar os circuitos cujas ligaes so dadas pelas expresses: a) p . ( q + r ) b) m + ( p. q. r) c) m + n + p + q d) ( x . y ) + ( x . z ) e) ( x. y ) + ( x . y) f) ( a + b ) . ( a + b ) g) ( a + b ) . ( a + b + c ) h) ( p + q . r ) . ( p. q + r ) + p. q. r

Evanor Alves Dourado

9/04/201241

Lgica Matemtica

CAPTULO 2 Conjuntos Noo intuitiva : uma reunio de elementos que possuem algo em comum. Representao : analiticamente ou graficamente. Exemplo: A = {1,2,3,4}

Relao entre Elemento e Conjunto relao de pertinncia : A = { a, e, i, o, u} aA b A Subconjunto de um Conjunto A = {a, e, i, o, u} B A A B B ={a, e}

B est contido em A A contm B

Operaes entre Conjuntos Sejam os conjuntos: A = {1,2,3,4} B = {3,4,5} C = {5,6}

Evanor Alves Dourado

9/04/201241

Lgica Matemtica

1. Interseo A B = {3,4} B C = {5} A C = ou { 2. Unio A B = {1,2,3,4,5} A C =

{1,2,3,4,5,6}

3. Diferena 1 A - B = { ,2} B - A = {5} Representao Grfica

Identifique as operaes realizadas nos diagramas abaixo: 1.

A B C

Evanor Alves Dourado

9/04/201241

Lgica Matemtica

2.

[( A B ) C ] [( B C ) A] [( A C ) B ] [ ( A C ) ( B C ) ( A C ) ] ( A B C )
Denotaremos por A + B o conjunto de todos os pontos que pertencem s ao conjunto A ou s ao conjunto B ou a ambos. Dizemos que A + B a unio de A com B. O conjunto de pontos comuns a ambos, isto , que pertencem a A e B ser denotado por A . B. dizemos que A . B a interseo de A e B. Seja A o conjunto de todos os pontos do espao considerado que no pertencem a A. Dizemos que A o complemento de A.

A B A +B

A B A B

A-B B`

Evanor Alves Dourado

9/04/201241

Lgica Matemtica

Exemplos: 1. Dar a expresso da regio em evidncia:

A.B.C 2.

A . B . C + A. B . C + A . B. C 3.

B . C + A . B. C

Evanor Alves Dourado

9/04/201241

Lgica Matemtica

4.

A . B. C + A. B . C + A. B. C + A . B . C

5.Mostrar mediante diagrama que : A+B.C = (A+B).(A+C)

= Exerccios propostos 1. Dar a expresso da regio em evidncia utilizando + , . , e a)

Evanor Alves Dourado

9/04/201241

Lgica Matemtica

b)

c)

2. Desenhar os diagramas: a) A . B + A. B b) A . B + B . C + A . B . C c) ( A. B . C + A . B. C ) . C

Estudo e Aplicao dos Conectivos 1. conectivo e identifica a operao de dos conjuntos.

Evanor Alves Dourado

10

9/04/201241

Lgica Matemtica

2. conectivo ou inclusivo (e/ou) identifica a operao de dos conjuntos.

3. conectivo ou exclusivo identifica a operao de diferena entre conjuntos.

Exemplo 1. Uma prova de matemtica com trs questes foi resolvida pelos alunos segundo a tabela abaixo: Questes tipo n.de alunos A 15 B 15 C 12 AeB 6 AeC 8 BeC 7 A,B e C nenhuma 5 3

pergunta-se: a) quantos alunos fizeram a prova? R. 29 b) quantos alunos resolveram A e B? R. 6 c) quantos alunos resolveram somente A e B? R. 1 d) quantos alunos no resolveram A e C? R. 21 e) quantos alunos resolveram A ou C inclusive? R. 19 f) quantos alunos resolveram B ou C exclusive? R. 8 g) quantos alunos resolveram A? R. 15 h) quantos alunos resolveram somente A? R. 6 i) quantos alunos resolveram somente 2 questes? R. 6 j) quantos alunos resolveram pelo menos 2 questes? R. 11

Evanor Alves Dourado

11

9/04/201241

Lgica Matemtica

2. Entre os americanos que tiraram frias ano passado 77% tiraram frias no vero, 65% tiraram frias no inverno, 16% tiraram frias na primavera, 17% tiraram frias no outono, 55% tiraram frias no inverno e vero, 8% tiraram frias na primavera e vero, 6% tiraram frias no outono e vero, 5% tiraram frias no inverno e primavera, 6% tiraram frias no inverno e outono, 5% tiraram frias na primavera e outono, 3% tiraram frias no vero, inverno e outono, 3% tiraram frias no vero, inverno e primavera, 2% tiraram frias no vero, outono e primavera e 2% tiraram frias no inverno, outono e primavera. Pergunta-se: a) que porcentagem tirou frias somente em uma estao? R. 35% b) que porcentagem tirou frias em pelo menos 2 estaes? R. 65% c) que porcentagem tirou frias somente em 2 estaes? R. 55% d) que porcentagem tirou frias s no vero e inverno? R. 49% e) que porcentagem tirou frias s no inverno e outono? R. 1% f) que porcentagem tirou frias somente no vero e outono? R. 1% g) que porcentagem tirou frias no vero ou inverno inclusive? R. 87% h) que porcentagem tirou frias no inverno ou vero exclusive? R. 10% i) que porcentagem no tirou frias no vero? R. 23% j) que porcentagem no tirou frias no vero e inverno? R. 45%

Evanor Alves Dourado

12

9/04/201241

Lgica Matemtica

Exerccios Propostos 1. Numa comunidade so consumidos 3 produtos. Feita uma pesquisa de mercado sobre o consumo destes produtos foram colhidos os resultados: 100 pessoas consomem o produto A, 150 pessoas consomem o produto B, 200 pessoas consomem o produto C, 20 pessoas consomem os produtos A e B, 40 pessoas consomem os produtos B e C, 30 pessoas consomem os produtos A e C, 10 pessoas consomem os produtos A, B e C e 130 pessoas no consomem nenhum dos 3 produtos. Pergunta-se: a) quantas pessoas consomem somente 2 produtos? b) quantas pessoas no consomem A ou B inclusive? c) quantas pessoas consomem pelo menos 2 produtos? d) quantas pessoas foram consultadas? e) quantas pessoas consomem A e C? f) quantas pessoas consomem somente A e C? g) quantas pessoas no consomem A? h) quantas pessoas consomem somente A? i) quantas pessoas no consomem B e C? j) quantas pessoas consomem somente 1 produto? k) quantas pessoas consomem A ou B exclusive?
Evanor Alves Dourado

13

9/04/201241

Lgica Matemtica

2. Numa pesquisa sobre a preferncia de 3 produtos foram colhidos os resultados apresentados na tabela abaixo: produtos n. de pessoas A 5 B 3 C 8 AeB 1 AeC 2 BeC 3 A,B e C nenhum 1 2

pergunta-se: a) quantas pessoas preferem o produto B? b) quantas pessoas preferem somente o produto B? c) quantas pessoas preferem somente A e B? d) quantas pessoas preferem no mnimo 2 produtos? e) quantas pessoas preferem somente 1 produto? f) quantas pessoas no preferem A ou C inclusive? g) quantas pessoas no preferem A ou B exclusive? h) quantas pessoas no preferem A e C? i) quantas pessoas no preferem somente B e C? j) quantas pessoas foram consultadas?

3. Numa pesquisa sobre o consumo de quatro produtos foram colhidos os resultados: 11 pessoas consomem A, 7 pessoas consomem B, 8 pessoas consomem C, 10 pessoas consomem D, 1 pessoa consome os quatro produtos, 1 pessoa no consome nenhum dos quatro produtos, 6 pessoas consomem A e B, 5 pessoas consomem C e D, 5 pessoas consomem A e C, 4 pessoas consomem B e C, 6 pessoas consomem A e D, 4 pessoas consomem B e D, 3 pessoas consomem A, B e C, 3 pessoas consomem A, B e D, 3 pessoas consomem A, C e D e 2 pessoas consomem B, C e D. Pergunta-se: a) quantas pessoas foram consultadas? b) quantas pessoas consomem somente 2 produtos? c) quantas pessoas consomem somente 3 produtos? d) quantas pessoas consomem somente 1 produto?
Evanor Alves Dourado

14

9/04/201241

Lgica Matemtica

e) quantas pessoas consomem pelo menos 2 produtos? f) quantas pessoas consomem pelo menos 3 produtos? g) quantas pessoas consomem A e B? h) quantas pessoas consomem somente A e B? i) quantas pessoas no consomem A? j) quantas pessoas no consomem somente A? k) quantas pessoas consomem C ou A inclusive? l) quantas pessoas consomem B ou D exclusive? 4. Numa pesquisa sobre o consumo de quatro produtos foram colhidos os resultados: 8 pessoas consomem A, 11 pessoas consomem B, 8 pessoas consomem C, 10 pessoas consomem D, nenhuma pessoa consome os quatro produtos, 2 pessoas no consomem nenhum dos quatro produtos, 4 pessoas consomem A e B, 4 pessoas consomem C e D, 2 pessoas consomem A e C, 4 pessoas consomem B e C, 4 pessoas consomem A e D, 4 pessoas consomem B e D, 1 pessoa consome A, B e C, 1 pessoa consome A, B e D, 1 pessoa consome A, C e D e 1 pessoa consome B, C e D. Pergunta-se: a) quantas pessoas foram consultadas? b) quantas pessoas consomem somente 2 produtos? c) quantas pessoas consomem somente 3 produtos? d) quantas pessoas consomem somente 1 produto? e) quantas pessoas consomem pelo menos 2 produtos? f) quantas pessoas consomem pelo menos 3 produtos? g) quantas pessoas consomem A e B? h) quantas pessoas consomem somente A e B? i) quantas pessoas no consomem A? j) quantas pessoas no consomem somente A? k) quantas pessoas consomem C ou A inclusive? l) quantas pessoas consomem B ou D exclusive?

Evanor Alves Dourado

15

9/04/201241

Lgica Matemtica

5. Numa pesquisa sobre o consumo de quatro produtos foram colhidos os resultados: 14 pessoas consomem A, 15 pessoas consomem B, 17 pessoas consomem C, 15 pessoas consomem D, 1 pessoa consome os quatro produtos, 4 pessoas no consomem nenhum dos quatro produtos, 4 pessoas consomem A e B, 6 pessoas consomem C e D, 8 pessoas consomem A e C, 10 pessoas consomem B e C, 5 pessoas consomem A e D, 7 pessoas consomem B e D, 3 pessoas consomem A, B e C, 2 pessoas consomem A, B e D, 2 pessoas consomem A, C e D e 3 pessoas consomem B, C e D. Pergunta-se: a) quantas pessoas foram consultadas? b) quantas pessoas consomem somente 2 produtos? c) quantas pessoas consomem somente 3 produtos? d) quantas pessoas consomem somente 1 produto? e) quantas pessoas consomem pelo menos 2 produtos? f) quantas pessoas consomem pelo menos 3 produtos? g) quantas pessoas consomem A e B? h) quantas pessoas consomem somente A e B? i) quantas pessoas no consomem A? j) quantas pessoas no consomem somente A? k) quantas pessoas consomem C ou A inclusive? l) quantas pessoas consomem B ou D exclusive?

Evanor Alves Dourado

16

9/04/201241

Lgica Matemtica

CAPTULO - 3 Noes de Lgica Matemtica Proposio: uma afirmao, sentena verdadeira ou falsa. Exemplos: 1. Curitiba a capital do Paran. (proposio verdadeira) 2. Florianpolis no a capital de Santa Catarina. (proposio falsa) 3. O homem desceu em Marte? (no uma proposio) Valor Verdade: valor verdade de uma proposio so os valores V se ela for verdadeira e F se ela for falsa. Principio da No Contradio: toda proposio no pode ser verdadeira e falsa ao mesmo tempo. Princpio do Terceiro Excludo: toda proposio ou verdadeira ou falsa. (no existe outra hiptese) Tipos de Proposies 1. Proposio Simples (Atmica) aquela constituda por uma nica afirmativa. Exemplo: O carro tem duas rodas. Alguns porcos falam. Algumas vacas so chifrudas. 2. Proposio Composta (Molecular) Quando constituda de duas ou mais proposies simples. Exemplo: Algumas vacas so chifrudas e alguns porcos falam. Joo mecnico ou alguns porcos falam. Conectivos So palavras que servem para ligar duas ou mais proposies simples formando as compostas.

Evanor Alves Dourado

17

9/04/201241

Lgica Matemtica

Tipos de Conectivos 1. Conectivo de Negao Seja p uma proposio sua negao denotada ~ p (l-se no verdade que p). Exemplo: Seja a proposio p : Joo mecnico. ~ p : no verdade que Joo mecnico. 2. Conectivo Condicional usado sempre que tivermos duas proposies conseqncia de p. Exemplo: Se chover ficarei estudando, se no chover irei sua casa. p : se chover q : ficarei estudando ~ p : se no chover r : irei sua casa 3. Conectivo Bicondicional Sejam p e q duas proposies. Se p condio para q, e q condio para p temos o bicondicional, denotado por p q. (l-se p se e somente se q) Exemplo: p : se eu estudar q : tirarei boas notas p q : Se eu estudar ento tirarei boas notas. q p : Tirarei boas notas se eu estudar. 4. Conectivo de Conjuno (e) p q : l-se p e q. 5. Conectivo de Disjuno p V q : l-se p ou q ~ p r (se no p ento r) p q (se p ento q) p e q onde q

Evanor Alves Dourado

18

9/04/201241

Lgica Matemtica

6. Conectivo de Disjuno Exclusiva p V q : l-se p ou q Observao: Na linguagem comum a palavra ou tem dois sentidos. Sejam as proposies: p : Carlos mdico ou professor. q : Mrio paranaense ou gacho. Na proposio p est indicando que pelo menos uma das proposies Carlos mdico, Carlos professor verdadeira podendo ser ambas verdadeiras: Carlos mdico e professor. J o que no acontece na proposio q, isto , no possvel ocorrer Mrio paranaense e gacho. Em lgica matemtica usa-se habitualmente o smbolo V para o ou inclusivo e V para o ou exclusivo.

Evanor Alves Dourado

19

9/04/201241

Lgica Matemtica

CAPTULO - 4 Tabela Verdade As tabelas verdade nos auxiliam a determinar o valor lgico de uma proposio composta ou da negao de uma proposio simples.

1.

p V F p V V F F p 1 1 0 0 p 1 1 0 0 p 1 1 0 0 p 1 1 0 0

~p F V q V F V F q 1 0 1 0 q 1 0 1 0 q 1 0 1 0 q 1 0 1 0 p q V F F F pVq 1 1 1 0 pVq 0 1 1 0 p q 1 0 1 1 pq 1 0 0 1 20 9/04/201241 p 1 1 0 0 q 1 0 1 0 p q 1 0 0 0

2.

3.

4.

5.

6.

Evanor Alves Dourado

Lgica Matemtica

resumindo p 1 1 0 0 q 1 0 1 0 ~p 0 0 1 1 p q 1 0 0 0 pVq 1 1 1 0 pVq 0 1 1 0 p q 1 0 1 1 pq 1 0 0 1

Obs. O nmero de linhas de uma tabela verdade ser dado por 2n onde n o nmero de proposies simples. Exemplo. Construir a tabela verdade da proposio abaixo: 1. ~ (p ~ q) mtodo longo p 1 1 0 0 q 1 0 1 0 ~q 0 1 0 1 p q 0 1 0 0 ~ (p q) 1 0 1 1

mtodo curto ~ 1 0 1 1 4 (p 1 1 0 0 1 0 1 0 0 3 ~ 0 1 0 1 2 q) 1 0 1 0 1

nvel

Exerccios propostos: Construir a tabela verdade das proposies abaixo (pelo mtodo curto). 1. ~ p q 2. ~ (p q) 3. ~ (p ~ q) 4. (p q) (p V q) 5. ( (p q) (q r) ) (p r)

Evanor Alves Dourado

21

9/04/201241

Lgica Matemtica

Exemplos 1. Construir a tabela verdade da proposio abaixo: ((( p q ) ( r s)) ( p r )) ( q s )

1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 3

((( p 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 nvel 1

1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 2

q) 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1

(r 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1

1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 2

s )) 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 4

(p 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1

1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 2

r)) 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1

1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5

(q 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1

1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 2

s) 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

Obs. Quando o valor lgico de uma proposio composta for sempre verdade, quaisquer que sejam os valores lgicos das proposies componentes temos uma tautologia. Quando o valor lgico for sempre a falsidade temos uma contradio ou contra-vlida e finalmente quando na tabela verdade de uma proposio composta ocorrem verdades e falsidades temos uma indeterminao ou contingncia. 2. Sabendo que x = 1; y = 0; z = 0; w = 1 e k = 1 determinar o valor lgico da proposio composta: ~ (( x y ) ( y V z )) (( k V x ) ( ~ y w))
0 2

~ 0 6

(( x 1 1

y) 0 1

1 3

(y 0 1

0 2

z )) 0 1

1 5

(( k 1 1

1 2

x) 1 1

1 4

~ 1 2

y 0 1

1 3

w )) 1 1

Evanor Alves Dourado

22

9/04/201241

Lgica Matemtica

Exerccios propostos 1. Construir a tabela verdade das proposies compostas abaixo identificando se tautologia, contradio ou indeterminao: a) ( p q r) ( p ( q r )) b) ( p q ) (( p q ) ~ ( p q )) c) (( p q ) r ) ~ r q d) ( ~ ( p q ) r ) p e) ~ ((( p q ) p ) q 2. Determinar o valor lgico das proposies compostas abaixo sabendo-se que p = V; q = F; r = F; s = V; t = V. a) ( p q) (( r s ) ~ t ) b) ( t ~ p q ) ~ ( q r ) c) (( p r ) ( s t )) ~ q

Evanor Alves Dourado

23

9/04/201241

Lgica Matemtica

CAPTULO 5 Parnteses A necessidade de parnteses na escrita de formas sentenciais evidente. Uma expresso como p q V r pode significar ou ( p q ) V r ou p ( q V r ) e estas duas formas sentenciais no so equivalentes. Embora os parnteses sejam necessrios h muitos casos em que alguns parnteses podem ser omitidos. Conveno I Omitimos o par de parnteses ao redor de uma negao ( ~ p ). Assim no lugar de ( ~ p ) V q escrevemos simplesmente ~ p V q. Isto no pode ser confundido com ~ ( p V q ). II Para qualquer conectivo binrio adotamos o princpio da associao esquerda. Por exemplo: p q r denotar ( p q ) r p q r denotar ( p q ) r

III A ordem crescente ser: 1) 2) 3) , V, V 4) ~ Portanto o conectivo mais fraco ~ e o mais forte . Assim por exemplo: 1.
~ 2 p 1

q 1

r 1

s 1

2.
~ 5 Evanor Alves Dourado (p 1

(q 1

r) 1

s) 1

24

9/04/201241

Lgica Matemtica

3.
p 1

q 1

r 1

s 1

~ 2

p 1

Exemplos Elimine a maior quantidade de parnteses possvel sem alterar a expresso: a) (( ~ ( ~ ( p q ))) V ( ~ p ))
~ 4 ~ 3 (p 1

q) 1

V 5

~ 2

p 1

b) (( p V ~ q )) ( r ( ~ p )))
(p 1 V 3 ~ 1 q) 1

(r 1

~ 2

p) 1

c) ((( p V ( ~ q ) r ) ( ~p )) ( p V ~ q ) r ~p

d) (( ~ p ) ( q ( ~ ( p V r )))) ~ p ( q ~ ( p V r )) e) ~ (( p ( q r ) s ) V ( ~ p )) ~ (( p ( q r ) s ) ~ p ) f) (( p V ( q r )) ( s V p ) ( r q )) p V ( q r ) s V p r q g) ((( ~ ( ~ p V q )) p ) ( q r ) V ( ~ p )) ~ ( ~ p V q ) p ( q r ) V ~ p

Evanor Alves Dourado

25

9/04/201241

Lgica Matemtica

CAPTULO 6 Relao de Implicao Lgica Diz-se que uma proposio p implica uma proposio q quando em suas tabelas verdade no ocorre verdade e falsidade (V e F ) nesta ordem. Notao: p q (l-se p implica logicamente em q) Obs. No confundir os smbolos e . O primeiro representa uma operao entre proposies, o segundo indica apenas uma relao entre duas proposies dadas. Exemplo: 1)
p 1 1 0 0

q 1 0 1 0

1 1 0 1

p 1 1 0 0

2)
q 1 0 1 0

1 1 0 1

p 1 1 0 0

p 1 1 0 0

ok ok ok no ok

Evanor Alves Dourado

26

9/04/201241

Lgica Matemtica

Tautologia e Implicao Lgica Teorema: a proposio p implica a proposio q, isto , p q se e somente se a condicional p q for tautologia. Exemplos: 1)
p 1 1 0 0

trocar por
1 1 1 1

q 1 0 1 0

1 1 0 1

p 1 1 0 0

2)
q 1 0 1 0

1 1 0 1

p 1 1 0 0

trocar por
1 1 1 0

p 1 1 0 0

Relao de Equivalncia Lgica Diz-se que uma proposio p equivalente a uma proposio q quando em suas tabelas verdade no ocorrerem verdade e falsidade (V e F) nem falsidade e verdade (F e V). Notao: p q (l-se p equivalente a q) Exemplo: 1) Verifique se as 2 proposies so equivalentes
1 1 0 0 0 0 0 0 2 1 0 1 1 1 1 1 1 3 1 0 1 1 1 1 1 1 3 1 0 1 1 1 0 1 1 2

p 1 1 1 1 0 0 0 0 1

q 1 1 0 0 1 1 0 0 1

r 1 0 1 0 1 0 1 0 1

p 1 1 1 1 0 0 0 0 1

(q 1 1 0 0 1 1 0 0 1

r) 1 0 1 0 1 0 1 0 1

Evanor Alves Dourado

27

9/04/201241

Lgica Matemtica

Tautologia e Equivalncia Lgica Teorema: a proposio p equivalente a proposio q, isto , p q se e somente se a bicondicional p q for tautologia. Exemplo: 1) Verifique se as duas proposies propostas so equivalentes
p 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 2 q 1 1 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 3 r 1 0 1 0 1 0 1 0 1 trocar por 1 1 1 1 1 1 1 1 p 1 1 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 3 (q 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 1 1 2 r) 1 0 1 0 1 0 1 0 1

Exerccios propostos 1) Dadas as proposies compostas abaixo verifique se ocorre a implicao lgica ou a equivalncia lgica conforme solicitado: a) ( p q ) ( q r ) p r b) ( x 0 x = y ) x y x = 0 c) p ~ q p q d) p V q ( p V q ) ~ ( p q ) e) ( x = 0 y = 0 ) z = 0 x = 0 ( y = 0 z = 0 )

Evanor Alves Dourado

28

9/04/201241

Lgica Matemtica

CAPTULO 7 Negao Conjunta de duas Proposies Definio: chama-se negao conjunta de duas proposies proposio ~ p e ~ q, isto , ~ p ~ q. A notao da negao conjunta de duas proposies p e q ser dada por : p q (l-se negao conjunta das proposies p e q).
~ 0 0 1 1 p 1 1 0 0

p e q

0 0 0 1

~ 0 1 0 1

q 1 0 1 0

trocar por 1 1 1 1

p 1 1 0 0

0 0 0 1

q 1 0 1 0

Negao Disjunta de duas Proposies Definio: chama-se negao disjunta de duas proposies proposio : ~ p ~ q. p e q a

A notao da negao disjunta de duas proposies p e q ser dada por : p q (l-se negao disjunta de p e q).
~ 0 0 1 1 p 1 1 0 0

0 1 1 1

~ 0 1 0 1

q 1 0 1 0

trocar por 1 1 1 1

p 1 1 0 0

0 1 1 1

q 1 0 1 0

Obs. Os smbolos e so chamados conectivos de Scheffer e tm fora idntica ao condicional () portanto mais fraco que o bicondicional () e mais forte do que e ( ) e ou ( ).

Evanor Alves Dourado

29

9/04/201241

Lgica Matemtica

Exemplos: Verifique as equivalncias a)

p 1 1 0 0 1

1 1 1 0 2

q 1 0 1 0 1

(p 1 1 0 0 1

0 0 0 1 2

q) 1 0 1 0 1

1 1 1 0 3

(p 1 1 0 0 1

0 0 0 1 2

q) 1 0 1 0 1

So equivalentes b)
p 1 1 0 0 1

1 1 1 0 2

q 1 0 1 0 1

(p 1 1 0 0 1

0 0 1 1 2

p) 1 1 0 0 1

1 1 1 0 3

(q 1 0 1 0 1

0 1 0 1 2

q) 1 0 1 0 1

So equivalentes c)
p 1 1 0 0 1

1 0 0 0 2

q 1 0 1 0 1

(p 1 1 0 0 1

0 0 1 1 2

p) 1 1 0 0 1

1 0 0 0 3

(q 1 0 1 0 1

0 1 0 1 2

q) 1 0 1 0 1

So equivalentes d)
p 1 1 0 0 1

1 0 0 0 2

q 1 0 1 0 1

(p 1 1 0 0 1

0 1 1 1 2

q) 1 0 1 0 1

1 0 0 0 3

(p 1 1 0 0 1

0 1 1 1 2

q) 1 0 1 0 1

So equivalentes

Evanor Alves Dourado

30

9/04/201241

Lgica Matemtica

Equivalncias Notveis

1) Idempotncia (Id) a) p p p b) p p p 2) Comutao (Com.) a) p q q p b) p q q p 3) Associao (Assoc.) a) p ( q r ) ( p q ) r b) p ( q r ) ( p q ) r 4) Distribuio ( Dist.) a) p ( q r ) ( p q ) ( p r ) b) p ( q r ) ( p q ) ( p r ) 5) Dupla Negao ( DN) p ~ ~ p 6) De Morgan (DM) a) ~ ( p q ) ~ p ~ q b) ~ ( p q ) ~ p ~ q 7) Condicional (Cond.) p q ~ p q 8) Bicondicional ( Bic.) a) p q ( p q ) ( q p ) b) p q ( p q ) ( ~ p ~ q )

Evanor Alves Dourado

31

9/04/201241

Lgica Matemtica

9) Contraposio (CP) p q ~ q ~ p 10) Exportao Importao (E.I.) ( p q ) r p ( q r )

Exerccios propostos 1-) Sabendo-se que as proposies p e q so Verdadeiras e que as proposies r e s so Falsas determinar o valor lgico das proposies abaixo. a) ( p q ) ( q ~ p ) ~ ( s r ) ( ~ s r ) b) ~ ( ~ p r q s ) p ( q r ) s c) ( p q r ~ s ) (( ~ p q ) ( r s )) p s d) ~ ( p ~ q s) ~ ( p q r ) ( p q )

2) Verificar se as seguintes proposies compostas so tautolgicas, contingentes ou contravlidas (contradio). a) ~ ( p q ) ( p q ) b) p ( p q ) q c) ( p q ) p q d) ( p q ) ( p r q ) e) ( p q ) ( p q r ) f) p ( p q ~ q ) g) ~ p q ( p q )

Evanor Alves Dourado

32

9/04/201241

Lgica Matemtica

h) p q ( p ~ q ) i) p q ( p q r ) j) p ~ q ( p ~ q ) 3) Sendo as proposies x = y e x = 0 so Falsas e y = t e y = z compostas. a) x 0 x y y z b) x y y z y = t c) x = 0 x = y y z d) x 0 y = t y = z e) x = 0 x y y t f) y t x = 0 y = z g) ~ ( x = 0 y z ) x = y i) ( x = 0 y = t x y ) y z so

Verdadeiras, determinar o valor lgico de cada uma das seguintes proposies

4) Sendo as proposies p e q so verdadeiras e r, s e t so falsas, determinar o valor lgico das proposies compostas. a) p q r s t ~ q ~ p q b) ( p ( q r s t )) ~ ( q ~ p q ) c) ( p q r ) ( s t ~ q ) ~ p q
Evanor Alves Dourado

33

9/04/201241

Lgica Matemtica

d) (( p q r s t ) ~ q ~ p ) q 5) Verificar se ocorre a Implicao Lgica / Equivalncia Lgica nas proposies abaixo. a) ( x = y x < 3 ) x 3 x = y b) ( x 0 x y ) x = y x = 0 c) ( x = 0 x = y ) ( x = y x = 0 ) x = 0 x = y d) x = 1 x 3 ~ ( x < 3 x = 1 )

6) Elimine a maior quantidade de parnteses possvel. a) (( ~ ( ~ p) q ) ~ ((( p q ) ( r s )) ( ~ p ))) b) ( p ( ~ q )) (( p r ) ( s q )) ( q r )) c) (( p ( q r )) r ( ~ q )) ((( p q ) r )) d) (( ~ (( ~ p ) q ) p q ) (( p q ) r 7) Determinar o valor lgico de cada uma das proposies abaixo. a) se 2 + 4 = 8 ento 2 2 = 1 5 < 3 ento sen 30 = 1 2

b) se

c) tg 45 = 1 ento cos 60 = 1 2 4 . 9 = 6 se e somente se irracional 34 9/04/201241

d)

Evanor Alves Dourado

Lgica Matemtica

e) sen 90 < 1 se e somente se racional f) no verdade que 7 um nmero primo g) sen 2 = 0 e

3 irracional

h)

3 < 1 ou - 4 < - 9

8) Numa pesquisa sobre o consumo de 4 produtos foram colhidos os resultados A A,B A,C A,D B,C B,D C,D A,B, A,B, A,C, B,C, nenhum todos C D D D 8 11 8 10 4 2 4 4 4 4 1 1 1 1 2 0 B C D Pergunta-se: a) quantas pessoas consomem pelo menos 2 produtos ? b) quantas pessoas consomem somente D ? c) quantas pessoas consomem somente1 produto ? d) quantas pessoas consomem somente 2 produtos ? e) quantas pessoas consomem A e D ? f) quantas pessoas consomem somente A e D ? g) quantas pessoas no consomem A ? h) quantas pessoas foram consultadas ? i) quantas pessoas no consomem A ou B inclusive ? j) quantas pessoas consomem C ou A exclusive ? 9) Determinar a expresso algbrica dos circuitos abaixo a) x x z x y
Evanor Alves Dourado

y y z y x y 35

x z y x y z 9/04/201241

Lgica Matemtica

Evanor Alves Dourado

36

9/04/201241

Lgica Matemtica

b)

y x

y z y

x x y

Evanor Alves Dourado

37

9/04/201241

Lgica Matemtica

CAPTULO - 8 Argumento Vlido Definio: chama-se argumento vlido toda a seqncia de proposies P1, P2, P3,..., Pn+1 onde n N tal que a conjuno das n primeiras implica a ltima todas as vezes que as premissas P1, P2, P3,..., Pn forem verdadeiras e Pn+1 tambm verdadeira, isto : P1 P2 P3 ... Pn Pn+1 O argumento falho se nessas condies no ocorrer a implicao lgica ou na ltima conjuno ocorrer uma coluna de falsidades. P1 P2 P3 ... Pn Pn+1 Obs. A seqncia das proposies pode apresentar-se nas seguintes formas: P1 P2 P3 Pn Pn+1 Exemplo 1) Verificar a validade do argumento. p q p q ~q q ou P1, P2, P3,..., Pn, Pn+1

(p

q)

(p

38

q)

Evanor Alves Dourado

9/04/201241

Lgica Matemtica 1 1 0 0 1 1 0 1 1 2 1 0 1 0 1 1 0 1 0 3 1 1 0 0 1 1 1 1 0 2 1 0 1 0 1 0 0 0 0 4 0 1 0 1 2 1 0 1 0 1 1 1 1 1 1 0 1 0 1

Apesar de ter ocorrido a implicao lgica o argumento no vlido porque as premissas envolvidas no so simultaneamente verdadeiras. Regras de Inferncia As regras de inferncia so argumentos vlidos simples. 1) Conjuno (Conj.) p q p q 2) Modus Ponens (MP) p q p q 3) Modus Tollens (MT) p q ~q ~p

4) Adio (A) p p q 5) Simplificao (S) p q p 6) Silogismo Hipottico (SH)

Evanor Alves Dourado

39

9/04/201241

Lgica Matemtica

p q q r p r

7) Silogismo Disjuntivo (SD) p q ~p q 8) Dilema Construtivo (DC) p q r s p r q s 9) Dilema Destrutivo (DD) p q r s ~q ~s ~ p ~ r 10) Regra da Absoro (RA) p q p ( p q )

Evanor Alves Dourado

40

9/04/201241

Lgica Matemtica

Evanor Alves Dourado

41

9/04/201241