SlideShare une entreprise Scribd logo
1  sur  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

Contenu connexe

Tendances

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
Aristóteles Meneses
 
Quantificadores, predicados e validade
Quantificadores, predicados e validadeQuantificadores, predicados e validade
Quantificadores, predicados e validade
Aristóteles Meneses
 
Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatória
betencourt
 
Economia aula 7 - a macroeconomia keynesiana
Economia   aula 7 - a macroeconomia keynesianaEconomia   aula 7 - a macroeconomia keynesiana
Economia aula 7 - a macroeconomia keynesiana
Felipe Leo
 
Aula1 proposicoes e conectivos
Aula1 proposicoes e conectivosAula1 proposicoes e conectivos
Aula1 proposicoes e conectivos
SEDUC-PA
 

Tendances (20)

Lógica e Matemática Computacional - Aula 04
Lógica e Matemática Computacional - Aula 04Lógica e Matemática Computacional - Aula 04
Lógica e Matemática Computacional - Aula 04
 
Raciocinio Lógico
Raciocinio LógicoRaciocinio Lógico
Raciocinio Lógico
 
Logica computacional
Logica computacionalLogica computacional
Logica computacional
 
Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)
 
Noções de probabilidade
Noções de probabilidadeNoções de probabilidade
Noções de probabilidade
 
Caderno - Lógica
Caderno - LógicaCaderno - Lógica
Caderno - Lógica
 
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
 
Introdução à Lógica de Predicados
Introdução à Lógica de PredicadosIntrodução à Lógica de Predicados
Introdução à Lógica de Predicados
 
Quantificadores, predicados e validade
Quantificadores, predicados e validadeQuantificadores, predicados e validade
Quantificadores, predicados e validade
 
Lógica: Exercícios Resolvidos
Lógica: Exercícios ResolvidosLógica: Exercícios Resolvidos
Lógica: Exercícios Resolvidos
 
Apostilam01 tabela verdade
Apostilam01 tabela verdadeApostilam01 tabela verdade
Apostilam01 tabela verdade
 
Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatória
 
Economia aula 7 - a macroeconomia keynesiana
Economia   aula 7 - a macroeconomia keynesianaEconomia   aula 7 - a macroeconomia keynesiana
Economia aula 7 - a macroeconomia keynesiana
 
Propriedades dos logaritmos
Propriedades dos logaritmosPropriedades dos logaritmos
Propriedades dos logaritmos
 
Aula 22 probabilidade - parte 1
Aula 22   probabilidade - parte 1Aula 22   probabilidade - parte 1
Aula 22 probabilidade - parte 1
 
CIÊNCIAS DA NATUREZA - NOTAÇÃO CIENTÍFICA - AULA 3
CIÊNCIAS DA NATUREZA - NOTAÇÃO CIENTÍFICA - AULA 3CIÊNCIAS DA NATUREZA - NOTAÇÃO CIENTÍFICA - AULA 3
CIÊNCIAS DA NATUREZA - NOTAÇÃO CIENTÍFICA - AULA 3
 
P.a. e p.g.
P.a. e p.g.P.a. e p.g.
P.a. e p.g.
 
Progressão aritmética
Progressão aritméticaProgressão aritmética
Progressão aritmética
 
Aula1 proposicoes e conectivos
Aula1 proposicoes e conectivosAula1 proposicoes e conectivos
Aula1 proposicoes e conectivos
 
Lista de Exercícios - Linguagem Formais e Autômatos
Lista de Exercícios - Linguagem Formais e AutômatosLista de Exercícios - Linguagem Formais e Autômatos
Lista de Exercícios - Linguagem Formais e Autômatos
 

Plus de thomasdacosta

Plus de 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.