SlideShare a Scribd company logo
1 of 36
ANHANGUERA – 2016.2
LÓGICA E MATEMÁTICA COMPUTACIONAL
AULA 02 – LÓGICA PROPOSICIONAL
Prof. Thomás da Costa
thomascosta@aedu.com
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Introdução
Qual a resposta do problema abaixo?:
LÓGICA PROPOSICIONAL
79 !!! Mas é lógico !!!
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Introdução
Qual a resposta do problema abaixo?:
LÓGICA PROPOSICIONAL
90 !!! Mas é lógico !!!
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Introdução
Qual a resposta do problema abaixo?:
LÓGICA PROPOSICIONAL
15 !!! Mas é lógico !!!
http://www.matematicagenial.com/2017/07/desafio-maioria-erra-qual-e-o-resultado.html
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
• Para chegar na resolução do problema anterior, analisamos as respostas
anteriores e verificamos qual a lógica utilizada na solução de cada equação.
• Para isso utilizamos o pensamento lógico.
• A lógica tem objetivo de resolver problemas.
• Na computação a lógica é a base de tudo.
• Lógica e o raciocínio lógico irão nos ajudar em quase todos os problemas
computacionais e até mesmo no nosso dia-a-dia.
Introdução
Analisando a resposta:
LÓGICA PROPOSICIONAL
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
• Em circuitos eletrônicos, encontrados em celulares, computadores, TVs,
videogames e etc.
• Desenvolvimento de algoritmos, principalmente programas de computador,
celulares, jogos e etc.
Introdução
Onde utilizamos a lógica:
LÓGICA PROPOSICIONAL
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Lógica
Definição:
LÓGICA PROPOSICIONAL
Lógica é a analise de métodos e formas de raciocínio, para resolver um
problema. Além disso, tem como objetivo efetuar a verificação da verdade ou
falsidade de um determinado pensamento.
Por exemplo:
Todo cão late. Montanha é um cão. Portanto, Montanha late.
Todo aluno estuda. Clark é um aluno. Portanto, Clark estuda.
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Proposições
Leia a frase abaixo:
LÓGICA PROPOSICIONAL
Brasília é a capital do Brasil.
VERDADEIRO !!!
É uma proposição !!!
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
É uma frase declarativa que tem como objetivo indicar uma informação
verdadeira ou falsa. As proposições podem ser simples ou compostas de acordo
com o problema.
Proposições
O que é:
LÓGICA PROPOSICIONAL
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
• Simples.
• Compostas.
• Podem ser verdadeiras ou falsas.
• Princípio do Terceiro Excluído:
• Uma proposição é verdadeira ou falsa, não existe uma terceira
possibilidade.
• Principio da Não-Contradição:
• Uma proposição não é verdadeira e falsa ao mesmo tempo.
Mais detalhes:
LÓGICA PROPOSICIONAL
Proposições
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
2 + 2 = 4
VERDADEIRO
5 = 1
FALSO
28 > 29
FALSO
Exemplos:
LÓGICA PROPOSICIONAL
Proposições
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Exemplos:
LÓGICA PROPOSICIONAL
Proposições
Playstation 4 é um videogame.
VERDADEIRO
Barack Obama é o presidente do Brasil.
FALSO
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Exemplos:
LÓGICA PROPOSICIONAL
Proposições
Ele é jogador de basquete
Não é proposição.
Não temos referência da pessoa que estamos
indicando.
x + y – z = 10
Não é proposição.
Não sabemos os valores de x, y e z.
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Não é proposição:
LÓGICA PROPOSICIONAL
Proposições
• Frases interrogativas:
Qual a sua idade?
• Frases imperativas:
Tenha um bom dia!
• Paradoxos Lógicos:
Esta frase é falsa.
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Simples:
LÓGICA PROPOSICIONAL
Proposições
• Formado somente por uma proposição.
• Exemplo:
• 2 + 3 = 5
• 5 < 1
• Carlos é jornalista.
Compostas:
• É a combinação de duas ou mais proposições.
• Exemplo:
• Maria é aluna universitária e estuda na Faculdade Anhanguera.
• Se Jill estuda então ela é aprovado na disciplina.
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Exemplos:
LÓGICA PROPOSICIONAL
Proposições
A. O mercúrio é mais pesado que a água.
B. O Sol gira em torno da Terra.
C. A Lua é um satélite da Terra.
D. O Campus de Marte é uma unidade da Anhanguera.
E. Recife é a capital de Pernambuco.
F. Vasco da Gama descobriu o Brasil.
G. Pedro é estudante.
H. Carlos é careca.
I. O saldo da conta corrente é positivo.
J. Rafael estuda Algoritmos.
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Exemplos:
LÓGICA PROPOSICIONAL
Proposições
A. Sol é verde.
B. Todo número divisível por 5 termina em 5.
C. José é estudante do 1º semestre e Roberto é estudante do 2º semestre.
D. Carlos é careca e Pedro é estudante.
E. Carlos é careca ou Pedro é estudante.
F. Se José é estudante do 1º semestre então ele começou no segundo ano.
G. Numero 2 é impar e o numero 7 é impar.
H. Se Ralf programa em Java então ele é um desenvolvedor.
I. Se x > 0 então y = 2
J. Se João trabalha e não falta então recebe salário no final do mês.
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
LÓGICA PROPOSICIONAL
Proposições
Exercícios:
Quais das sentenças a seguir são proposições?
a) Abra a porta.
b) Excelente apresentação!
c) A semana começa no domingo.
d) Tóquio é a capital de qual país?
e) Saturno é um planeta do sistema solar.
f) Fiesta é um carro da Ford.
g) Muito Obrigado.
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Vamos analisar as proposições abaixo:
LÓGICA PROPOSICIONAL
Conectivos
Frase Símbolo
Está chovendo p
A rua está molhada q
Se está chovendo, então a rua está molhada p → q
• As proposições são representadas pelos símbolos p e q.
• O símbolo → é um conectivo.
• Cada conectivo possui uma tabela verdade indicando possíveis resultados.
• O conectivo do nosso exemplo é conhecido como condicional.
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Alfabeto e simbologia:
LÓGICA PROPOSICIONAL
Conectivos
A Lógica Proposicional é formado de símbolos e conectivos:
Descrição Símbolos
Símbolo Lógico VERDADEIRO, FALSO, TRUE ou FALSE
Proposições Simples p,q,r,s
Proposições Compostas P,Q,R,S
Conectivos ¬ (negação), ˄ (e), ˅ (ou), → (se,
então) e ↔ (se e somente se)
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Símbolo Leitura Operação Exemplo
¬ NÃO (NOT) Negação ¬p
˄ E (AND) Conjunção p˄q
˅ OU (OR) Disjunção p˅q
→ SE ... ENTÃO Condicional p→q
↔ SE E SOMENTE SE Bi condicional p↔q
Os conectivos:
LÓGICA PROPOSICIONAL
Conectivos
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Tabela Verdade:
LÓGICA PROPOSICIONAL
Conectivos
É uma tabela que indica os possíveis valores das proposições simples,
resultando em um valor para a proposição composta.
Vamos estudar os conectivos e suas
respectivas tabelas verdades !!!
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Negação (NÃO – NOT):
LÓGICA PROPOSICIONAL
Conectivos
É quando o valor de uma proposição é o seu valor oposto. Representado pelo
símbolo ¬.
¬p
Negação
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Negação (NÃO – NOT):
LÓGICA PROPOSICIONAL
Conectivos
p ¬p
V F
F V
p Chris é rico
¬p Chris é pobre
Exemplo:
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
LÓGICA PROPOSICIONAL
Conectivos
Os valores das proposições devem ser ambos verdadeiros para que o resultado
seja verdadeiro. Representado pelo símbolo ˄.
Conjunção (E – AND):
p ˄ q
Conjunção
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Conjunção (E – AND):
LÓGICA PROPOSICIONAL
Conectivos
p q p˄q
V V V
V F F
F V F
F F F
Exemplo:
p Chris é rico
q Chris é feliz
p˄q Chris é rico e feliz
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Disjunção (OU – OR):
LÓGICA PROPOSICIONAL
Conectivos
Os valores das proposições devem possuir somente uma sentença verdadeira
para que o resultado seja verdadeiro. Representado pelo símbolo ˅.
p ˅ q
Disjunção
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Disjunção (OU – OR):
LÓGICA PROPOSICIONAL
Conectivos
p q p˅q
V V V
V F V
F V V
F F F
Exemplo:
p Chris é rico
q Chris é feliz
p˅q Chris é rico ou é feliz
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Condicional:
LÓGICA PROPOSICIONAL
Conectivos
Quando o valor de umas das proposições é verdadeiro e a outra é falsa, o
resultado é falso. Os demais são verdadeiros. Representado pelo símbolo →
p → q
Condicional
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Condicional:
LÓGICA PROPOSICIONAL
Conectivos
p q p→q
V V V
V F F
F V V
F F V
Exemplo:
p Chris é rico
q Chris é feliz
p→q Se Chris é rico então ele é feliz
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Bi condicional:
LÓGICA PROPOSICIONAL
Conectivos
Quando o valor de ambas as proposições é falso ou verdadeiro o resultado é
verdadeiro. Os demais são falsos. Representado pelo símbolo ↔.
p ↔ q
Bi condicional
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Bi condicional:
LÓGICA PROPOSICIONAL
Conectivos
p q p↔q
V V V
V F F
F V F
F F V
Exemplo:
p Chris é rico
q Chris é feliz
p↔q Chris é rico se e somente se ele for feliz
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Precedência:
LÓGICA PROPOSICIONAL
Conectivos
Negação Conjunção Disjunção Condicional Bi condicional
¬ ˄ ˅ → ↔
• A ordem de resolução dos conectivos segue a tabela acima.
• Quando tivemos uma expressão com parênteses, eles serão resolvidos
primeiro.
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
LÓGICA PROPOSICIONAL
Resumo
• Lógica é um raciocínio para resolução de um problema.
• Proposições são sentenças verdadeiras ou falsas.
• Podem ser simples ou compostas.
• Tabela verdade é o resultado para uma proposição composta.
• Na Negação, o resultado é o valor oposto da proposição.
• Na Conjunção, quando ambos os valores são verdadeiros o resultado é
verdadeiro.
• Na Disjunção, quando um valor é verdadeiro o resultado é verdadeiro.
• Na Condicional, o primeiro valor é verdadeiro e o segundo é falso o
resultado é falso.
• Na Bi condicional, quando ambas as proposições são iguais o resultado é
verdadeiro.
Obrigado !!!
ANHANGUERA – 2016.2

More Related Content

What's hot

Lógica de programação em ppt
Lógica de programação em pptLógica de programação em ppt
Lógica de programação em pptAndrei Bastos
 
Aula1 proposicoes e conectivos
Aula1 proposicoes e conectivosAula1 proposicoes e conectivos
Aula1 proposicoes e conectivosSEDUC-PA
 
Algoritmos e Técnicas de Programação - Curso Completo
Algoritmos e Técnicas de Programação - Curso CompletoAlgoritmos e Técnicas de Programação - Curso Completo
Algoritmos e Técnicas de Programação - Curso Completothomasdacosta
 
Regra de três simples e composta
Regra de três simples e compostaRegra de três simples e composta
Regra de três simples e compostaMarcelo Pinheiro
 
Matemática Discreta - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - IntroduçãoUlrich Schiel
 
Aula 5 - Estruturas de seleção simples e composta - parte 1
Aula 5 - Estruturas de seleção simples e composta - parte 1Aula 5 - Estruturas de seleção simples e composta - parte 1
Aula 5 - Estruturas de seleção simples e composta - parte 1Pacc UAB
 
Introdução à Programação
Introdução à ProgramaçãoIntrodução à Programação
Introdução à ProgramaçãoMario Sergio
 
Algoritmos e Técnicas de Programação - Aula 01
Algoritmos e Técnicas de Programação - Aula 01Algoritmos e Técnicas de Programação - Aula 01
Algoritmos e Técnicas de Programação - Aula 01thomasdacosta
 
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 4 - Teste de mesa
Aula 4 - Teste de mesaAula 4 - Teste de mesa
Aula 4 - Teste de mesaPacc UAB
 
Logica Algoritmo 01 Introducao A Logica
Logica Algoritmo 01 Introducao A LogicaLogica Algoritmo 01 Introducao A Logica
Logica Algoritmo 01 Introducao A LogicaRegis Magalhães
 
Lista de exercicios algoritmos resolvida-
Lista de exercicios   algoritmos  resolvida-Lista de exercicios   algoritmos  resolvida-
Lista de exercicios algoritmos resolvida-Mauro Pereira
 
Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatóriabetencourt
 
Algoritmos e Técnicas de Programação - Aula 03
Algoritmos e Técnicas de Programação - Aula 03Algoritmos e Técnicas de Programação - Aula 03
Algoritmos e Técnicas de Programação - Aula 03thomasdacosta
 

What's hot (20)

Lógica de programação em ppt
Lógica de programação em pptLógica de programação em ppt
Lógica de programação em ppt
 
Aula1 proposicoes e conectivos
Aula1 proposicoes e conectivosAula1 proposicoes e conectivos
Aula1 proposicoes e conectivos
 
Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatória
 
Raciocínio lógico parte 1
Raciocínio lógico   parte 1Raciocínio lógico   parte 1
Raciocínio lógico parte 1
 
Algoritmos e Técnicas de Programação - Curso Completo
Algoritmos e Técnicas de Programação - Curso CompletoAlgoritmos e Técnicas de Programação - Curso Completo
Algoritmos e Técnicas de Programação - Curso Completo
 
Regra de três simples e composta
Regra de três simples e compostaRegra de três simples e composta
Regra de três simples e composta
 
Matemática Discreta - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - Introdução
 
Aula 5 - Estruturas de seleção simples e composta - parte 1
Aula 5 - Estruturas de seleção simples e composta - parte 1Aula 5 - Estruturas de seleção simples e composta - parte 1
Aula 5 - Estruturas de seleção simples e composta - parte 1
 
Introdução à Programação
Introdução à ProgramaçãoIntrodução à Programação
Introdução à Programação
 
Prismas
PrismasPrismas
Prismas
 
Algoritmos e Técnicas de Programação - Aula 01
Algoritmos e Técnicas de Programação - Aula 01Algoritmos e Técnicas de Programação - Aula 01
Algoritmos e Técnicas de Programação - Aula 01
 
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 4 - Teste de mesa
Aula 4 - Teste de mesaAula 4 - Teste de mesa
Aula 4 - Teste de mesa
 
Logica Algoritmo 01 Introducao A Logica
Logica Algoritmo 01 Introducao A LogicaLogica Algoritmo 01 Introducao A Logica
Logica Algoritmo 01 Introducao A Logica
 
Aula 22 probabilidade - parte 1
Aula 22   probabilidade - parte 1Aula 22   probabilidade - parte 1
Aula 22 probabilidade - parte 1
 
Aula 2 raciocínio lógico
Aula 2   raciocínio lógicoAula 2   raciocínio lógico
Aula 2 raciocínio lógico
 
Lista de exercicios algoritmos resolvida-
Lista de exercicios   algoritmos  resolvida-Lista de exercicios   algoritmos  resolvida-
Lista de exercicios algoritmos resolvida-
 
Aula 6 - Constantes e variáveis
Aula 6 - Constantes e variáveisAula 6 - Constantes e variáveis
Aula 6 - Constantes e variáveis
 
Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatória
 
Algoritmos e Técnicas de Programação - Aula 03
Algoritmos e Técnicas de Programação - Aula 03Algoritmos e Técnicas de Programação - Aula 03
Algoritmos e Técnicas de Programação - Aula 03
 

More from thomasdacosta

Azure Functions e Java: Do Desenvolvimento a Produção
Azure Functions e Java: Do Desenvolvimento a ProduçãoAzure Functions e Java: Do Desenvolvimento a Produção
Azure Functions e Java: Do Desenvolvimento a Produçãothomasdacosta
 
Programação de Sistemas Distribuídos - Aula 03
Programação de Sistemas Distribuídos - Aula 03Programação de Sistemas Distribuídos - Aula 03
Programação de Sistemas Distribuídos - Aula 03thomasdacosta
 
Programação de Sistemas Distribuídos - Aula 02
Programação de Sistemas Distribuídos - Aula 02Programação de Sistemas Distribuídos - Aula 02
Programação de Sistemas Distribuídos - Aula 02thomasdacosta
 
Programação de Sistemas Distribuídos - Aula 01
Programação de Sistemas Distribuídos - Aula 01Programação de Sistemas Distribuídos - Aula 01
Programação de Sistemas Distribuídos - Aula 01thomasdacosta
 
Organização de Computadores - Aula 02
Organização de Computadores - Aula 02Organização de Computadores - Aula 02
Organização de Computadores - Aula 02thomasdacosta
 
Organização de Computadores - Aula 03
Organização de Computadores - Aula 03Organização de Computadores - Aula 03
Organização de Computadores - Aula 03thomasdacosta
 
Organização de Computadores - Aula 01
Organização de Computadores - Aula 01Organização de Computadores - Aula 01
Organização de Computadores - Aula 01thomasdacosta
 
Redes de Computadores - Exercícios 06
Redes de Computadores - Exercícios 06Redes de Computadores - Exercícios 06
Redes de Computadores - Exercícios 06thomasdacosta
 
Redes de Computadores - Exercícios 05
Redes de Computadores - Exercícios 05Redes de Computadores - Exercícios 05
Redes de Computadores - Exercícios 05thomasdacosta
 
Programação Concorrente - Curso Completo
Programação Concorrente - Curso CompletoProgramação Concorrente - Curso Completo
Programação Concorrente - Curso Completothomasdacosta
 
Programação Concorrente - Aula 07
Programação Concorrente - Aula 07Programação Concorrente - Aula 07
Programação Concorrente - Aula 07thomasdacosta
 
Programação Concorrente - Aula 06
Programação Concorrente - Aula 06Programação Concorrente - Aula 06
Programação Concorrente - Aula 06thomasdacosta
 
Redes de Computadores - Exercícios 04
Redes de Computadores - Exercícios 04Redes de Computadores - Exercícios 04
Redes de Computadores - Exercícios 04thomasdacosta
 
Redes de Computadores - Aula 05
Redes de Computadores - Aula 05Redes de Computadores - Aula 05
Redes de Computadores - Aula 05thomasdacosta
 
Programação Concorrente - Aula 05
Programação Concorrente - Aula 05Programação Concorrente - Aula 05
Programação Concorrente - Aula 05thomasdacosta
 
Linguagem de Programação Java
Linguagem de Programação JavaLinguagem de Programação Java
Linguagem de Programação Javathomasdacosta
 
Programação Concorrente - Aula 04
Programação Concorrente - Aula 04Programação Concorrente - Aula 04
Programação Concorrente - Aula 04thomasdacosta
 
Redes de Computadores - Exercícios 03
Redes de Computadores - Exercícios 03Redes de Computadores - Exercícios 03
Redes de Computadores - Exercícios 03thomasdacosta
 
Redes de Computadores - Aula 04
Redes de Computadores - Aula 04Redes de Computadores - Aula 04
Redes de Computadores - Aula 04thomasdacosta
 
Algoritmos e Estrutura de Dados - Aula 05
Algoritmos e Estrutura de Dados - Aula 05Algoritmos e Estrutura de Dados - Aula 05
Algoritmos e Estrutura de Dados - Aula 05thomasdacosta
 

More from thomasdacosta (20)

Azure Functions e Java: Do Desenvolvimento a Produção
Azure Functions e Java: Do Desenvolvimento a ProduçãoAzure Functions e Java: Do Desenvolvimento a Produção
Azure Functions e Java: Do Desenvolvimento a Produção
 
Programação de Sistemas Distribuídos - Aula 03
Programação de Sistemas Distribuídos - Aula 03Programação de Sistemas Distribuídos - Aula 03
Programação de Sistemas Distribuídos - Aula 03
 
Programação de Sistemas Distribuídos - Aula 02
Programação de Sistemas Distribuídos - Aula 02Programação de Sistemas Distribuídos - Aula 02
Programação de Sistemas Distribuídos - Aula 02
 
Programação de Sistemas Distribuídos - Aula 01
Programação de Sistemas Distribuídos - Aula 01Programação de Sistemas Distribuídos - Aula 01
Programação de Sistemas Distribuídos - Aula 01
 
Organização de Computadores - Aula 02
Organização de Computadores - Aula 02Organização de Computadores - Aula 02
Organização de Computadores - Aula 02
 
Organização de Computadores - Aula 03
Organização de Computadores - Aula 03Organização de Computadores - Aula 03
Organização de Computadores - Aula 03
 
Organização de Computadores - Aula 01
Organização de Computadores - Aula 01Organização de Computadores - Aula 01
Organização de Computadores - Aula 01
 
Redes de Computadores - Exercícios 06
Redes de Computadores - Exercícios 06Redes de Computadores - Exercícios 06
Redes de Computadores - Exercícios 06
 
Redes de Computadores - Exercícios 05
Redes de Computadores - Exercícios 05Redes de Computadores - Exercícios 05
Redes de Computadores - Exercícios 05
 
Programação Concorrente - Curso Completo
Programação Concorrente - Curso CompletoProgramação Concorrente - Curso Completo
Programação Concorrente - Curso Completo
 
Programação Concorrente - Aula 07
Programação Concorrente - Aula 07Programação Concorrente - Aula 07
Programação Concorrente - Aula 07
 
Programação Concorrente - Aula 06
Programação Concorrente - Aula 06Programação Concorrente - Aula 06
Programação Concorrente - Aula 06
 
Redes de Computadores - Exercícios 04
Redes de Computadores - Exercícios 04Redes de Computadores - Exercícios 04
Redes de Computadores - Exercícios 04
 
Redes de Computadores - Aula 05
Redes de Computadores - Aula 05Redes de Computadores - Aula 05
Redes de Computadores - Aula 05
 
Programação Concorrente - Aula 05
Programação Concorrente - Aula 05Programação Concorrente - Aula 05
Programação Concorrente - Aula 05
 
Linguagem de Programação Java
Linguagem de Programação JavaLinguagem de Programação Java
Linguagem de Programação Java
 
Programação Concorrente - Aula 04
Programação Concorrente - Aula 04Programação Concorrente - Aula 04
Programação Concorrente - Aula 04
 
Redes de Computadores - Exercícios 03
Redes de Computadores - Exercícios 03Redes de Computadores - Exercícios 03
Redes de Computadores - Exercícios 03
 
Redes de Computadores - Aula 04
Redes de Computadores - Aula 04Redes de Computadores - Aula 04
Redes de Computadores - Aula 04
 
Algoritmos e Estrutura de Dados - Aula 05
Algoritmos e Estrutura de Dados - Aula 05Algoritmos e Estrutura de Dados - Aula 05
Algoritmos e Estrutura de Dados - Aula 05
 

Lógica e Matemática Computacional - Aula 02

  • 1. ANHANGUERA – 2016.2 LÓGICA E MATEMÁTICA COMPUTACIONAL AULA 02 – LÓGICA PROPOSICIONAL Prof. Thomás da Costa thomascosta@aedu.com
  • 2. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL
  • 3. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Introdução Qual a resposta do problema abaixo?: LÓGICA PROPOSICIONAL 79 !!! Mas é lógico !!!
  • 4. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Introdução Qual a resposta do problema abaixo?: LÓGICA PROPOSICIONAL 90 !!! Mas é lógico !!!
  • 5. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Introdução Qual a resposta do problema abaixo?: LÓGICA PROPOSICIONAL 15 !!! Mas é lógico !!! http://www.matematicagenial.com/2017/07/desafio-maioria-erra-qual-e-o-resultado.html
  • 6. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa • Para chegar na resolução do problema anterior, analisamos as respostas anteriores e verificamos qual a lógica utilizada na solução de cada equação. • Para isso utilizamos o pensamento lógico. • A lógica tem objetivo de resolver problemas. • Na computação a lógica é a base de tudo. • Lógica e o raciocínio lógico irão nos ajudar em quase todos os problemas computacionais e até mesmo no nosso dia-a-dia. Introdução Analisando a resposta: LÓGICA PROPOSICIONAL
  • 7. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa • Em circuitos eletrônicos, encontrados em celulares, computadores, TVs, videogames e etc. • Desenvolvimento de algoritmos, principalmente programas de computador, celulares, jogos e etc. Introdução Onde utilizamos a lógica: LÓGICA PROPOSICIONAL
  • 8. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Lógica Definição: LÓGICA PROPOSICIONAL Lógica é a analise de métodos e formas de raciocínio, para resolver um problema. Além disso, tem como objetivo efetuar a verificação da verdade ou falsidade de um determinado pensamento. Por exemplo: Todo cão late. Montanha é um cão. Portanto, Montanha late. Todo aluno estuda. Clark é um aluno. Portanto, Clark estuda.
  • 9. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Proposições Leia a frase abaixo: LÓGICA PROPOSICIONAL Brasília é a capital do Brasil. VERDADEIRO !!! É uma proposição !!!
  • 10. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa É uma frase declarativa que tem como objetivo indicar uma informação verdadeira ou falsa. As proposições podem ser simples ou compostas de acordo com o problema. Proposições O que é: LÓGICA PROPOSICIONAL
  • 11. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa • Simples. • Compostas. • Podem ser verdadeiras ou falsas. • Princípio do Terceiro Excluído: • Uma proposição é verdadeira ou falsa, não existe uma terceira possibilidade. • Principio da Não-Contradição: • Uma proposição não é verdadeira e falsa ao mesmo tempo. Mais detalhes: LÓGICA PROPOSICIONAL Proposições
  • 12. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa 2 + 2 = 4 VERDADEIRO 5 = 1 FALSO 28 > 29 FALSO Exemplos: LÓGICA PROPOSICIONAL Proposições
  • 13. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Exemplos: LÓGICA PROPOSICIONAL Proposições Playstation 4 é um videogame. VERDADEIRO Barack Obama é o presidente do Brasil. FALSO
  • 14. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Exemplos: LÓGICA PROPOSICIONAL Proposições Ele é jogador de basquete Não é proposição. Não temos referência da pessoa que estamos indicando. x + y – z = 10 Não é proposição. Não sabemos os valores de x, y e z.
  • 15. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Não é proposição: LÓGICA PROPOSICIONAL Proposições • Frases interrogativas: Qual a sua idade? • Frases imperativas: Tenha um bom dia! • Paradoxos Lógicos: Esta frase é falsa.
  • 16. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Simples: LÓGICA PROPOSICIONAL Proposições • Formado somente por uma proposição. • Exemplo: • 2 + 3 = 5 • 5 < 1 • Carlos é jornalista. Compostas: • É a combinação de duas ou mais proposições. • Exemplo: • Maria é aluna universitária e estuda na Faculdade Anhanguera. • Se Jill estuda então ela é aprovado na disciplina.
  • 17. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Exemplos: LÓGICA PROPOSICIONAL Proposições A. O mercúrio é mais pesado que a água. B. O Sol gira em torno da Terra. C. A Lua é um satélite da Terra. D. O Campus de Marte é uma unidade da Anhanguera. E. Recife é a capital de Pernambuco. F. Vasco da Gama descobriu o Brasil. G. Pedro é estudante. H. Carlos é careca. I. O saldo da conta corrente é positivo. J. Rafael estuda Algoritmos.
  • 18. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Exemplos: LÓGICA PROPOSICIONAL Proposições A. Sol é verde. B. Todo número divisível por 5 termina em 5. C. José é estudante do 1º semestre e Roberto é estudante do 2º semestre. D. Carlos é careca e Pedro é estudante. E. Carlos é careca ou Pedro é estudante. F. Se José é estudante do 1º semestre então ele começou no segundo ano. G. Numero 2 é impar e o numero 7 é impar. H. Se Ralf programa em Java então ele é um desenvolvedor. I. Se x > 0 então y = 2 J. Se João trabalha e não falta então recebe salário no final do mês.
  • 19. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa LÓGICA PROPOSICIONAL Proposições Exercícios: Quais das sentenças a seguir são proposições? a) Abra a porta. b) Excelente apresentação! c) A semana começa no domingo. d) Tóquio é a capital de qual país? e) Saturno é um planeta do sistema solar. f) Fiesta é um carro da Ford. g) Muito Obrigado.
  • 20. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Vamos analisar as proposições abaixo: LÓGICA PROPOSICIONAL Conectivos Frase Símbolo Está chovendo p A rua está molhada q Se está chovendo, então a rua está molhada p → q • As proposições são representadas pelos símbolos p e q. • O símbolo → é um conectivo. • Cada conectivo possui uma tabela verdade indicando possíveis resultados. • O conectivo do nosso exemplo é conhecido como condicional.
  • 21. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Alfabeto e simbologia: LÓGICA PROPOSICIONAL Conectivos A Lógica Proposicional é formado de símbolos e conectivos: Descrição Símbolos Símbolo Lógico VERDADEIRO, FALSO, TRUE ou FALSE Proposições Simples p,q,r,s Proposições Compostas P,Q,R,S Conectivos ¬ (negação), ˄ (e), ˅ (ou), → (se, então) e ↔ (se e somente se)
  • 22. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Símbolo Leitura Operação Exemplo ¬ NÃO (NOT) Negação ¬p ˄ E (AND) Conjunção p˄q ˅ OU (OR) Disjunção p˅q → SE ... ENTÃO Condicional p→q ↔ SE E SOMENTE SE Bi condicional p↔q Os conectivos: LÓGICA PROPOSICIONAL Conectivos
  • 23. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Tabela Verdade: LÓGICA PROPOSICIONAL Conectivos É uma tabela que indica os possíveis valores das proposições simples, resultando em um valor para a proposição composta. Vamos estudar os conectivos e suas respectivas tabelas verdades !!!
  • 24. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Negação (NÃO – NOT): LÓGICA PROPOSICIONAL Conectivos É quando o valor de uma proposição é o seu valor oposto. Representado pelo símbolo ¬. ¬p Negação
  • 25. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Negação (NÃO – NOT): LÓGICA PROPOSICIONAL Conectivos p ¬p V F F V p Chris é rico ¬p Chris é pobre Exemplo:
  • 26. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa LÓGICA PROPOSICIONAL Conectivos Os valores das proposições devem ser ambos verdadeiros para que o resultado seja verdadeiro. Representado pelo símbolo ˄. Conjunção (E – AND): p ˄ q Conjunção
  • 27. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Conjunção (E – AND): LÓGICA PROPOSICIONAL Conectivos p q p˄q V V V V F F F V F F F F Exemplo: p Chris é rico q Chris é feliz p˄q Chris é rico e feliz
  • 28. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Disjunção (OU – OR): LÓGICA PROPOSICIONAL Conectivos Os valores das proposições devem possuir somente uma sentença verdadeira para que o resultado seja verdadeiro. Representado pelo símbolo ˅. p ˅ q Disjunção
  • 29. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Disjunção (OU – OR): LÓGICA PROPOSICIONAL Conectivos p q p˅q V V V V F V F V V F F F Exemplo: p Chris é rico q Chris é feliz p˅q Chris é rico ou é feliz
  • 30. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Condicional: LÓGICA PROPOSICIONAL Conectivos Quando o valor de umas das proposições é verdadeiro e a outra é falsa, o resultado é falso. Os demais são verdadeiros. Representado pelo símbolo → p → q Condicional
  • 31. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Condicional: LÓGICA PROPOSICIONAL Conectivos p q p→q V V V V F F F V V F F V Exemplo: p Chris é rico q Chris é feliz p→q Se Chris é rico então ele é feliz
  • 32. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Bi condicional: LÓGICA PROPOSICIONAL Conectivos Quando o valor de ambas as proposições é falso ou verdadeiro o resultado é verdadeiro. Os demais são falsos. Representado pelo símbolo ↔. p ↔ q Bi condicional
  • 33. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Bi condicional: LÓGICA PROPOSICIONAL Conectivos p q p↔q V V V V F F F V F F F V Exemplo: p Chris é rico q Chris é feliz p↔q Chris é rico se e somente se ele for feliz
  • 34. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Precedência: LÓGICA PROPOSICIONAL Conectivos Negação Conjunção Disjunção Condicional Bi condicional ¬ ˄ ˅ → ↔ • A ordem de resolução dos conectivos segue a tabela acima. • Quando tivemos uma expressão com parênteses, eles serão resolvidos primeiro.
  • 35. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa LÓGICA PROPOSICIONAL Resumo • Lógica é um raciocínio para resolução de um problema. • Proposições são sentenças verdadeiras ou falsas. • Podem ser simples ou compostas. • Tabela verdade é o resultado para uma proposição composta. • Na Negação, o resultado é o valor oposto da proposição. • Na Conjunção, quando ambos os valores são verdadeiros o resultado é verdadeiro. • Na Disjunção, quando um valor é verdadeiro o resultado é verdadeiro. • Na Condicional, o primeiro valor é verdadeiro e o segundo é falso o resultado é falso. • Na Bi condicional, quando ambas as proposições são iguais o resultado é verdadeiro.