Você está na página 1de 17

Lgica Computacional Aula 01 1.

Interruptores
Definio: Um interruptor um dispositivo ligado a um circuito eltrico que pode assumir dois estados: aberto ou fechado. Quando aberto no permite a passagem de corrente eltrica, enquanto fechado a corrente passa livremente pelo ponto. a aberto

a fechado

Para simplificar denotaremos um interruptor por uma letra minscula do nosso alfabeto. Quando o interruptor estiver aberto, diremos que a = 0, enquanto fechado, diremos que a = 1. Dois interruptores a e b podem estar conectados atravs de dois tipos de ligaes: paralela ou serial. Denotaremos a ligao de dois interruptores a e b em paralelo por a + b. J a ligao em serial ser denotada por a b.

a a b ligao paralela (a + b) ligao serial (a b) b

Observe que em uma ligao paralela somente haver passagem de corrente eltrica se pelo menos um dos interruptores estiver fechado (1). Por outro lado, na ligao serial necessrio que ambos os interruptores estejam fechados para que a corrente possa passar.

Exemplos: 1) Determinar a expresso algbrica correspondente aos circuitos desenhados: a) b c) c

a c

b d

Soluo: a + b c

Soluo: a b + c d

b) a

b c Soluo: a (b + c)

d)

a b

c d

Soluo: (a + b) (c + d)

2)

Desenhar os circuitos cujas ligaes so dadas pelas expresses abaixo:

a) a (b + c) d b Soluo: a c d

c) a (b + c d) b Soluo: a c d

Uninove - Lgica Computacional Prof.(a) rika Andersen

1 de 2

b) (a b + c d) + p q a c b

d) a + b c d a Soluo: b c d

Soluo:

Exerccios: 1) Dar as expresses algbricas dos circuitos desenhados:

z a) x y t y b) x z y c) x z x d) t w j) z e) x y t a d b f) c w u p x y w i) q a p t w h)

a c x y

b d z s r s b y q v c z r w b e q t i l c f r u j m t

e f r t

a d p

x x t g) a

y y

k) s h

w k b

2)

Desenhar os circuitos cujas ligaes so dadas pelas expresses: a) b) c) d) e) f) g) h) i) p (q +r) m + (p q r) m+n+p+q (x y) + (u v) (p + q) (r + s) (p + q) (r + s + t) (a + b c) (d e + f) + g h i p (q (s + r) + t u) + (a + b) (c d + e) a (p (q + r s) + (t + u) (v + w x))

Uninove - Lgica Computacional Prof.(a) rika Andersen

2 de 2

Lgica Computacional Aula 02 2. Proposies


Definio: Uma proposio uma sentena declarativa, afirmativa que exprime um pensamento de sentido completo. Toda proposio pode ser escrita na forma simblica ou na linguagem usual.

Exemplos: 1) 2) 3) 4) O Brasil fica na Amrica do Sul. 2 + 3 = 5. 5 < 2. A Alemanha fica na sia.

Observe que nos exemplos acima as proposies 2) e 3) esto escrita na forma simblica, e as proposies 1) e 4) na linguagem usual.

2.1. Valor lgico de uma proposio

Dizemos que o valor lgico de uma proposio a verdade (1) se a proposio for verdadeira e a falsidade (0) se a proposio for falsa. Ainda utilizando os exemplos acima, temos que o valor lgico das proposies 1) e 2) a verdade (1), pois ambas as proposies so verdadeiras. J o valor lgico das proposies 3) e 4) a falsidade (0), uma vez que tais proposies so falsas.

2.2. Proposies simples e compostas

Definio: Uma proposio dita simples quando no contm nenhuma outra proposio como parte integrante de si mesma. Representaremos estas proposies pelas letras minsculas do nosso alfabeto (p, q, r, s etc).

Exemplos: 1) 2) 3) p: Carlos paulista. q: Est chovendo. r: Hoje domingo.

Definio: Uma proposio dita composta quando formada por duas ou mais proposies relacionadas pelos conectivos adequados (e, ou, se...ento, se e somente se). Indicaremos as proposies compostas pelas letras maisculas do nosso alfabeto (P, Q, R, S etc).

Exemplos: 1) 2) 3) Hoje domingo e est chovendo. Carlos paulista ou Joo carioca. Se Carlos paulista ento Maria gacha.

Uninove - Lgica Computacional Prof.(a) rika Andersen

1 de 6

2.3. Tabela-verdade

Utilizaremos a tabela-verdade para determinar o valor lgico das proposies compostas, lembrando sempre que toda proposio pode assumir somente um dos dois valores lgicos possveis (verdadeiro, falso), no existindo nenhuma outra possibilidade. O nmero de linha da tabela-verdade determinado pela frmula: 2n, onde n o nmero de proposies.

Exemplos: 1) Apenas uma proposio p: 21 = 2 linhas

p 0 1 2 0 p 1 1

2)

Duas proposies p e q: 22 = 4 linhas 0 p 1 2 3 4 0 0 1 1 q 0 1 p 0 0 1 1 q 1 0 q 1

3)

Trs proposies p, q e r: 23 = 8 linhas 0 p 1 2 3 4 5 6 7 8 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 q 1 0 0 0 1 1 0 p 1 0 0 1 1 q 0 1 r 1 0 r 1 1 r 0 r 1

Uninove - Lgica Computacional Prof.(a) rika Andersen

2 de 6

3. Operaes Lgicas sobre Proposies


3.1. Negao ( ) = no

Exemplos: 1) p: Est chovendo. p: No est chovendo.

2)

q: Hoje domingo. q: Hoje no domingo.

Quando uma proposio p acrescida do operador lgico da negao - ( ) = no - a proposio resultante, ou seja, p, ser verdadeira se p for falsa; ser falsa se p for verdadeira.

Na tabela-verdade temos:

p 0 1

p' 1 0

3.2. Conjuno ( ) = e

Exemplo: p: Maria estudante. q: Joo mecnico p q: Maria estudante e Joo mecnico.

Quando duas proposies p e q so relacionadas pelo operador lgico da conjuno - ( ) = e - a proposio resultante, ou seja, p q, ser verdadeira somente se ambas as proposies forem verdadeiras. Ser falsa nos demais casos.

Na tabela-verdade temos:

p 0 0 1 1

q 0 1 0 1

pq 0 0 0 1

Uninove - Lgica Computacional Prof.(a) rika Andersen

3 de 6

3.3. Disjuno ( + ) = ou

Exemplo: p: Daniela carioca. q: Mrio paulista. p + q: Daniela carioca ou Mrio paulista.

Quando duas proposies p e q so relacionadas pelo operador lgico da disjuno - ( + ) = ou - a proposio resultante, ou seja, p + q, ser falsa somente se ambas as proposies forem falsas. Ser verdadeira nos demais casos.

Na tabela-verdade temos:

p 0 0 1 1

q 0 1 0 1

p+q 0 1 1 1

3.4. Condicional ( ) = se...ento

Exemplo: p: Paulo marceneiro. q: Danilo estudante. p q: Se Paulo marceneiro ento Danilo estudante.

Quando duas proposies p e q so relacionadas pelo operador lgico do condicional - ( ) = se...ento - a proposio resultante, ou seja, p q, ser falsa somente se a primeira proposio for verdadeira e a segunda for falsa. Ser verdadeira nos demais casos.

Na tabela-verdade temos:

p 0 0 1 1

q 0 1 0 1

pq 1 1 0 1

Uninove - Lgica Computacional Prof.(a) rika Andersen

4 de 6

3.5. Bicondicional ( ) = se e somente se

Exemplo: p: Renato mora em So Paulo. q: Mariana mora em Campinas. p q: Renato mora em So Paulo se e somente se Mariana mora em Campinas.

Quando duas proposies p e q so relacionadas pelo operador lgico do bicondicional - ( ) = se e somente se a proposio resultante, ou seja, p q, ser verdadeira somente se o valor lgico de ambas as proposies forem iguais. Ser falsa nos demais casos.

Na tabela-verdade temos:

p 0 0 1 1

q 0 1 0 1

pq 1 0 0 1

Ordem dos operadores: 1) 2) 3) 4) Negao ( ) Conjuno ( ) e disjuno ( + ) Condicional ( ) Bicondicional ( )

Exerccios:

1)

Sejam as proposies p: Joo joga basquete e q: Mrio joga vlei. Escreva na linguagem usual as seguintes proposies: a) b) c) d) e) f) pq p + q p q p q q p qp

2)

Dadas as proposies p: Faz calor e q: Est chovendo. Escreva na linguagem simblica as seguintes proposies: a) b) c) d) e) f) g) Faz calor e no est chovendo. Se faz calor ento est chovendo. Est chovendo se e somente se no faz calor. Se no est chovendo ento faz calor. No faz calor ou no est chovendo. No est chovendo nem faz calor. Est chovendo, mas faz calor.

Uninove - Lgica Computacional Prof.(a) rika Andersen

5 de 6

3)

Sabendo que V(p) = 0 e V(q) = 1, determine o valor lgico de cada uma das proposies abaixo: a) b) c) d) e) f) g) p q p + q (p + q) p q p p q p p + q q p p p (q p) p + q (p q)

4)

Se V(p) = V(q) = 1 e V(r) = V(s) = 0, determine o valor lgico de cada uma das proposies abaixo: a) b) c) d) e) f) g) h) i) j) p + r r + (p s) p + (r s) q p s (p q) + (q p) (p q) (r s) p + (q r s) (p + r) (q s) p + (q s) r s (q (r + s) p) r

5)

Classifique as proposies compostas abaixo, como conjuno, disjuno, condicional, bicondicional ou negao: a) b) c) d) e) f) p+qr p + (q r) p q r p + (q r) p (p + q) (p q) r

Uninove - Lgica Computacional Prof.(a) rika Andersen

6 de 6

Lgica Computacional Aula 03 4. Construo da Tabela-verdade


Para se construir a tabela-verdade de uma proposio composta dada, procede-se da seguinte maneira: a) b) Determina-se o nmero de linhas da tabela-verdade que se quer construir; Observa-se a precedncia entre os conectivos, isto , determina-se a forma das proposies que ocorrem no problema; c) Aplicam-se as definies das operaes lgicas que o problema exigir.

Exemplos: Construir a tabela-verdade das proposies abaixo: 1) p q + p p 0 0 1 1 q 0 1 0 1 p' 1 1 0 0 q' 1 0 1 0 p q 0 0 1 0 p q + p 1 1 1 0

P(00, 01, 10, 11) = 1110

2)

p q + p p 0 0 1 1 q 0 1 0 1 p' 1 1 0 0 q + p 1 1 0 1 p q + p 1 1 0 1

P(00, 01, 10, 11) = 1101

3)

(p q) + (q p) p 0 0 1 1 q 0 1 0 1 pq 0 0 0 1 (p q) 1 1 1 0 qp 1 0 0 1 (q p) 0 1 1 0 (p q) + (q p) 1 1 1 0

P(00, 01, 10, 11) = 1110

4)

p + r q r p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 q' 1 1 0 0 1 1 0 0 r' 1 0 1 0 1 0 1 0 q r 0 1 0 0 0 1 0 0 p + r 1 0 1 0 1 1 1 1 p + r q r 0 1 0 1 0 1 0 0

P(000, 001, 010, 011, 100, 101, 110, 111) = 01010100

Uninove - Lgica Computacional Prof.(a) rika Andersen

1 de 5

5)

(q p) r (p + q) p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 r' 1 0 1 0 1 0 1 0 qp 1 1 0 0 1 1 1 1 p+q 0 0 1 1 1 1 1 1 (p + q) 1 1 0 0 0 0 0 0 (q p) r 1 0 0 0 1 0 1 0 (q p) r (p + q) 1 0 1 1 0 1 0 1

P(000, 001, 010, 011, 100, 101, 110, 111) = 10110101

6)

(p + q) (r p q) p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 q' 1 1 0 0 1 1 0 0 p + q 1 1 0 0 1 1 1 1 (p + q) 0 0 1 1 0 0 0 0 pq 1 1 1 1 0 0 1 1 rpq 0 1 0 1 1 0 0 1 (p + q) (r p q) 0 0 0 1 0 0 0 0

P(000, 001, 010, 011, 100, 101, 110, 111) = 00010000

5. Tautologia, Contradio e Contingncia


Definio: De acordo com a ltima coluna da tabela-verdade de uma proposio composta, podemos classific-la em: Tautologia quando o valor lgico da proposio for sempre a verdade (1), quaisquer que sejam os valores lgicos das proposies componentes; Contradio - quando o valor lgico da proposio for sempre a falsidade (0), quaisquer que sejam os valores lgicos das proposies componentes; Contingncia quando ocorrem os dois valores lgicos 0 e 1 na tabela-verdade.

Exemplos: 1) p q p p 0 0 1 1 q 0 1 0 1 p' 1 1 0 0 q' 1 0 1 0 p q 0 0 1 0 p q p 1 1 0 1

P(00, 01, 10, 11) = 1101 Logo, uma contingncia.

Uninove - Lgica Computacional Prof.(a) rika Andersen

2 de 5

2)

(p q) p + q p 0 0 1 1 q 0 1 0 1 p' 1 1 0 0 q' 1 0 1 0 pq 0 0 0 1 (p q) 1 1 1 0 p + q 1 1 1 0 (p q) p + q 1 1 1 1

P(00, 01, 10, 11) = 1111 Logo, uma tautologia.

3)

p + q p q p 0 0 1 1 q 0 1 0 1 p' 1 1 0 0 q' 1 0 1 0 p' q 0 1 0 0 p + q 1 0 1 1 p + q p q 0 0 0 0

P(00, 01, 10, 11) = 0000 Logo, uma contradio.

6. Relaes de Implicao e Equivalncia

Definio: Dizemos que uma proposio p implica uma proposio q se toda vez que p for verdadeira, q tambm o for. Em outras palavras, em suas tabelas-verdade, no ocorre 10 (nessa ordem!). Notao:

q (p implica q) p q (p no implica q)
p

Definio: Dizemos que uma proposio p equivalente a uma proposio q se os seus valores lgicos forem sempre iguais. Em outras palavras, suas tabelas-verdade so iguais. Notao: p p

q (p equivalente a q) q (p no equivalente a q)

, pois, enquanto representa uma operao lgica entre proposies, indica apenas uma relao entre duas proposies. O mesmo vale para os smbolos e .
Observao: no confundir os smbolos e dando origem a uma nova proposio,

Uninove - Lgica Computacional Prof.(a) rika Andersen

3 de 5

Exemplos: 1) P: p q Q: (p q) P p 0 0 1 1 P q 0 1 0 1 pq 1 0 0 1 q' 1 0 1 0 p q 0 0 1 0 Q (p q) 1 1 0 1

Q (P implica Q) P (Q no implica P) P Q (P no equivalente a Q)

2)

P: q Q: (p q) P p 0 0 1 1 P q 0 1 0 1 pq 0 0 0 1 Q (p q) 1 1 1 0

Q (P no implica Q) P (Q no implica P) P Q (P no equivalente a Q)

3)

P: p q Q: (p q) (q p) P p 0 0 1 1 P q 0 1 0 1 pq 1 0 0 1 pq 1 1 0 1 qp 1 0 1 1 Q (p q) (q p) 1 0 0 1

Q (P implica Q) P (Q implica P) P Q (P equivalente a Q)

Uninove - Lgica Computacional Prof.(a) rika Andersen

4 de 5

Exerccios:

1)

Construa a tabela-verdade das seguintes proposies: a) b) c) d) e) f) g) h) pqp+q p (q p) q q p (p q) p q p r q + r p r q + r p (p r) q + r (p q r + q) + (p q r p)

2)

Determine quais das seguintes proposies so tautologias, contradies ou contingncias: a) b) c) d) e) f) g) h) i) p (p q) p + q (p q) p (q (q p)) ((p q) q) p p + q (p q) p + q (p q) p (p + q) +r p q (p q + r) (q p) (p q)

3)

Dadas as proposies P e Q abaixo, verifique se P (P equivalente a Q): a) b) c) d) e) f) g) h) i) P: q p P: p P: p q q P: q P: p r q + r P: p q r P: p + r r p r P: (p q) + (p r) P: q r p r Q: q + p Q: p q

Q (P implica Q), Q

P (Q implica P) e P

Q: p q p q + p Q: p q p (q + p) Q: p r q + r Q: (p q) (p r) Q: (p q + r) q r Q: p q + r Q: (p + r) (p + (q r))

Uninove - Lgica Computacional Prof.(a) rika Andersen

5 de 5

Lgica Computacional Aula 04 7. Argumento Vlido


Definio: Dizemos que um argumento, composto pela seqncia de proposies p1, p2, p3,..., pn, pn+1, vlido se sempre que as premissas p1, p2, p3,..., pn forem verdadeiras a concluso pn+1 tambm verdadeira e tal que a

conjuno das n primeiras implica a ltima, ou seja, p1 p2 p3 ... pn

pn+1.

Sendo assim, para testar a validade de um argumento procede-se da seguinte maneira: a) b) c) Constri-se a tabela-verdade de p1 p2 p3 ... pn; Constri-se a tabela-verdade de pn+1; Comparam-se as colunas p1 p2 p3 ... pn e pn+1 para verificar se p1 p2 p3 ... pn se p1 p2 p3 ... pn implica pn+1. Se valer a implicao, ento o argumento vlido. Caso contrrio, o argumento falho.

pn+1, ou seja,

Exemplos: Testar a validade dos argumentos abaixo: 1) p q, q, p De acordo com a definio, devemos verificar se: (p q) q p 0 0 1 1 q 0 1 0 1 pq 1 1 0 1 (p q) q 0 1 0 1

p.

Como (p q) q

p, ento o argumento falho.

2)

p + q, p, q De acordo com a definio, devemos verificar se: (p + q) p p 0 0 1 1 q 0 1 0 1 p 1 1 0 0 p+q 0 1 1 1

q.

(p + q) p 0 1 0 0

Como (p + q) p

q, ento o argumento vlido.

3)

p + q r, p q, q + p De acordo com a definio, devemos verificar se: (p + q r) (p q) p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 q 1 1 0 0 1 1 0 0 qr 0 0 0 1 0 0 0 1 p+qr 0 0 0 1 1 1 1 1 pq 1 1 1 1 0 0 1 1

q + p.
q + p 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1

(p + q r) (p q)

Como (p + q r) (p q)

q + p, ento o argumento falho.

Uninove - Lgica Computacional Prof.(a) rika Andersen

1 de 4

4)

p q, p, q r + p, q + r De acordo com a definio, devemos verificar se: (p q) p (q r + p) p 0 0 0 0 1 1 1 1 q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 p' 1 1 1 1 0 0 0 0 q' 1 1 0 0 1 1 0 0 pq 1 1 0 0 0 0 1 1 q r 0 1 0 0 0 1 0 0 q r + p 0 1 0 0 1 1 1 1 (p q) p 1 1 0 0 0 0 0 0

q + r. q+r 0 1 1 1 0 1 1 1

(p q) p (q r + p) 0 1 0 0 0 0 0 0

Como (p q) p (q r + p)

q + r, ento o argumento vlido.

8. Portas Lgicas
Definio: So as bases dos circuitos lgicos e tm por finalidade realizar determinada funo. Cada porta pode ter vrias linhas de entrada, mas somente uma linha de sada.

Porta lgica E ( ):

Porta lgica OU ( + ):

Porta lgica NO ( ' )

x=ab a b x

x=a+b a b

x = a' + b' a b

Exemplos: 1) Dar as funes correspondentes aos circuitos lgicos abaixo: a) a b x a c x = (a' + b) (a + c)

b)

a b c y y = a b' c

c)

a b z a c z = (a b') + (a' c)

Uninove - Lgica Computacional Prof.(a) rika Andersen

2 de 4

d)

a b w b c d w = (a + b) (b c d')

e) b c

a b b c a c

s = (a' + (b c))' ((a b') + (b c)' + (a c))

2)

Dar os circuitos lgicos correspondentes s funes abaixo: a) x = a + b' + c a b c x

b)

y = (a b) + c' a b c y

c)

z = (a + b) (b + c) a b x b c

Uninove - Lgica Computacional Prof.(a) rika Andersen

3 de 4

d)

v = (a + b' + c' + d) c' (e + f) a b c d c e f v

e)

u = ((a + b) c) + ((a b) + (a c)) + (a (b + d)) a b c

a b u a c a

b d

Exerccios:

1)

Teste a validade dos argumentos abaixo: a) b) c) d) e) f) g) h) p q, q p, p q p q, p + q, q, p p q, p + q, p q r p, (p + q), q q p, (p q), q q p, p + q (p q) + (q r), (p q), q r r + t, s t, t r, t s q p, p + r, p q r, r q p

2)

Dar os circuitos lgicos correspondentes s funes abaixo: a) b) c) d) e) x = (a b) + (b' + (c d)) y = ((a + b') (c + d) b) + (a + b + c)' + ((a' b) + (b c)) z = ab + ac + bc x = abc + (ac + bd)' + ac'd y = (((a + b') c) + (d e))' (a' + (b c) + d' + (a b c))

Uninove - Lgica Computacional Prof.(a) rika Andersen

4 de 4