logica computacional erika modificado

18
CONTEÚDO PROGRAMÁTICO SEMA- NAS: CONTEÚDO SEMA- NAS: CONTEÚDO Sistemas dicotômicos: introdução, interruptor. 11ª Relações de implicação e equivalência. Circuitos elétricos. 12ª Exercícios envolvendo relações de implicação e equivalência. Equivalências notáveis Exercícios envolvendo Circuitos elétricos 13ª Exercícios de revisão dos conteúdos estudados anteriormente. Proposições: princípios fundamentais da lógica. 14ª Argumento válido: definição. Regras de inferência. Exercícios envolvendo proposições simples. 15ª Argumento válido. Regras de inferência. Operações lógicas: negação, conjunção, condicional e bi- condicional. 16ª Exercícios sobre argumento válido e sobre as regras de inferência. Operações lógicas: negação, conjunção, condicional e bicondicional. 17ª Exercícios sobre argumentação utilizando as regras de inferência. Exercícios envolvendo operações lógicas sobre proposições 18ª Portas lógicas por circuito lógico. Exercícios envolvendo operações lógicas sobre proposições 19ª Exercícios sobre portas lógicas. 10ª Relações de implicação e equivalência. 20ª Exercícios envolvendo os conteúdos anteriores BIBLIOGRAFIA BÁSICA: DAGHLIAN, J. Lógica e álgebra de Boole. 2ª ed. São Paulo: Paz e Terra, 1988. 167 p. ALENCAR FILHO, E. de. Iniciação à lógica matemática. 18ª ed. São Paulo: Nobel, 2008. 203 p. SOUZA, J.N. de. Lógica para ciência da computação: fundamentos de linguagem, semântica e sistemas de dedução. Rio de Janeiro: Elsevier, 2002. 309 p. BIBLIOGRAFIA COMPLEMENTAR: COSTA, N.C.A. Ensaios sobre os fundamentos da Lógica. 2ª ed. São Paulo: Paz e Terra, 1999. 255 p. ROSEN, K.H. Matemática discreta e suas aplicações. 6ª ed. São Paulo: McGraw- Hill, 2009. 1008 p. Uninove - Lógica Computacional – Prof.(a) Érika Andersen 1 de 18

Upload: ronepaula

Post on 02-Jul-2015

1.151 views

Category:

Documents


15 download

TRANSCRIPT

Page 1: Logica Computacional Erika Modificado

CONTEÚDO PROGRAMÁTICO

SEMA-NAS:

CONTEÚDO SEMA-NAS:

CONTEÚDO

1ª Sistemas dicotômicos: introdução, interruptor.

11ª

Relações de implicação e equivalência.

Circuitos elétricos. 12ª Exercícios envolvendo relações de implicação e equivalência. Equivalências notáveis

Exercícios envolvendo Circuitos elétricos

13ª Exercícios de revisão dos conteúdos estudados anteriormente.

Proposições: princípios fundamentais da lógica.

14ª Argumento válido: definição. Regras de inferência.

Exercícios envolvendo proposições simples.

15ª Argumento válido. Regras de inferência.

Operações lógicas: negação, conjunção, condicional e bi-condicional.

16ª Exercícios sobre argumento válido e sobre as regras de inferência.

Operações lógicas: negação, conjunção, condicional e bicondicional.

17ª Exercícios sobre argumentação utilizando as regras de inferência.

Exercícios envolvendo operações lógicas sobre proposições

18ª Portas lógicas por circuito lógico.

Exercícios envolvendo operações lógicas sobre proposições

19ª Exercícios sobre portas lógicas.

10ª

Relações de implicação e equivalência.

20ª Exercícios envolvendo os conteúdos anteriores

BIBLIOGRAFIA BÁSICA:

DAGHLIAN, J. Lógica e álgebra de Boole. 2ª ed. São Paulo: Paz e Terra, 1988. 167 p.

ALENCAR FILHO, E. de. Iniciação à lógica matemática. 18ª ed. São Paulo: Nobel, 2008. 203 p.

SOUZA, J.N. de. Lógica para ciência da computação: fundamentos de linguagem, semântica e

sistemas de dedução. Rio de Janeiro: Elsevier, 2002. 309 p.

BIBLIOGRAFIA COMPLEMENTAR:

COSTA, N.C.A. Ensaios sobre os fundamentos da Lógica. 2ª ed. São Paulo: Paz e Terra, 1999. 255 p.

ROSEN, K.H. Matemática discreta e suas aplicações. 6ª ed. São Paulo: McGraw- Hill, 2009.

1008 p.

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 1 de 17

Page 2: Logica Computacional Erika Modificado

1. Interruptores

Definição: Um interruptor é um dispositivo ligado a um circuito elétrico que pode assumir dois estados: aberto ou

fechado. Quando aberto não permite a passagem de corrente elétrica, enquanto fechado a corrente passa livremente

pelo ponto.

aa

aberto fechado

Para simplificar denotaremos um interruptor por uma letra minúscula 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 através de dois tipos de ligações: paralela ou serial.

Denotaremos a ligação de dois interruptores a e b em paralelo por a + b. Já a ligação em serial será denotada por a

b.

aa b

b

ligação paralela (a + b) ligação serial (a b)

Observe que em uma ligação paralela somente haverá passagem de corrente elétrica se pelo menos um dos

interruptores estiver fechado (1). Por outro lado, na ligação serial é necessário que ambos os interruptores estejam

fechados para que a corrente possa passar.

Exemplos:

1) Determinar a expressão algébrica correspondente aos circuitos desenhados:

a)    a

    c)  a

 b

            

 b

 c

     c

 d

   

Solução: a + b c Solução: a b + c d

b)  b

  d)  a

   c

  

a               

 c

     b

     d

   

Solução: a (b + c) Solução: (a + b) (c + d)

2) Desenhar os circuitos cujas ligações são dadas pelas expressões abaixo:

a) a · (b + c) · d c) a (b + c d)

Solução:

 b

 

Solução:

   b

   

 a

     d

   a

      

c     

d   

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 2 de 17

Page 3: Logica Computacional Erika Modificado

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

Solução:

 a

 b

 

Solução:

     a

     

              

d     

d   

           

q   

Exercícios:

1) Dar as expressões algébricas dos circuitos desenhados:

   z

     a

 b

   e

 

a) 

y               

 t

 w

       c

 d

     f

   

h)       

 y

     x

   z

 r

   

b) 

x     

t           

 z

     y

     s

 t

   

   y

     p

     r

   

c) 

x     

i)         

 z

 w

     q

     s

 t

   

 x

 y

   a

 b

 c

 

d)         

 t

 w

     x

 y

 z

   

j)     

 z

   p

 q

 r

   

e) 

y     

w     

 t

     u

 v

 w

   

   a

     a

 b

 c

      

d       

f)

   b

 c

         d

 e

 f

                

       p

 q

 r

      

z     

k)         

   s

 t

 u

      

y       

         h

 i

 j

   

g)

   t

 w

                  

m   

        

b   

2) Desenhar os circuitos cujas ligações são dadas pelas expressões:

a. p (q +r)

b. m + (p q r)

c. m + n + p + q

d. (x y) + (u v)

e. (p + q) (r + s)

f. (p + q) (r + s + t)

g. (a + b c) (d e + f) + g h i

h. p (q (s + r) + t u) + (a + b) (c d + e)

i. a (p (q + r s) + (t + u) (v + w x))

2. Proposições ( 2º aula )

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 3 de 17

Page 4: Logica Computacional Erika Modificado

Definição: Uma proposição é uma sentença declarativa, afirmativa que exprime um pensamento de sentido completo.

Toda proposição pode ser escrita na forma simbólica ou na linguagem usual.

Exemplos:

1) O Brasil fica na América do Sul.

2) 2 + 3 = 5.

3) 5 < 2.

4) A Alemanha fica na Ásia.

Observe que nos exemplos acima as proposições 2) e 3) estão escrita na forma simbólica, e as proposições 1) e 4) na

linguagem usual.

3. Valor lógico de uma proposição

Dizemos que o valor lógico de uma proposição é a verdade (1) se a proposição for verdadeira e é a falsidade (0) se a

proposição for falsa.

Ainda utilizando os exemplos acima, temos que o valor lógico das proposições 1) e 2) é a verdade (1), pois ambas as

proposições são verdadeiras. Já o valor lógico das proposições 3) e 4) é a falsidade (0), uma vez que tais proposições

são falsas.

4. Proposições simples e compostas

Definição: Uma proposição é dita simples quando não contém nenhuma outra proposição como parte integrante de si

mesma. Representaremos estas proposições pelas letras minúsculas do nosso alfabeto (p, q, r, s etc).

Exemplos:

1) p: Carlos é paulista.

2) q: Está chovendo.

3) r: Hoje é domingo.

Definição: Uma proposição é dita composta quando é formada por duas ou mais proposições relacionadas pelos

conectivos adequados (e, ou, se...então, se e somente se). Indicaremos as proposições compostas pelas letras

maiúsculas do nosso alfabeto (P, Q, R, S etc).

Exemplos:

2) Hoje é domingo e está chovendo.

3) Carlos é paulista ou João é carioca.

4) Se Carlos é paulista então Maria é gaúcha.

5. Tabela-verdade

Utilizaremos a tabela-verdade para determinar o valor lógico das proposições compostas, lembrando sempre que toda

proposição pode assumir somente um dos dois valores lógicos possíveis (verdadeiro, falso), não existindo nenhuma

outra possibilidade.

O número de linha da tabela-verdade é determinado pela fórmula: 2n, onde n é o número de proposições.

Exemplos:

1) Apenas uma proposição p:

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 4 de 17

Page 5: Logica Computacional Erika Modificado

21 = 2 linhas

p0

1 0p

2 11

2) Duas proposições p e q:

22 = 4 linhas

0p q

q1 0 0 0

12 0 1

p3 1 0

10

4 1 1q

1

3) Três proposições p, q e r:

23 = 8 linhas

0

rp q r 0

11 0 0 0

q2 0 0 1

10

3 0 1 0r

4 0 1 11

5 1 0 0p

6 1 0 10

7 1 1 0r

8 1 1 1 01

q

1

0

r

1

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 5 de 17

Page 6: Logica Computacional Erika Modificado

6. Operações Lógicas sobre Proposições

7. Negação ( ‘ ) = “não”

Exemplos:

1) p: Está chovendo.

p’: Não está chovendo.

2) q: Hoje é domingo.

q’: Hoje não é domingo.

Quando uma proposição p é acrescida do operador lógico da negação - ( ‘ ) = “não” - a proposição resultante, ou

seja, p’, será verdadeira se p for falsa; será falsa se p for verdadeira.

Na tabela-verdade temos:

p p'

0 1

1 0

8. Conjunção ( ) = “e”

Exemplo:

p: Maria é estudante.

q: João é mecânico

p q: Maria é estudante e João é mecânico.

Quando duas proposições p e q são relacionadas pelo operador lógico da conjunção - ( ) = “e” - a proposição

resultante, ou seja, p q, será verdadeira somente se ambas as proposições forem verdadeiras. Será falsa nos

demais casos.

Na tabela-verdade temos:

p q p q

0 0 0

0 1 0

1 0 0

1 1 1

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 6 de 17

Page 7: Logica Computacional Erika Modificado

9. Disjunção ( + ) = “ou”

Exemplo:

p: Daniela é carioca.

q: Mário é paulista.

p + q: Daniela é carioca ou Mário é paulista.

Quando duas proposições p e q são relacionadas pelo operador lógico da disjunção - ( + ) = “ou” - a proposição

resultante, ou seja, p + q, será falsa somente se ambas as proposições forem falsas. Será verdadeira nos demais

casos.

Na tabela-verdade temos:

p q p + q

0 0 0

0 1 1

1 0 1

1 1 1

10. Condicional ( ) = “se...então”

Exemplo:

p: Paulo é marceneiro.

q: Danilo é estudante.

p q: Se Paulo é marceneiro então Danilo é estudante.

Quando duas proposições p e q são relacionadas pelo operador lógico do condicional - ( ) = “se...então” - a

proposição resultante, ou seja, p q, será falsa somente se a primeira proposição for verdadeira e a segunda for

falsa. Será verdadeira nos demais casos.

Na tabela-verdade temos:

p q p q

0 0 1

0 1 1

1 0 0

1 1 1

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 7 de 17

Page 8: Logica Computacional Erika Modificado

Bicondicional ( ) = “se e somente se”

Exemplo:

p: Renato mora em São Paulo.

q: Mariana mora em Campinas.

p q: Renato mora em São Paulo se e somente se Mariana mora em Campinas.

Quando duas proposições p e q são relacionadas pelo operador lógico do bicondicional - ( ) = “se e somente se” - a

proposição resultante, ou seja, p q, será verdadeira somente se o valor lógico de ambas as proposições forem

iguais. Será falsa nos demais casos.

Na tabela-verdade temos:

p q p q

0 0 1

0 1 0

1 0 0

1 1 1

Ordem dos operadores:

1) Negação ( ‘ )

2) Conjunção ( ) e disjunção ( + )

3) Condicional ( )

4) Bicondicional ( )

Exercícios:

3) Sejam as proposições p: João joga basquete e q: Mário joga vôlei. Escreva na linguagem usual as seguintes

proposições:

a. p q

b. p’ + q

c. p’ q’

d. p q’

e. q p’

f. q p

4) Dadas as proposições p: Faz calor e q: Está chovendo. Escrevam na linguagem simbólica as seguintes

proposições:

g. Faz calor e não está chovendo.

h. Se faz calor então está chovendo.

i. Está chovendo se e somente se não faz calor.

j. Se não está chovendo então faz calor.

k. Não faz calor ou não está chovendo.

l. Não está chovendo nem faz calor.

m. Está chovendo, mas faz calor.

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 8 de 17

Page 9: Logica Computacional Erika Modificado

5) Sabendo que V(p) = 0 e V(q) = 1, determine o valor lógico de cada uma das proposições abaixo:

n. p’ q

o. p’ + q

p. (p + q)’

q. p’ q’ p

r. p q p’

s. p + q q’ p’ p

t. p (q’ p) p + q (p’ q)

6) Se V(p) = V(q) = 1 e V(r) = V(s) = 0, determine o valor lógico de cada uma das proposições abaixo:

u. p’ + r

v. r + (p s)

w. p’ + (r s)’

x. q p’ s

y. (p q) + (q p’)

z. (p q) (r’ s)

aa. p’ + (q r s’)

bb. (p’ + r) (q s)

cc. p’ + (q s)’ r s’

dd. (q’ (r’ + s)’ p) r

7) Classifique as proposições compostas abaixo, como conjunção, disjunção, condicional, bicondicional ou negação:

ee. p + q r

ff. p + (q r’)

gg. p q r’

hh. p + (q r) p’

ii. (p + q)’

jj. (p q’) r

11. Construção da Tabela-verdade

Para se construir a tabela-verdade de uma proposição composta dada, procede-se da seguinte maneira:

a) Determina-se o número de linhas da tabela-verdade que se quer construir;

b) Observa-se a precedência entre os conectivos, isto é, determina-se a forma das proposições que ocorrem no

problema;

c) Aplicam-se as definições das operações lógicas que o problema exigir.

Exemplos: Construir a tabela-verdade das proposições abaixo:

1) p q’ + p’

p q p' q' p q’ p q’ + p’

0 0 1 1 0 1

0 1 1 0 0 1

1 0 0 1 1 1

1 1 0 0 0 0

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

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 9 de 17

Page 10: Logica Computacional Erika Modificado

2) p q + p’

p q p' q + p’ p q + p’

0 0 1 1 1

0 1 1 1 1

1 0 0 0 0

1 1 0 1 1

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

3) (p q)’ + (q p)’

p q p q (p q)’ q p (q p)’ (p q)’ + (q p)’

0 0 0 1 1 0 1

0 1 0 1 0 1 1

1 0 0 1 0 1 1

1 1 1 0 1 0 0

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

4) p + r’ q’ r

p q r q' r' q’ r p + r’ p + r’ q’ r

0 0 0 1 1 0 1 0

0 0 1 1 0 1 0 1

0 1 0 0 1 0 1 0

0 1 1 0 0 0 0 1

1 0 0 1 1 0 1 0

1 0 1 1 0 1 1 1

1 1 0 0 1 0 1 0

1 1 1 0 0 0 1 0

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

5) (q p) r’ (p + q)’

p q r r' q p p + q (p + q)’ (q p) r’ (q p) r’ (p + q)’

0 0 0 1 1 0 1 1 1

0 0 1 0 1 0 1 0 0

0 1 0 1 0 1 0 0 1

0 1 1 0 0 1 0 0 1

1 0 0 1 1 1 0 1 0

1 0 1 0 1 1 0 0 1

1 1 0 1 1 1 0 1 0

1 1 1 0 1 1 0 0 1

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

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 10 de 17

Page 11: Logica Computacional Erika Modificado

6) (p + q’)’ (r p q)

p q r q' p + q’ (p + q’)’ p q r p q (p + q’)’ (r p q)

0 0 0 1 1 0 1 0 0

0 0 1 1 1 0 1 1 0

0 1 0 0 0 1 1 0 0

0 1 1 0 0 1 1 1 1

1 0 0 1 1 0 0 1 0

1 0 1 1 1 0 0 0 0

1 1 0 0 1 0 1 0 0

1 1 1 0 1 0 1 1 0

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

12. Tautologia, Contradição e Contingência

Definição: De acordo com a última coluna da tabela-verdade de uma proposição composta, podemos classificá-la em:

Tautologia – quando o valor lógico da proposição for sempre a verdade (1), quaisquer que sejam os valores

lógicos das proposições componentes;

Contradição - quando o valor lógico da proposição for sempre a falsidade (0), quaisquer que sejam os

valores lógicos das proposições componentes;

Contingência – quando ocorrem os dois valores lógicos 0 e 1 na tabela-verdade.

Exemplos:

1) p q’ p’

p q p' q' p q’ p q’ p’

0 0 1 1 0 1

0 1 1 0 0 1

1 0 0 1 1 0

1 1 0 0 0 1

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

Logo, é uma contingência.

2) (p q)’ p’ + q’

p q p' q' p q (p q)’ p’ + q’ (p q)’ p’ + q

0 0 1 1 0 1 1 1

0 1 1 0 0 1 1 1

1 0 0 1 0 1 1 1

1 1 0 0 1 0 0 1

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

Logo, é uma tautologia.

3) p + q’ p’ q

p q p' q' p' q p + q’ p + q’ p’ q

0 0 1 1 0 1 0

0 1 1 0 1 0 0

1 0 0 1 0 1 0

1 1 0 0 0 1 0

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

Logo, é uma contradição.

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 11 de 17

Page 12: Logica Computacional Erika Modificado

13. Relações de Implicação e Equivalência

Definição: Dizemos que uma proposição p implica uma proposição q se toda vez que p for verdadeira, q também o

for. Em outras palavras, em suas tabelas-verdade, não ocorre 10 (nessa ordem!).

Notação: p q (p implica q)

p q (p não implica q)

Definição: Dizemos que uma proposição p é equivalente a uma proposição q se os seus valores lógicos forem sempre

iguais. Em outras palavras, suas tabelas-verdade são iguais.

Notação: p q (p é equivalente a q)

p q (p não é equivalente a q)

Observação: não confundir os símbolos e , pois, enquanto representa uma operação lógica entre proposições,

dando origem a uma nova proposição, indica apenas uma relação entre duas proposições.

O mesmo vale para os símbolos e .

Exemplos:

1) P: p q

Q: (p q’)’

P Q

p q p q q' p q’ (p q’)’

0 0 1 1 0 1

0 1 0 0 0 1

1 0 0 1 1 0

1 1 1 0 0 1

P Q (P implica Q)

Q P (Q não implica P)

P Q (P não é equivalente a Q)

2) P: q

Q: (p q)’

P Q

p q p q (p q)’

0 0 0 1

0 1 0 1

1 0 0 1

1 1 1 0

P Q (P não implica Q)

Q P (Q não implica P)

P Q (P não é equivalente a Q)

3) P: p q

Q: (p q) (q p)

P Q

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

0 0 1 1 1 1

0 1 0 1 0 0

1 0 0 0 1 0

1 1 1 1 1 1

P Q (P implica Q)

Q P (Q implica P)

P Q (P é equivalente a Q)

Exercícios:

8) Construa a tabela-verdade das seguintes proposições:

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 12 de 17

Page 13: Logica Computacional Erika Modificado

kk. p q p + q

ll. p’ (q p)

mm. q q’ p

nn. (p q’) p’ q

oo. p’ r q + r

pp. p r q + r’

qq. p (p r’) q + r

rr. (p q r + q’) + (p’ q r’ p)

9) Determine quais das seguintes proposições são tautologias, contradições ou contingências:

ss. p (p’ q)

tt. p’ + q (p q)

uu. p (q (q p))

vv. ((p q) q) p

ww. p + q’ (p q’)

xx. p’ + q’ (p q)

yy. p (p + q) +r

zz. p q (p q + r)

aaa.(q p) (p q)

10) Dadas as proposições P e Q abaixo, verifique se P Q (P implica Q), Q P (Q implica P) e P Q (P equivalente a

Q):

bbb.P: q p’ Q: q’ + p

ccc. P: p’ Q: p q

ddd.P: p q q’ Q: p’ q’ p q + p

eee.P: q Q: p q’ p’ (q + p)

fff. P: p’ r q + r’ Q: p r q + r’

ggg.P: p q r Q: (p q) (p r)

hhh.P: p + r r p’ r’ Q: (p q + r) q’ r

iii. P: (p q) + (p r) Q: p q + r

jjj. P: q’ r p r’ Q: (p + r’)’ (p + (q’ r))

Respostas:

1) Dar as expressões algébricas dos circuitos desenhados:

a) x y (z + t w)

b) x (y + z) t

c) x (y + z w)

d) x y + t w

e) x y (z + t) w

f) (a + b c) d + x y z

g) (x y + t w) + a b

h) (a b + c d) (e + f) + (x + y) (z r + s t)

i) (p + q) (r + s t)

j) a b c + x y z + p q r + u v w

k) (a b c + d e f) + (p q r + s t u) + (h i j + k l m)

2) Desenhar os circuitos cujas ligações são dadas pelas expressões:

 q

     a

     d

 e

 a)   p                

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 13 de 17

Page 14: Logica Computacional Erika Modificado

 r

       b

 c

       f

       g)      

        

m             

i         

b)       

r   

 s

  

q     

 m

     r

          

p     

 n

           c)            

u       

 p

    h)              

q       

a   

d   

            

b       

e     

 x

 y

 

d)     

 u

 v

   

   q

    

p   

r     

p       

e)              r

 s

      

q     

s    i)  

a     

   t

     v

                

 r

   u

     w

 x

    

p     

f)        s

    

q       

 t

    

3) Sejam as proposições p: João joga basquete e q: Mário joga vôlei. Escreva na linguagem usual as seguintes

proposições:

a) João joga basquete e Mário joga vôlei.

b) João não joga basquete ou Mário joga vôlei.

c) João não joga basquete e Mário não joga vôlei.

d) Se João joga basquete então Mário não joga vôlei.

e) Mário joga vôlei se e somente se João não joga basquete.

f) Se Mário joga vôlei então João joga basquete.

4) Dadas as proposições p: Faz calor e q: Está chovendo. Escreva na linguagem simbólica as seguintes proposições:

a) p q’

b) p q

c) q p’

d) q’ p

e) p’ + q’

f) q’ p’

g) q p

5) Sabendo que V(p) = 0 e V(q) = 1, determine o valor lógico de cada uma das proposições abaixo:

a) 1

b) 1

c) 0

d) 1

e) 1

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 14 de 17

Page 15: Logica Computacional Erika Modificado

f) 1

g) 1

6) Se V(p) = V(q) = 1 e V(r) = V(s) = 0, determine o valor lógico de cada uma das proposições abaixo:

a) 0

b) 0

c) 1

d) 0

e) 1

f) 0

g) 1

h) 1

i) 0

j) 1

7) Classifique as proposições compostas abaixo, como conjunção, disjunção, condicional, bicondicional ou negação:

a) Condicional

b) Disjunção

c) Condicional

d) Bicondicional

e) Negação

f) Conjunção

8) Construa a tabela-verdade das seguintes proposições:

a) P(00, 01, 10, 11) = 1111.

b) P(00, 01, 10, 11) = 1011.

c) P(00, 01, 10, 11) = 1000.

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

e) P(000, 001, 010, 011, 100, 101, 110, 111) = 11111111.

f) P(000, 001, 010, 011, 100, 101, 110, 111) = 10110001.

g) P(000, 001, 010, 011, 100, 101, 110, 111) = 01110010.

h) P(000, 001, 010, 011, 100, 101, 110, 111) = 11111101.

9) Determine quais das seguintes proposições são tautologias, contradições ou contingências:

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

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

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

d) P(00, 01, 10, 11) = 1011 (contingência).

e) P(00, 01, 10, 11) = 1110 (contingência).

f) P(00, 01, 10, 11) = 1101 (contingência).

g) P(000, 001, 010, 011, 100, 101, 110, 111) = 11111111 (tautologia).

h) P(000, 001, 010, 011, 100, 101, 110, 111) = 11111111 (tautologia).

i) P(00, 01, 10, 11) = 1101 (contingência).

10) Dadas as proposições P e Q abaixo, verifique se P Q (P implica Q), Q P (Q implica P) e P Q (P

equivalente a Q)

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

Q(00, 01, 10, 11) = 1011

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 15 de 17

Page 16: Logica Computacional Erika Modificado

P Q (P não implica Q)

Q P (Q não implica P)

P Q (P não é equivalente a Q)

b) P(00, 01, 10, 11) = 1100

Q(00, 01, 10, 11) = 0001

P Q (P não implica Q)

Q P (Q não implica P)

P Q (P não é equivalente a Q)

c) P(00, 01, 10, 11) = 0110

Q(00, 01, 10, 11) = 1011

P Q (P não implica Q)

Q P (Q não implica P)

P Q (P não é equivalente a Q)

d) P(00, 01, 10, 11) = 0101

Q(00, 01, 10, 11) = 1001

P Q (P não implica Q)

Q P (Q não implica P)

P Q (P não é equivalente a Q)

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

Q(000, 001, 010, 011, 100, 101, 110, 111) = 10110001

P Q(P não implica q)

Q P (Q implica P)

P Q (P não é equivalente a Q)

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

Q(000, 001, 010, 011, 100, 101, 110, 111) = 11110001

P Q (P implica Q)

Q P (Q implica P)

P Q (P é equivalente a Q)

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

Q(000, 001, 010, 011, 100, 101, 110, 111) = 01111111

P Q (P implica Q)

Q P (Q não implica P)

P Q (P não é equivalente a Q)

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

Q(000, 001, 010, 011, 100, 101, 110, 111) = 11110111

P Q (P implica Q)

Q P (Q implica P)

P Q (P é equivalente a Q)

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

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 16 de 17

Page 17: Logica Computacional Erika Modificado

Q(000, 001, 010, 011, 100, 101, 110, 111) = 11101111

P Q (P implica Q)

Q P (Q não implica P)

P Q (P não é equivalente a Q)

Uninove - Lógica Computacional – Prof.(a) Érika Andersen 17 de 17