SlideShare une entreprise Scribd logo
1  sur  27
Télécharger pour lire hors ligne
1
Universidade Federal do Vale do São Francisco
Curso de Engenharia da Computação
Prof. Jorge Cavalcanti
jorge.cavalcanti@univasf.edu.br
www.univasf.edu.br/~jorge.cavalcanti
www.twitter.com/jorgecav
Matemática Discreta - 01
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
2
Matemática Discreta
 Apresentação da Disciplina
 Dicas de (boa) convivência acadêmica
 Conteúdo da Disciplina:
1. Introdução/Conceitos Básicos
2. Noções de Lógica
3. Demonstrações e teoremas.
4. Indução e Recursão
5. Teoria de conjuntos e cardinalidade de conjuntos
6. Conjuntos enumeráveis
7. Relações
8. Funções parciais e totais
9. Funções de Hash
10. Teoria dos Grafos e Árvores
11. Introdução a Álgebra de Boole
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
3
Matemática Discreta
 Avaliação: 3 + Final.
 Material disponibilizado na página
www.univasf.edu.br/ ~jorge.cavalcanti.
 Bibliografia:
 Básica
 Fundamentos Matemáticos para a Ciência
da Computação. Gersting, J. L., 5 Ed.,LTC.
 Complementar
 Matemática Discreta Uma Introdução.
Scheineman. E. R., Ed. Pioneira Thomson.
 Matemática Discreta. Menezes, P.B., 2 Ed.
Sagra Luzzato.
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
4
Introdução
 Por que “Matemática Discreta?”
 Discreto x contínuo (intervalo, números reais)
 Recursos computacionais finitos (conjuntos contáveis)
 Objetivos:
 Desenvolver a capacidade de raciocínio lógico-matemático;
 Obter uma visão abrangente de uma parte significativa da
computação;
 Aplicar os conceitos da disciplina como uma ferramenta
matemática para investigações e aplicações precisas em
computação;
 Abordar problemas aplicados e enfrentar ou propor com
naturalidade novas tecnologias.
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
5
Introdução
 Tratamento de Problemas:
Lógica
Teoremas
+
Demonstrações
Computação
Algoritmos
+
Implementações
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
6
Introdução à Lógica Formal
Conceitos Iniciais:
 A Lógica tem, por objeto de estudo, as leis gerais do pensamento,
e as formas de aplicar essas leis corretamente na investigação da
verdade.
 Aristóteles - filósofo grego - 342 a.C, sistematizou os
conhecimentos existentes em Lógica, elevando-os à categoria de
ciência.
 Em sua obra chamada Organum (“ferramenta para o correto
pensar”), estabeleceu princípios tão gerais e tão sólidos que até
hoje são considerados válidos.
 Para descrever o mundo, usamos sentenças declarativas tais
como:
i. Toda mãe ama seus filhos
ii. Maria é mãe e Paulo é Filho de Maria
 Aplicando algumas regras gerais de raciocínio, podemos
concluir a partir dessas afirmações:
iii. Maria ama Paulo
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
7
Introdução à Lógica Formal
Conceitos Iniciais:
 Proposição: É uma construção (frase, sentença,
pensamento) à qual se pode atribuir juízo.
 O juízo atribuído é que a sentença pode ser falsa ou
verdadeira.
 Ex.: Verificar se são proposições:
1. Dez é menor que sete.
2. Como está você?
3. 3 + 4 > 5
4. Existe vida em outras galáxias.
5. Parabéns!
 Proposições compostas: Duas ou mais proposições podem
ser agrupadas usando os conectivos lógicos.
 Linux é um sistema operacional e Java é uma linguagem de
programação.
 Vou comprar uma camisa azul ou branca.
 Se chover hoje, então não terá o show.
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
8
Introdução à Lógica Formal
 O conectivo lógico e é representado pelo símbolo  . A
expressão A  B é chamada de conjunção de A e B.
 As proposições são representadas por letras maiúsculas.
 Se A e B são proposições verdadeiras, então A  B deve ser
considerada verdadeira.
 Podemos então apresentar a tabela com os valores lógicos
de A  B para todos os valores lógicos possíveis dos
elementos A e B.
 Cada linha da tabela representa um possível valor lógico
associado a cada uma das letras de proposição e apresenta o
valor lógico resultante da expressão composta.
 Essa tabela é chamada de tabela verdade.
A B A  B
V V V
V F F
F V F
F F F
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
9
Introdução à Lógica Formal
 Um outro conectivo lógico é a palavra ou,
simbolizado por , que representa a disjunção.
 A tabela abaixo apresenta os valores lógicos de A
 B para todos os valores lógicos possíveis dos
elementos A e B.
  e  são conectivos lógicos binários, pois
juntam duas expressões.
A B A  B
V V V
V F V
F V V
F F F
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
10
Introdução à Lógica Formal
 A negação de uma proposição é construída colocando a
palavra não de forma apropriada ou prefixando-se a
proposição “não é fato que”.
 Brasil não é um país livre;
 Não é fato que o Windows seja um software livre.
 A negação de A é representada por A’ ou por ¬A (lida
como “não A”).
 A negação de uma proposição deve ser feita com cuidado.
Por exemplo:
A A’
V ?
F ?
Proposição Negação incorreta Negação Correta
Pedro é alto e magro Pedro é baixo e gordo Pedro é baixo ou gordo
Pedro não é alto ou
não é magro
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
11
Introdução à Lógica Formal
 Proposições podem ser combinadas na forma “se
proposição A, então proposição B”.
 O conectivo lógico é o condicional (ou implicação)
 A proposição composta é denotada por A  B (A implica B).
 A é a proposição antecedente e B é a proposição consequente.
 A proposição composta A  B é falsa quando A é verdadeira e
B é falsa. Caso contrário é verdadeira.
 A tabela verdade do conectivo condicional é a seguinte:
A B A  B B  A
V V V V
V F F V
F V V F
F F V V
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
12
Introdução à Lógica Formal
 O conectivo bi-condicional (ou equivalência)
é simbolizado por .
 A expressão A  B é uma abreviação de:
(A  B)  (B  A)
 Conforme a tabela abaixo, A  B é verdadeira
somente quando A e B têm os mesmos valores lógicos.
A B A  B B  A A  B
V V V V V
V F F V F
F V V F F
F F V V V
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
13
Introdução à Lógica Formal
 Resumindo...
 Para a compreensão do raciocínio lógico, a tabela abaixo é
essencial.
A B A  B B  A A  B A’
V V V V V F
V F F V F
F V V F F V
F F V V V
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
14
Introdução à Lógica Formal
Fórmulas Lógicas
 Podemos encadear letras de proposição, conectivos e
parênteses (colchetes), para forma novas expressões como:
(A  B)  (B  A)
 Uma cadeia deve formar uma expressão válida (fbf).
 Fórmulas atômicas são as que não podem ser decompostas
em proposições mais simples (A  B) .
 Ordem de precedência:
1. Conectivos dentro dos parênteses, do mais interno para o
mais externo.
2. Negação ‘
3. Conjunção  e Disjunção 
4. Condição 
5. Bicondição 
 Ex.: A  B’ = A  (B’) e não (A  B’)
 A  B  C = (A  B)  C e não A  (B  C)
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
15
Introdução à Lógica Formal
Fórmulas Lógicas
 Letras maiúsculas perto do final do alfabeto (P, Q, R, S) são
usadas para representar fbfs, para abstrairmos detalhes da
fórmula em dado momento:
((A  B)  C)  (B  C’)
Podemos representar simplesmente por
P  Q
 No caso acima, o conectivo principal é o  . Na construção
das tabelas verdade, esse conectivo aparece na última
coluna da tabela.
 Para se escrever tabelas verdades para qualquer fbf, a
partir dos seus componentes, deve-se explicitar todos os
valores lógicos possíveis das fórmulas.
 Para cada tabela, são necessárias 2n linhas, onde n é o
numero de fórmulas atômicas.
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
16
Introdução à Lógica Formal
Tabelas Verdade
 O número de linhas é igual ao número de
combinações V/F possíveis entre as letras da
proposição.
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
17
Introdução à Lógica Formal
Tabelas Verdade
 Ex 01. Construir a tabela-verdade para a fórmula:
A  B’  (A  B)’
 Conectivo principal : 
 Número de linhas: 22 = 4
 Fazendo P = A  B’ e Q =(A  B)’
A B B’ A  B’ A  B (A  B)’ P  Q
V V
V F
F V
F F
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
18
Introdução à Lógica Formal
Tabelas Verdade
 Ex 02. Construir a tabela-verdade para a fórmula:
(A  B)  (B  A)
 Conectivo principal : 
 Número de linhas: 22 = 4
 Fazendo P = (A  B) e Q =(B  A)
A B A  B B  A P  Q
V V
V F
F V
F F
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
19
Introdução à Lógica Formal
Tabelas Verdade
 Ex 03. Construir a tabela-verdade para a fórmula:
(A  A’)  (B  B’)
 Conectivo principal :
 Número de linhas:
 Fazendo P = e Q =
A B
V V
V F
F V
F F
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
20
Introdução à Lógica Formal
Tabelas Verdade
 Ex 04. Construir a tabela-verdade para a fórmula:
(A  B)  (B’  A’)
 Conectivo principal :
 Número de linhas:
 Fazendo P = e Q =
A B
V V
V F
F V
F F
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
21
Introdução à Lógica Formal
Tautologia e Contradição
 Uma fbf que assume sempre o valor V (Ex.:04) é
denominada de tautologia.
 O exemplo mais simples de uma tautologia é A  A’
 Podemos representar pelo valor 1
 Uma fbf cujo valor lógico é sempre falso (Ex.: 03)
é uma contradição.
 O exemplo mais simples de uma contradição é A  A’
 Podemos representar pelo valor 0
 Se P  Q for uma tautologia, P e Q são ditas
equivalentes, denotando essa propriedade por:
P  Q.
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
22
Introdução à Lógica Formal
Equivalências Tautológicas
 Note que em 2a e 2b podemos escrever a fórmula
sem a necessidade de parênteses.
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
23
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
24
Introdução à Lógica Formal
Leis de De Morgan
 Duas equivalências adicionais muito úteis foram
enunciadas pelo matemático inglês Augusto de
Morgan (Séc XIX).
(A  B)’  A’  B’
(A  B)’  A’  B’
 Importante!! Resolver exercícios livro-texto.
Introdução à Lógica Formal
25
Composição de Proposições
 É possível construir proposições a partir de
proposições já existentes. Este processo é
conhecido por Composição de Proposições.
 Suponha que tenhamos duas proposições:
A = "Maria tem 23 anos"
B = "Maria é alta"
Introdução à Lógica Formal
26
"Maria não tem 23 anos" A’
"Maria não é alta“ B’
"Maria tem 23 anos" e "Maria é alta" A  B
"Maria tem 23 anos" ou "Maria é alta"
"Maria não tem 23 anos" e "Maria é alta"
"Maria não tem 23 anos" ou "Maria é alta"
"Maria tem 23 anos" ou "Maria não é alta"
"Maria tem 23 anos" e "Maria não é alta"
Se "Maria tem 23 anos" então "Maria é alta"
Se "Maria não tem 23 anos" então "Maria é alta"
"Maria não tem 23 anos" e "Maria é alta"
"Maria tem 1,50m " é equivalente a "Maria não é alta“
Composição de Proposições
Matemática Discreta - Prof. Jorge Cavalcanti - Univasf
27
Introdução à Lógica Formal
Conectivos Lógicos no Mundo Real
 O uso de conectivos é a base para construção de
circuitos lógicos digitais.
 O uso adequado de conectivos pode facilitar
buscas em mecanismos de busca na rede, assim
como restringir os inúmeros resultados.
 Ex: carros usados
 “carros usados”
 “carros usados” e Ford
 “carros usados” e (Ford ou Fiat) e Não caminhões
 Ver Google QuickRef (Links na pagina pessoal ou
http://migre.me/4yCB)
 Os conectivos lógicos E (and), OU (or) e NÃO
(Not) estão disponíveis em muitas linguagens de
programação.

Contenu connexe

Tendances

Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica ProposicionalAdolfo Neto
 
Raciocinio logico simplificado_principai
Raciocinio logico simplificado_principaiRaciocinio logico simplificado_principai
Raciocinio logico simplificado_principaiDani Brasil
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica MatemáticaGomes Gomes
 
Proposições condicionais e bicondicionais
Proposições condicionais e bicondicionaisProposições condicionais e bicondicionais
Proposições condicionais e bicondicionaisSérgio de Castro
 
Aula 06 diagramas lógicos
Aula 06   diagramas lógicosAula 06   diagramas lógicos
Aula 06 diagramas lógicosJ M
 
Aula introdução à lógica matemática
Aula introdução à lógica matemáticaAula introdução à lógica matemática
Aula introdução à lógica matemáticaAristóteles Meneses
 
Aula 7 expressão regular
Aula 7   expressão regularAula 7   expressão regular
Aula 7 expressão regularwab030
 
Logica computacional
Logica computacionalLogica computacional
Logica computacionalJota Thin
 
Resumo a lógica matemática para concursos
Resumo a lógica matemática para concursosResumo a lógica matemática para concursos
Resumo a lógica matemática para concursosLuiz Ladeira
 
Introdução á lógica
Introdução á lógicaIntrodução á lógica
Introdução á lógicaIhane Soares
 
Aula 3 linguagens e gramaticas
Aula 3   linguagens e gramaticasAula 3   linguagens e gramaticas
Aula 3 linguagens e gramaticaswab030
 
Raciocinio logico quantitativo
Raciocinio logico quantitativoRaciocinio logico quantitativo
Raciocinio logico quantitativoJennifer Oliveira
 
67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematicaafpinto
 

Tendances (20)

Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Raciocinio logico simplificado_principai
Raciocinio logico simplificado_principaiRaciocinio logico simplificado_principai
Raciocinio logico simplificado_principai
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Proposições condicionais e bicondicionais
Proposições condicionais e bicondicionaisProposições condicionais e bicondicionais
Proposições condicionais e bicondicionais
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Raciocinio logico-parte 01-aep-trf5
Raciocinio logico-parte 01-aep-trf5Raciocinio logico-parte 01-aep-trf5
Raciocinio logico-parte 01-aep-trf5
 
Aula 06 diagramas lógicos
Aula 06   diagramas lógicosAula 06   diagramas lógicos
Aula 06 diagramas lógicos
 
Aula introdução à lógica matemática
Aula introdução à lógica matemáticaAula introdução à lógica matemática
Aula introdução à lógica matemática
 
Aula 7 expressão regular
Aula 7   expressão regularAula 7   expressão regular
Aula 7 expressão regular
 
Raciocinio logico smf
Raciocinio logico smfRaciocinio logico smf
Raciocinio logico smf
 
Caderno - Lógica
Caderno - LógicaCaderno - Lógica
Caderno - Lógica
 
Logica computacional
Logica computacionalLogica computacional
Logica computacional
 
Resumo a lógica matemática para concursos
Resumo a lógica matemática para concursosResumo a lógica matemática para concursos
Resumo a lógica matemática para concursos
 
Introdução á lógica
Introdução á lógicaIntrodução á lógica
Introdução á lógica
 
Aula 3 linguagens e gramaticas
Aula 3   linguagens e gramaticasAula 3   linguagens e gramaticas
Aula 3 linguagens e gramaticas
 
Raciocinio logico quantitativo
Raciocinio logico quantitativoRaciocinio logico quantitativo
Raciocinio logico quantitativo
 
Raciocinio lógico quantitativo.pdf
Raciocinio lógico quantitativo.pdfRaciocinio lógico quantitativo.pdf
Raciocinio lógico quantitativo.pdf
 
67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 

En vedette

Atividades - Matemática discreta
Atividades - Matemática discretaAtividades - Matemática discreta
Atividades - Matemática discretaluiz10filho
 
Exercicios resolvidos
Exercicios resolvidosExercicios resolvidos
Exercicios resolvidosBrunna Vilar
 
Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematicawab030
 
Aula 3 analise combinatoria
Aula 3   analise combinatoriaAula 3   analise combinatoria
Aula 3 analise combinatoriawab030
 
Aula 1 Apresentação da disciplina e metodologia de trabalho. matematica dis...
Aula 1   Apresentação da disciplina e metodologia de trabalho. matematica dis...Aula 1   Apresentação da disciplina e metodologia de trabalho. matematica dis...
Aula 1 Apresentação da disciplina e metodologia de trabalho. matematica dis...wab030
 
Aula 4 - Resumo de Análise Combinatória
Aula 4 - Resumo de Análise CombinatóriaAula 4 - Resumo de Análise Combinatória
Aula 4 - Resumo de Análise Combinatóriawab030
 
Matematica discreta uma introducao edward r scheinerman
Matematica discreta uma introducao   edward r scheinermanMatematica discreta uma introducao   edward r scheinerman
Matematica discreta uma introducao edward r scheinermanArtur Câncio
 
Como criar slides fantásticos
Como criar slides fantásticosComo criar slides fantásticos
Como criar slides fantásticosFelipe Faias
 
Gestar II TP3
Gestar II TP3Gestar II TP3
Gestar II TP3Jomari
 
Faça Apresentações! Não Faça Slides!
Faça Apresentações! Não Faça Slides!Faça Apresentações! Não Faça Slides!
Faça Apresentações! Não Faça Slides!Victor Gonçalves
 

En vedette (13)

Atividades - Matemática discreta
Atividades - Matemática discretaAtividades - Matemática discreta
Atividades - Matemática discreta
 
Exercicios resolvidos
Exercicios resolvidosExercicios resolvidos
Exercicios resolvidos
 
Estatísticas
EstatísticasEstatísticas
Estatísticas
 
Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematica
 
Aula 3 analise combinatoria
Aula 3   analise combinatoriaAula 3   analise combinatoria
Aula 3 analise combinatoria
 
Aula 1 Apresentação da disciplina e metodologia de trabalho. matematica dis...
Aula 1   Apresentação da disciplina e metodologia de trabalho. matematica dis...Aula 1   Apresentação da disciplina e metodologia de trabalho. matematica dis...
Aula 1 Apresentação da disciplina e metodologia de trabalho. matematica dis...
 
Aula 4 - Resumo de Análise Combinatória
Aula 4 - Resumo de Análise CombinatóriaAula 4 - Resumo de Análise Combinatória
Aula 4 - Resumo de Análise Combinatória
 
Matematica discreta uma introducao edward r scheinerman
Matematica discreta uma introducao   edward r scheinermanMatematica discreta uma introducao   edward r scheinerman
Matematica discreta uma introducao edward r scheinerman
 
10 SUPER DICAS em Powerpoint
10 SUPER DICAS em Powerpoint10 SUPER DICAS em Powerpoint
10 SUPER DICAS em Powerpoint
 
Como criar slides fantásticos
Como criar slides fantásticosComo criar slides fantásticos
Como criar slides fantásticos
 
Gestar II TP3
Gestar II TP3Gestar II TP3
Gestar II TP3
 
Faça Apresentações! Não Faça Slides!
Faça Apresentações! Não Faça Slides!Faça Apresentações! Não Faça Slides!
Faça Apresentações! Não Faça Slides!
 
PROFINET - SIEMENS
PROFINET - SIEMENSPROFINET - SIEMENS
PROFINET - SIEMENS
 

Similaire à Mat disc parte01

Parte 01 rac_log_aep_pf_weber
Parte 01 rac_log_aep_pf_weberParte 01 rac_log_aep_pf_weber
Parte 01 rac_log_aep_pf_weberKellvin Jordan
 
Apostila raciocinio lógico
Apostila raciocinio lógicoApostila raciocinio lógico
Apostila raciocinio lógicoLu Gomes
 
Paulohenrique raciocinio-completo-026
Paulohenrique raciocinio-completo-026Paulohenrique raciocinio-completo-026
Paulohenrique raciocinio-completo-026macielneto
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosLizandra Guarnieri Gomes
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosiran rodrigues
 
Apostila de Raxioxínio Lógico. Polícia Federal
Apostila de Raxioxínio Lógico. Polícia FederalApostila de Raxioxínio Lógico. Polícia Federal
Apostila de Raxioxínio Lógico. Polícia FederalAdeilson14
 
APOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdf
APOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdfAPOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdf
APOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdfMatheusAlves240530
 
Apostila proposicoes-tabelas-verdade-conectivos-logicos
Apostila proposicoes-tabelas-verdade-conectivos-logicosApostila proposicoes-tabelas-verdade-conectivos-logicos
Apostila proposicoes-tabelas-verdade-conectivos-logicosFernando Sousa
 
Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestre
Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestreApostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestre
Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestreMaria de Lourdes Lourenço
 
Resumo de Raciocínio Lógico p/ Concurso INSS 2016
Resumo de Raciocínio Lógico p/ Concurso INSS 2016Resumo de Raciocínio Lógico p/ Concurso INSS 2016
Resumo de Raciocínio Lógico p/ Concurso INSS 2016Estratégia Concursos
 
Apostila raciocínio lógico
Apostila raciocínio lógicoApostila raciocínio lógico
Apostila raciocínio lógicoThulio Cesar
 
Apostila raciocínio lógico
Apostila raciocínio lógicoApostila raciocínio lógico
Apostila raciocínio lógicorphasaigg
 
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)Lizandra Guarnieri Gomes
 

Similaire à Mat disc parte01 (20)

Bizu Concurso
Bizu ConcursoBizu Concurso
Bizu Concurso
 
Parte 01 rac_log_aep_pf_weber
Parte 01 rac_log_aep_pf_weberParte 01 rac_log_aep_pf_weber
Parte 01 rac_log_aep_pf_weber
 
Apostila raciocinio lógico
Apostila raciocinio lógicoApostila raciocinio lógico
Apostila raciocinio lógico
 
Paulohenrique raciocinio-completo-026
Paulohenrique raciocinio-completo-026Paulohenrique raciocinio-completo-026
Paulohenrique raciocinio-completo-026
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Apostila logica equivalencias-logicas
Apostila logica equivalencias-logicasApostila logica equivalencias-logicas
Apostila logica equivalencias-logicas
 
Rac. lógico
Rac. lógicoRac. lógico
Rac. lógico
 
Apostila de Raxioxínio Lógico. Polícia Federal
Apostila de Raxioxínio Lógico. Polícia FederalApostila de Raxioxínio Lógico. Polícia Federal
Apostila de Raxioxínio Lógico. Polícia Federal
 
APOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdf
APOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdfAPOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdf
APOSTILA_LOGICA-PROPOSICOES-CONECTIVOS-TABELA-VERDADE.pdf
 
Apostila proposicoes-tabelas-verdade-conectivos-logicos
Apostila proposicoes-tabelas-verdade-conectivos-logicosApostila proposicoes-tabelas-verdade-conectivos-logicos
Apostila proposicoes-tabelas-verdade-conectivos-logicos
 
Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestre
Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestreApostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestre
Apostila logica proposicoes-conectivos-tabela-verdade 6 ano 2 bimestre
 
Resumo de Raciocínio Lógico p/ Concurso INSS 2016
Resumo de Raciocínio Lógico p/ Concurso INSS 2016Resumo de Raciocínio Lógico p/ Concurso INSS 2016
Resumo de Raciocínio Lógico p/ Concurso INSS 2016
 
Raciocínio lógico
Raciocínio lógicoRaciocínio lógico
Raciocínio lógico
 
Apostila raciocã­nio lã³gico
Apostila raciocã­nio lã³gicoApostila raciocã­nio lã³gico
Apostila raciocã­nio lã³gico
 
Apostila raciocínio lógico
Apostila raciocínio lógicoApostila raciocínio lógico
Apostila raciocínio lógico
 
Apostila raciocínio lógico
Apostila raciocínio lógicoApostila raciocínio lógico
Apostila raciocínio lógico
 
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)
Apostila trf-2-regiao-raciocinio-logico-edgar-abreu (1)
 
Raciocínio lógico parte 1
Raciocínio lógico   parte 1Raciocínio lógico   parte 1
Raciocínio lógico parte 1
 
24 120
24 12024 120
24 120
 

Mat disc parte01

  • 1. 1 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav Matemática Discreta - 01
  • 2. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 2 Matemática Discreta  Apresentação da Disciplina  Dicas de (boa) convivência acadêmica  Conteúdo da Disciplina: 1. Introdução/Conceitos Básicos 2. Noções de Lógica 3. Demonstrações e teoremas. 4. Indução e Recursão 5. Teoria de conjuntos e cardinalidade de conjuntos 6. Conjuntos enumeráveis 7. Relações 8. Funções parciais e totais 9. Funções de Hash 10. Teoria dos Grafos e Árvores 11. Introdução a Álgebra de Boole
  • 3. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 3 Matemática Discreta  Avaliação: 3 + Final.  Material disponibilizado na página www.univasf.edu.br/ ~jorge.cavalcanti.  Bibliografia:  Básica  Fundamentos Matemáticos para a Ciência da Computação. Gersting, J. L., 5 Ed.,LTC.  Complementar  Matemática Discreta Uma Introdução. Scheineman. E. R., Ed. Pioneira Thomson.  Matemática Discreta. Menezes, P.B., 2 Ed. Sagra Luzzato.
  • 4. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 4 Introdução  Por que “Matemática Discreta?”  Discreto x contínuo (intervalo, números reais)  Recursos computacionais finitos (conjuntos contáveis)  Objetivos:  Desenvolver a capacidade de raciocínio lógico-matemático;  Obter uma visão abrangente de uma parte significativa da computação;  Aplicar os conceitos da disciplina como uma ferramenta matemática para investigações e aplicações precisas em computação;  Abordar problemas aplicados e enfrentar ou propor com naturalidade novas tecnologias.
  • 5. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 5 Introdução  Tratamento de Problemas: Lógica Teoremas + Demonstrações Computação Algoritmos + Implementações
  • 6. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 6 Introdução à Lógica Formal Conceitos Iniciais:  A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade.  Aristóteles - filósofo grego - 342 a.C, sistematizou os conhecimentos existentes em Lógica, elevando-os à categoria de ciência.  Em sua obra chamada Organum (“ferramenta para o correto pensar”), estabeleceu princípios tão gerais e tão sólidos que até hoje são considerados válidos.  Para descrever o mundo, usamos sentenças declarativas tais como: i. Toda mãe ama seus filhos ii. Maria é mãe e Paulo é Filho de Maria  Aplicando algumas regras gerais de raciocínio, podemos concluir a partir dessas afirmações: iii. Maria ama Paulo
  • 7. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 7 Introdução à Lógica Formal Conceitos Iniciais:  Proposição: É uma construção (frase, sentença, pensamento) à qual se pode atribuir juízo.  O juízo atribuído é que a sentença pode ser falsa ou verdadeira.  Ex.: Verificar se são proposições: 1. Dez é menor que sete. 2. Como está você? 3. 3 + 4 > 5 4. Existe vida em outras galáxias. 5. Parabéns!  Proposições compostas: Duas ou mais proposições podem ser agrupadas usando os conectivos lógicos.  Linux é um sistema operacional e Java é uma linguagem de programação.  Vou comprar uma camisa azul ou branca.  Se chover hoje, então não terá o show.
  • 8. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 8 Introdução à Lógica Formal  O conectivo lógico e é representado pelo símbolo  . A expressão A  B é chamada de conjunção de A e B.  As proposições são representadas por letras maiúsculas.  Se A e B são proposições verdadeiras, então A  B deve ser considerada verdadeira.  Podemos então apresentar a tabela com os valores lógicos de A  B para todos os valores lógicos possíveis dos elementos A e B.  Cada linha da tabela representa um possível valor lógico associado a cada uma das letras de proposição e apresenta o valor lógico resultante da expressão composta.  Essa tabela é chamada de tabela verdade. A B A  B V V V V F F F V F F F F
  • 9. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 9 Introdução à Lógica Formal  Um outro conectivo lógico é a palavra ou, simbolizado por , que representa a disjunção.  A tabela abaixo apresenta os valores lógicos de A  B para todos os valores lógicos possíveis dos elementos A e B.   e  são conectivos lógicos binários, pois juntam duas expressões. A B A  B V V V V F V F V V F F F
  • 10. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 10 Introdução à Lógica Formal  A negação de uma proposição é construída colocando a palavra não de forma apropriada ou prefixando-se a proposição “não é fato que”.  Brasil não é um país livre;  Não é fato que o Windows seja um software livre.  A negação de A é representada por A’ ou por ¬A (lida como “não A”).  A negação de uma proposição deve ser feita com cuidado. Por exemplo: A A’ V ? F ? Proposição Negação incorreta Negação Correta Pedro é alto e magro Pedro é baixo e gordo Pedro é baixo ou gordo Pedro não é alto ou não é magro
  • 11. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 11 Introdução à Lógica Formal  Proposições podem ser combinadas na forma “se proposição A, então proposição B”.  O conectivo lógico é o condicional (ou implicação)  A proposição composta é denotada por A  B (A implica B).  A é a proposição antecedente e B é a proposição consequente.  A proposição composta A  B é falsa quando A é verdadeira e B é falsa. Caso contrário é verdadeira.  A tabela verdade do conectivo condicional é a seguinte: A B A  B B  A V V V V V F F V F V V F F F V V
  • 12. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 12 Introdução à Lógica Formal  O conectivo bi-condicional (ou equivalência) é simbolizado por .  A expressão A  B é uma abreviação de: (A  B)  (B  A)  Conforme a tabela abaixo, A  B é verdadeira somente quando A e B têm os mesmos valores lógicos. A B A  B B  A A  B V V V V V V F F V F F V V F F F F V V V
  • 13. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 13 Introdução à Lógica Formal  Resumindo...  Para a compreensão do raciocínio lógico, a tabela abaixo é essencial. A B A  B B  A A  B A’ V V V V V F V F F V F F V V F F V F F V V V
  • 14. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 14 Introdução à Lógica Formal Fórmulas Lógicas  Podemos encadear letras de proposição, conectivos e parênteses (colchetes), para forma novas expressões como: (A  B)  (B  A)  Uma cadeia deve formar uma expressão válida (fbf).  Fórmulas atômicas são as que não podem ser decompostas em proposições mais simples (A  B) .  Ordem de precedência: 1. Conectivos dentro dos parênteses, do mais interno para o mais externo. 2. Negação ‘ 3. Conjunção  e Disjunção  4. Condição  5. Bicondição   Ex.: A  B’ = A  (B’) e não (A  B’)  A  B  C = (A  B)  C e não A  (B  C)
  • 15. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 15 Introdução à Lógica Formal Fórmulas Lógicas  Letras maiúsculas perto do final do alfabeto (P, Q, R, S) são usadas para representar fbfs, para abstrairmos detalhes da fórmula em dado momento: ((A  B)  C)  (B  C’) Podemos representar simplesmente por P  Q  No caso acima, o conectivo principal é o  . Na construção das tabelas verdade, esse conectivo aparece na última coluna da tabela.  Para se escrever tabelas verdades para qualquer fbf, a partir dos seus componentes, deve-se explicitar todos os valores lógicos possíveis das fórmulas.  Para cada tabela, são necessárias 2n linhas, onde n é o numero de fórmulas atômicas.
  • 16. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 16 Introdução à Lógica Formal Tabelas Verdade  O número de linhas é igual ao número de combinações V/F possíveis entre as letras da proposição.
  • 17. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 17 Introdução à Lógica Formal Tabelas Verdade  Ex 01. Construir a tabela-verdade para a fórmula: A  B’  (A  B)’  Conectivo principal :   Número de linhas: 22 = 4  Fazendo P = A  B’ e Q =(A  B)’ A B B’ A  B’ A  B (A  B)’ P  Q V V V F F V F F
  • 18. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 18 Introdução à Lógica Formal Tabelas Verdade  Ex 02. Construir a tabela-verdade para a fórmula: (A  B)  (B  A)  Conectivo principal :   Número de linhas: 22 = 4  Fazendo P = (A  B) e Q =(B  A) A B A  B B  A P  Q V V V F F V F F
  • 19. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 19 Introdução à Lógica Formal Tabelas Verdade  Ex 03. Construir a tabela-verdade para a fórmula: (A  A’)  (B  B’)  Conectivo principal :  Número de linhas:  Fazendo P = e Q = A B V V V F F V F F
  • 20. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 20 Introdução à Lógica Formal Tabelas Verdade  Ex 04. Construir a tabela-verdade para a fórmula: (A  B)  (B’  A’)  Conectivo principal :  Número de linhas:  Fazendo P = e Q = A B V V V F F V F F
  • 21. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 21 Introdução à Lógica Formal Tautologia e Contradição  Uma fbf que assume sempre o valor V (Ex.:04) é denominada de tautologia.  O exemplo mais simples de uma tautologia é A  A’  Podemos representar pelo valor 1  Uma fbf cujo valor lógico é sempre falso (Ex.: 03) é uma contradição.  O exemplo mais simples de uma contradição é A  A’  Podemos representar pelo valor 0  Se P  Q for uma tautologia, P e Q são ditas equivalentes, denotando essa propriedade por: P  Q.
  • 22. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 22 Introdução à Lógica Formal Equivalências Tautológicas  Note que em 2a e 2b podemos escrever a fórmula sem a necessidade de parênteses.
  • 23. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 23
  • 24. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 24 Introdução à Lógica Formal Leis de De Morgan  Duas equivalências adicionais muito úteis foram enunciadas pelo matemático inglês Augusto de Morgan (Séc XIX). (A  B)’  A’  B’ (A  B)’  A’  B’  Importante!! Resolver exercícios livro-texto.
  • 25. Introdução à Lógica Formal 25 Composição de Proposições  É possível construir proposições a partir de proposições já existentes. Este processo é conhecido por Composição de Proposições.  Suponha que tenhamos duas proposições: A = "Maria tem 23 anos" B = "Maria é alta"
  • 26. Introdução à Lógica Formal 26 "Maria não tem 23 anos" A’ "Maria não é alta“ B’ "Maria tem 23 anos" e "Maria é alta" A  B "Maria tem 23 anos" ou "Maria é alta" "Maria não tem 23 anos" e "Maria é alta" "Maria não tem 23 anos" ou "Maria é alta" "Maria tem 23 anos" ou "Maria não é alta" "Maria tem 23 anos" e "Maria não é alta" Se "Maria tem 23 anos" então "Maria é alta" Se "Maria não tem 23 anos" então "Maria é alta" "Maria não tem 23 anos" e "Maria é alta" "Maria tem 1,50m " é equivalente a "Maria não é alta“ Composição de Proposições
  • 27. Matemática Discreta - Prof. Jorge Cavalcanti - Univasf 27 Introdução à Lógica Formal Conectivos Lógicos no Mundo Real  O uso de conectivos é a base para construção de circuitos lógicos digitais.  O uso adequado de conectivos pode facilitar buscas em mecanismos de busca na rede, assim como restringir os inúmeros resultados.  Ex: carros usados  “carros usados”  “carros usados” e Ford  “carros usados” e (Ford ou Fiat) e Não caminhões  Ver Google QuickRef (Links na pagina pessoal ou http://migre.me/4yCB)  Os conectivos lógicos E (and), OU (or) e NÃO (Not) estão disponíveis em muitas linguagens de programação.