Caderno - Lógica
-
Upload
cadernos-ppt -
Category
Education
-
view
20.029 -
download
14
description
Transcript of Caderno - Lógica
![Page 1: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/1.jpg)
LÓGICA
Luan Guerra
2º semestre
CADERNOCADERNO
![Page 3: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/3.jpg)
Aviso
Esse material foi criado a partir do caderno de um aluno do curso de administração.
Sendo assim, não substituirá nenhuma fonte didática como: livros, artigos científicos, etc.
Observação:O objetivo dessa apresentação ésimplesmente ajudar o estudante, nada além disso.
![Page 4: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/4.jpg)
SITESUGERIDO
www.colegioweb.com.br/matematica/conectivos-logicos-.html
![Page 5: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/5.jpg)
LIVROSSUGERIDOS
• Alencar Filho, Edgard – Iniciação àLógica Matemática
• Castrucci, Benedito – Introdução àLógica Matemática
![Page 6: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/6.jpg)
CADERNO+
EXERCÍCIOS RESOLVIDOS
![Page 7: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/7.jpg)
Apresentação
• Argumento 1 – RaciocínioTodo homem é mortalSócrates é mortalLogo, Sócrates é homem
• Argumento 2 – RaciocínioTodo homem é mortalSócrates é homemLogo, Sócrates é mortal
![Page 8: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/8.jpg)
Continuação
• Lei da Não-contradição: a proposição não pode ser falsa e verdadeira ao mesmo tempo.
![Page 9: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/9.jpg)
O que é uma proposição?
• É TODA FRASE QUE PODE SER CLASSIFICADA COMO VERDADEIRO E FALSO
![Page 10: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/10.jpg)
PREMISSA?
• Está dentro de um argumento, ou seja, toda premissa é uma proposição, mas nem toda proposição é uma premissa
![Page 11: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/11.jpg)
Raciocínio Dedutivo
• ExemploTodo metal é dilatado pelo calor.O ouro é metal.Logo, o ouro é dilatado pelo calor.
![Page 12: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/12.jpg)
Raciocínio Indutivo
• Exemplo:O ferro é um metal e conduz eletricidade.O zinco é um metal e conduz eletricidade.Logo, todo metal conduz eletricidade.
![Page 13: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/13.jpg)
Proposições
• Proposição SimplesÉ toda frase que pode ser classificada em verdadeira e falso.
• Proposição CompostaÉ frases com duas ou mais proposições simples
![Page 14: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/14.jpg)
Continuação
• Valor LógicoA Lua é um satélite da Terra. VL(q) = V
Dante escreveu Os lusíadas. VL(q) = F
![Page 15: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/15.jpg)
Continuação
![Page 16: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/16.jpg)
Negação
![Page 17: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/17.jpg)
Detalhes
• e é somente verdadeiro, quando os “dois”termos são verdadeiros.
• ou quando os “dois” são falsos.
![Page 18: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/18.jpg)
Conjunção• A conjunção de duas
proposições P e Q érepresentada por:
p ^ q
Lê se “p e q”
![Page 19: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/19.jpg)
Exemplos de ‘Conjuntos’
P Q
![Page 20: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/20.jpg)
Disjunção
O operado lógico DISJUNÇÃO caracterizado pelo conectivo OU e representado pelo símbolo V
![Page 21: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/21.jpg)
Continuação
Pode ser o p ou q ou os dois
![Page 22: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/22.jpg)
OU ( V ) Exclusivo
Não podem acontecer ao mesmo tempo.
![Page 23: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/23.jpg)
Símbolo de OU Exclusivo
![Page 24: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/24.jpg)
Exemplos
A: O livro é interessanteB: O livro é caro.
Negação A: O livro não é interessante.+: Não é verdade que o livro é interessante.
A ^ B: O livro é interessante e caro.A V B: O livro é interessante ou caro.
![Page 25: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/25.jpg)
Exemplos
A:Ela é mineira e ele é paraense.Ela não é mineira e ele é paraense.Ela é mineira e ele não é paraense.Ela não é mineira ou ele não é paraense.
B:Ela é mineira ou ele é paraense.Ela não é mineira e ele não é paraense.
![Page 26: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/26.jpg)
Continuação
A:Não é verdade que Galileu esteja certo.
P: Galileu está certo.(~p)
B:A água está líquida.A água está sólida.
![Page 27: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/27.jpg)
Condicional
O operador lógico CONDICIONAL será caracterizado pelo conectivo Se... Então e representado pelo símbolo
Obs:A condicional só será falsa se a primeira for verdadeira e a segunda
foi falsa.A primeira proposição será chamada de ANTECEDENTE e a
segunda será chamada de CONSEQUENTE.
![Page 28: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/28.jpg)
Na condicional teremos a seguinte situação:
Uma condição SUFICIENTE gera um resultado NECESSÁRIO.
Daí se temos:“Pedro é rico então Maria é médica”
Pode ser escrita:“Pedro é rico é CONDIÇÃO SUFICIENTE para que Maria
seja médica.”
“Maria ser médica é CONDIÇÃO NECESSÁRIA para que Pedro seja rico.”
![Page 29: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/29.jpg)
Suficiente/Necessário
![Page 30: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/30.jpg)
Se... Então
![Page 31: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/31.jpg)
![Page 32: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/32.jpg)
Dados
![Page 33: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/33.jpg)
Condicional
• O conectivo se... então... e a condicional
A condicional se p então q é outra proposição que tem como valor lógico F se p é verdadeira e q é falsa. O símbolo p → q representa a condicional, com a seguinte tabela-verdade:
![Page 34: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/34.jpg)
TABELA
![Page 35: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/35.jpg)
Exemplo
![Page 36: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/36.jpg)
Exemplo
![Page 37: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/37.jpg)
DADOS
![Page 38: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/38.jpg)
Bicondicional
• O conectivo se e somente se e a bicondicional
A bicondicional p se e somente se q éoutra proposição que tem como valor lógico V se p e q forem ambas verdadeiras ou ambas falsas, e F nos outros casos.
![Page 39: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/39.jpg)
Bicondicional
![Page 40: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/40.jpg)
Exercícios
Condicional
![Page 41: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/41.jpg)
a)
A B
Dados do Exercício:A = Está CalorB = É verão
![Page 42: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/42.jpg)
e)
NUNCA É VERÃO, QUANDO ESTÁ CALOR
Dados do Exercício:A = Está CalorB = É verão
![Page 43: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/43.jpg)
Extra - Paradoxos
SLIDES
![Page 44: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/44.jpg)
TABELA VERDADE
![Page 45: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/45.jpg)
TABELA VERDADE
![Page 46: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/46.jpg)
RESOLUÇÃO
P (p,q) = ~(p v ~q)
![Page 47: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/47.jpg)
Ordem de Prioridade
1º Fazer a negação (~)
2º Fazer a conjunção (^) e a disjunção (v)
3º Fazer a condicional ( )
4º Fazer a bi-condicional ( )
![Page 48: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/48.jpg)
Exercícios
• P (p, q, r) = (p ^ ~q) (q v ~ r)
![Page 49: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/49.jpg)
Definição
![Page 50: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/50.jpg)
Definição
![Page 51: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/51.jpg)
Tipos de Tabela lógicas
• TAUTOLÓGICASQuando os valores lógicos da proposição são todos verdadeiros
• CONTRADIÇÃOQuando os valores lógicos da proposição são todos falsos
• CONTINGÊNCIAQuando os valores lógicos da proposição são verdadeiros e falsos.
![Page 52: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/52.jpg)
ExemplosTipos de Tabela Lógicas
a) P (p, q) = (p ^ q) (p v q)
![Page 53: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/53.jpg)
ExemplosTipos de Tabela Lógicas
b) P (p) = p ~p
![Page 54: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/54.jpg)
ExemplosTipos de Tabela Lógicas
c) P (p, q) = p (p ^ q)
![Page 55: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/55.jpg)
Implicação Lógica
Sejam P e Q duas proposições, dizemos que implica em P logicamente em Q se e somente se a condicional P Q éumas tautológica.
![Page 56: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/56.jpg)
Resumo
P Q (P implica logicamente)
P Q é uma tautológica
Também podemos verificar se P implica logicamente em Q da seguinte forma:
![Page 57: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/57.jpg)
1º Verificamos quais linhas a proposição´P tem valor lógico verdadeiro;
2º Nessas mesmas linhas verificamos quais são os valores lógicos de Q;
3º Se houver alguma dessas linhas onde Q é falso, não temos implicação lógica. Agora, se não houver linhas onde Q éfalso, temos uma implicação lógica.
![Page 58: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/58.jpg)
Exemplo
• Dados as proposições P(p, q) = p v qe Q(p,q)= p^q, verificamos se:
a) P Q
b) Q P
![Page 59: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/59.jpg)
![Page 60: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/60.jpg)
Perguntas
a) P não implica logicamente em Q, pois P Q não é uma tautológica.
b) Q implica lógica em P, pois Q P éuma tautologia.
![Page 61: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/61.jpg)
Respostas
a) Como na linha 2 ou 2º linha o valor lógico VL [P( p, q)] = V e o VL [Q(p,q)] = F, P não implica logicamente em Q.
b) Como na 1º linha o valor lógico VL [Q(p, q)] = V e VL[P(p,q)] = V Q implica logicamente.
![Page 62: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/62.jpg)
Equivalência Lógica
• Sejam P e Q duas proposições, dizemos que P equivale logicamente em Q se e somente se a bicondicional P Q éuma tautologia.
![Page 63: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/63.jpg)
Resumo
P Q (P equivale logicamente)
P Q é uma tautologia
Também podemos verificar se P equivale logicamente em Q, da seguinte forma:
![Page 64: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/64.jpg)
1º Verificamos quais linhas as proposições P e Q tem o valor lógico verdadeiro
2º Se todas as linhas coincidem temos uma equivalência lógica, caso contrário não temos uma equivalência lógica.
![Page 65: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/65.jpg)
Exemplo
• Dados as proposições P(p,q) = ~p v ~q, Q(p,q) = ~ (p^q) e R(p,q) = ~p ^ ~q, verifique se:
a) P(p,q) Q(p,q)
b) Q(p,q) R(p,q)
![Page 66: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/66.jpg)
![Page 67: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/67.jpg)
Perguntas
a) Como P Q é uma tautologia, temos P Q
b) Como Q R não é uma tautologia, temos que Q não é equivalente a R
![Page 68: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/68.jpg)
Tabela Verdade
decorar.....
![Page 69: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/69.jpg)
Propriedades da Equivalência
1) p ^ q p2) p v p p3) p q q p4) p q (p q) ^ (q p)5) p q; p q; q r6) p ^ q q ^ q 7) p v q q v p
![Page 70: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/70.jpg)
Propriedades da Condicional
p q ~q ~ p
p q ~p v q
![Page 71: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/71.jpg)
Tabela Verdade
![Page 72: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/72.jpg)
3º Exercícios
P = Pedro é pobreQ = Alberto é alto
~(p ^ q)
Propriedades~p v ~q = Pedro não é pobre ou Alberto não
é alto.
![Page 73: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/73.jpg)
Continuação
Transformar as alternativas em conectivos:
a) ~p v ~qb) ~p ^ ~qc) p v ~qd) ~p qe) ~p ~q
![Page 74: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/74.jpg)
Comprovando
![Page 75: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/75.jpg)
4º Exercício
OBS: PEGUE SEMPRE NA AFIRMATIVA E DEPOIS NEGUE.
P = André é artistaQ = Bernardo é engenheiro (Negativa)
![Page 76: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/76.jpg)
Continuação
P v ~ q
~p ~q
q p
Propriedades da Condicional
![Page 77: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/77.jpg)
Resposta
Se Bernardo é engenheiro então André éartista.
![Page 78: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/78.jpg)
5º Exercício
Todos os economistas são médicos.
Como negar?
Diagrama
Médico
Economista
![Page 79: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/79.jpg)
Resultado
p qNegação de todos = pelo menos 1
e
Ou
Economista
Médico
![Page 80: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/80.jpg)
6º Exercício
P = Pedro é pedreiro (Negativa)OuQ = Paulo é paulista.
![Page 81: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/81.jpg)
Resolução
• Conserva o 2º conectivo e troca o valor do 1º :
~ p v q
p q
![Page 82: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/82.jpg)
Resposta
Se Pedro é pedreiro, então Paulo é Paulista
![Page 83: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/83.jpg)
Proposições Afirmativas e Negativas
Tipos
Todo S é PAlguns S são PAlguns S não são PNenhum S é P
![Page 84: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/84.jpg)
Diagrama
• Todo S é P
SP
S c P
UNIVERSAL Afirmativa
![Page 85: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/85.jpg)
Continuação
S
P
S = P
UNIVERSAL Afirmativa
![Page 86: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/86.jpg)
Nenhum S é P
S
PUNIVERSAL Negativa
![Page 87: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/87.jpg)
Algum S são P
S
S
S
SP
P P
P
PARTICULAR Afirmativa
![Page 88: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/88.jpg)
Alguns S não são P
P P
P
SS
S
PARTICULAR Negativa
![Page 89: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/89.jpg)
Equivalência
Nenhum A é B Todo A não é B
Todo A é B Nenhum A não e B
![Page 90: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/90.jpg)
Exemplo
Nenhum médico é louco
Todo médico não é louco.
Toda arte é bela
Nenhuma arte não é bela
![Page 91: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/91.jpg)
Leis Associativas, Distributivas e da Dupla Negação
Associativas:
p ^ (q ^ s) (p ^ q) ^ s
p v (q v s) (p v q) v s
![Page 92: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/92.jpg)
Distributivas
p ^ (q ^ s) (p ^ q) v (p ^ s)
• p v (q v s) (p v q) ^ (p v s)
![Page 93: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/93.jpg)
Dupla Negação
~ (~p) p
![Page 94: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/94.jpg)
Casos particulares
S não é P S é P
Todo S não é P Todo S é P
Algum S não é P Algum S é P
Nenhum S não é não P Nenhum S é P
![Page 95: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/95.jpg)
Exemplos
A bola de futebol não é não esférica.
A bola de futebol é esférica.
Todo número inteiro não é não racional.
Todo número inteiro é racional.
![Page 96: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/96.jpg)
Exemplos
Algum número racional não é não natural.
Algum número racional é natural.
Nenhum número negativo não é não natural.
Nenhum número negativo é natural.
![Page 97: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/97.jpg)
Argumentos
Um argumento é um conjunto de proposições que geram uma conseqüência da seguinte forma:
![Page 98: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/98.jpg)
Definição
• As premissas são as proposições consideraremos verdadeiras, para determinar o valor lógico da conclusão.
• Um argumento pode ser válido ou inválido. Dizemos que um argumento éválido quando todas as premissas são verdadeiras a conclusão também éverdadeira.
![Page 99: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/99.jpg)
• Dizemos que um argumento é inválido quando todas premissas forem verdadeiras a conclusão de alguma forma pode ser falsa.
• Exemplo:Verifica se o argumento abaixo é válidos:
![Page 100: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/100.jpg)
Resposta: As premissas para este argumentos são:
![Page 101: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/101.jpg)
Façamos a tabela lógico dessas proposições:
![Page 102: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/102.jpg)
![Page 103: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/103.jpg)
Procuremos as linhas onde todas as premissas são verdadeiras. Isso ocorre na 4º, 6º e 8º linha. Observamos que nessas mesmas linhas o valor lógico da conclusão também é verdadeiro. Logo podemos concluir que o argumento éválido.
![Page 104: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/104.jpg)
Exemplo
Verifique se o argumento é válido
![Page 105: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/105.jpg)
Solução
VL (p v q) = V VL(q) = VVL (~p) = V VL(p) = F
_____________________________VL (q) = V
Argumento Válido
![Page 106: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/106.jpg)
Exemplo
![Page 107: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/107.jpg)
Solução
VL (A (~B ^ C)) = V VL(A) = F
VL (~A B) = V VL(B) = V
VL (D ^ ~ C) = V VL(D) = V e VL(~C) = VVL(C) = F
![Page 108: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/108.jpg)
Análise
![Page 109: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/109.jpg)
Resultado
VL (A (~B ^ C)) = V VL(A) = F
VL (~A B) = V VL(B) = V
VL (D ^ ~ C) = V VL(D) = V e VL(~C) = VVL(C) = F
____________________________________________
VL ( B ~ D) = F
![Page 110: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/110.jpg)
Argumentos
Diagramas
![Page 111: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/111.jpg)
Exemplo
P1: Todos os homens são pássaros.
P2: Nenhum pássaro é animal.______________________________C: Portanto, nenhum homem é animal.
![Page 112: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/112.jpg)
Diagramas
Pássaro
Homens
Animais
![Page 113: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/113.jpg)
Logo
O conjunto dos homens está no conjunto dos pássaros e o conjunto dos pássaros não tem intenção com o conjunto dos animais, logo o conjunto dos homens não tem intersecção com o conjunto dos animais, ou seja, nenhum homem éanimal.
O argumento é válido.
![Page 114: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/114.jpg)
Exemplo
P1: Todos as crianças gostam de chocolate.
P2: Patrícia não é criança
___________________________________C: Portanto, Patrícia não gosta de chocolate.
![Page 115: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/115.jpg)
Diagrama
Criança
chocolate
Patrícia
![Page 116: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/116.jpg)
Logo
A primeira afirma que o conjunto das crianças está contido no conjunto das pessoas que gostam de chocolate. A segunda premissa afirma que Patrícia não pertence ao conjunto das crianças, isso possibilita que ela esteja no conjunto das pessoas que gostam de chocolate ou fora deste conjunto, impossibilitando que tenhamos uma conclusão incontestável.
Logo, diremos que o argumento é inválido.
![Page 117: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/117.jpg)
Exemplo
P1: Prestação de contas com ato antieconômico
P2: A prestação de contas de um prefeitura a está irregular
___________________________________C: Logo, as contas desta prefeitura
apresentam atos antieconômicos
![Page 118: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/118.jpg)
Diagrama
Irregular
Ato antieconômico
Prefeitura
Prefeitura
![Page 119: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/119.jpg)
Logo
A primeira premissa no diz que o conjunto de atos antieconômicos está contido no conjunto das contas irregulares.A segunda premissa afirma que a conta da prefeitura pertence ao conjunto das contas irregulares, possibilitando assim que as contas dessa prefeitura pertence ao conjunto de atos antieconômicos ou não. Portanto, não podemos concluir que necessariamente as contas possuem ato antieconômico, ou seja, o
argumento é INVÁLIDO.
![Page 120: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/120.jpg)
Método que parte da negação da conclusão:
Neste método admitimos o valor lógico da conclusão FALSO, obtendo assim os valores lógicos das proposições envolvidos. Se a substituirmos esses valores lógicos nas premissas obtivermos todas verdadeiras, o argumento é INVÁLIDO.Caso gere algum conflito de lógicos o argumento é VÁLIDO.
![Page 121: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/121.jpg)
Exemplo
P1: A (B v C)
P2: B ~ A
P3: D ~ C__________________________________C: A ~ D
![Page 122: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/122.jpg)
Resposta
Admitiremos o valor lógico da conclusão falso:
VL(A ~D) = F
VL(A) = V
VL(~D) = F
VL(D) = V
![Page 123: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/123.jpg)
Resolução
Substituindo esse valores lógicos nas premissas obteremos:
VL(A (B v C) = V VL(A) = FVL(B ~A) = V VL(B) = FVL(D ~C) = V VL(~C) = V VL(C) = F
![Page 124: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/124.jpg)
Logo
Como gerou conflito no valor lógico da proposição A, temos que o argumento éVÁLIDO.
![Page 125: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/125.jpg)
Exercício – nº20
P: Pedro é pintorC: Carlos é cantorM: Mario é médicoS: Silvio é sociólogo
Premissa: P v C ~M ^ ~ S
![Page 126: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/126.jpg)
Negando...
![Page 127: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/127.jpg)
Alternativas
P ^ ~C M v SP ^ ~C M v ~SP ^ C M ^ ~SP ^ C M v S~P v C ~M ^ S
![Page 128: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/128.jpg)
Negando a conclusão:
• Vamos negar as alternativas, ou seja, as conclusões verificar qual é verdadeira:
VL(a)) = F VL(P^~C MvS) = F
VL(P^~C) = V VL(P)= V e VL(~C) = V VL(P) = V e VL(C) = FVL(MvS) = F VL(M) = F e VL(S) = F
![Page 129: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/129.jpg)
Substituindo esses valores lógicos na premissas verdadeiras, temos:
VL(P v C ~M ^ ~S) = V V F V V
V V
Resp: O argumento é inválido para letra A)
![Page 130: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/130.jpg)
b)
VL(P ^ ~ C M v ~S) = F
VL(P^~C) = V VL(P)= V e VL(~C) = V VL(P) = V e VL(C) = FVL(Mv~S) = F VL(M) = F e VL(~S) = F VL(M) = F e VL(S) = V
![Page 131: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/131.jpg)
Substituindo esses valores lógicos na premissas verdadeiras:
VL(P v ~C ~M ^ ~S) = VV F V F
V F
O argumento válido é a letra b)
![Page 132: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/132.jpg)
Diagramas...
![Page 133: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/133.jpg)
Exercício¹ - DIAGRAMA
Resposta
Da primeira premissa temos:
Contabilidade
OrçamentoJoão
![Page 134: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/134.jpg)
Exercício - DIAGRAMA
Resposta
Da segunda premissa temos:
Contabilidade
OrçamentoJoão
![Page 135: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/135.jpg)
Conclusão
Como João não pertence ao conjunto de contabilidade ele também não pertence ao conjunto de orçamento. Logo, João não sabe lidar com orçamento.
O argumento é VÁLIDO, ou seja, a afirmativa que o orçamento é inválido está ERRADA.
![Page 136: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/136.jpg)
Exercício² - DIAGRAMA
Resposta
Da primeira, segunda premissas, temos:
IMPOSTOS
Honesta
Carlos
Carlos
![Page 137: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/137.jpg)
Conclusões
![Page 138: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/138.jpg)
Conclusão
Da primeira premissa temos que o conjunto de pessoas honestas estácontido no conjunto de pessoas que pagam impostos. Da segunda premissa temos que Carlos pode está no conjunto das pessoas honestas ou fora dele. Logo não podemos concluir que Carlos é uma pessoa honesta, ou seja, a afirmativa que o argumento é válida está ERRADA.
![Page 139: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/139.jpg)
Tornando verdadeiras...
![Page 140: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/140.jpg)
Exercício¹
Resposta
As proposições envolvidas são:P: Lógica é fácil.Q: Sócrates foi mico de circo.
![Page 141: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/141.jpg)
Argumento
1º Premissas: P Q2º Premissas: ~ P_____________________Conclusão: ~ Q
![Page 142: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/142.jpg)
Resposta: Ao admitir, não conseguimos concluir.
Admitindo os valores lógicos das premissas são verdadeiras, temos:
![Page 143: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/143.jpg)
Mudando o método...
NEGANDO...
![Page 144: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/144.jpg)
Negando a conclusão, temos:
VL (~Q) = F VL (Q) = V
Substituindo nas premissas, temos:
VL(P Q) = VVL(~P) = V VL(P) = F
Como não gerou conflito, então o argumento éINVÁLIDO.
F V
![Page 145: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/145.jpg)
8 - Exercício
Todos cachorros tem asas.Todos os animais de asas são aquáticos.Existem gatos que são cachorros.Logo, existem gatos que são aquáticos.
![Page 146: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/146.jpg)
Diagrama
Cachorro
Asas
Aquáticos
Gatos
![Page 147: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/147.jpg)
Observação
NÃO ANILISAR AS PREPOSIÇÕES INDIVIDUALMENTES, TEM QUE
ESTUDAR O ARGUMENTO
![Page 148: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/148.jpg)
Sobre o argumento A, as premissas P e a conclusão C
Resposta:
A é válido, P e C são falsos.
![Page 149: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/149.jpg)
9 - Exercício
P: Se Soninha sorriQ: Silvia é miss simpatia
ARGUMENTO
P Q~P~Q
![Page 150: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/150.jpg)
Admitir a conclusão falso!
Admitindo o valor lógico da conclusão falso temos:
VL(~q) = F VL(q) = V
Analisando as premissas verdadeiras:
VL(p q) = VVL(~p) = V VL(p) = F
F V
![Page 151: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/151.jpg)
Logo
O argumento é inválido, pois negando a conclusão isso não gerou nenhum conflito.
![Page 152: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/152.jpg)
Observação - Alternativas
Não levar em conta as premissas individualmente, e sim o argumento.
DESCARTAR
![Page 153: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/153.jpg)
Observação
Sempre que o argumento é inválido, a conclusão não é decorrências das premissas.
![Page 154: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/154.jpg)
Exercício 05 a 08Chapeuzinho Vermelho
![Page 155: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/155.jpg)
05
Raposa: Ontem foi um dos meus dias de mentir
Lobo Ontem foi um dos meus dias de mentir
![Page 156: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/156.jpg)
Resolução
![Page 157: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/157.jpg)
Resposta
![Page 158: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/158.jpg)
06
Raposa: Eu menti ontem.Eu mentirei daqui a 3 dias.
![Page 159: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/159.jpg)
7
Raposa:
Eu menti ontem.Eu mentirei amanhã.
![Page 160: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/160.jpg)
![Page 161: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/161.jpg)
![Page 162: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/162.jpg)
![Page 163: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/163.jpg)
![Page 164: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/164.jpg)
![Page 165: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/165.jpg)
![Page 166: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/166.jpg)
![Page 167: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/167.jpg)
![Page 168: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/168.jpg)
![Page 169: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/169.jpg)
![Page 170: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/170.jpg)
![Page 171: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/171.jpg)
![Page 172: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/172.jpg)
![Page 173: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/173.jpg)
![Page 174: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/174.jpg)
![Page 175: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/175.jpg)
![Page 176: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/176.jpg)
![Page 177: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/177.jpg)
![Page 178: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/178.jpg)
![Page 179: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/179.jpg)
![Page 180: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/180.jpg)
![Page 181: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/181.jpg)
![Page 182: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/182.jpg)
![Page 183: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/183.jpg)
![Page 184: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/184.jpg)
![Page 185: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/185.jpg)
![Page 186: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/186.jpg)
![Page 187: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/187.jpg)
![Page 188: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/188.jpg)
![Page 189: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/189.jpg)
![Page 190: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/190.jpg)
![Page 191: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/191.jpg)
![Page 192: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/192.jpg)
![Page 193: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/193.jpg)
![Page 194: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/194.jpg)
![Page 195: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/195.jpg)
![Page 196: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/196.jpg)
![Page 197: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/197.jpg)
![Page 198: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/198.jpg)
![Page 199: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/199.jpg)
![Page 200: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/200.jpg)
![Page 201: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/201.jpg)
![Page 202: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/202.jpg)
![Page 203: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/203.jpg)
![Page 204: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/204.jpg)
![Page 205: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/205.jpg)
![Page 206: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/206.jpg)
![Page 207: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/207.jpg)
![Page 208: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/208.jpg)
![Page 209: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/209.jpg)
![Page 210: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/210.jpg)
![Page 211: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/211.jpg)
![Page 212: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/212.jpg)
![Page 213: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/213.jpg)
![Page 214: Caderno - Lógica](https://reader031.fdocument.pub/reader031/viewer/2022013121/547df254b4af9fa0158b551e/html5/thumbnails/214.jpg)