SlideShare uma empresa Scribd logo
1 de 12
*
    Matemática Computacional
    1º período ADS FACEMA 2012.2
    Prof. Aristóteles Meneses
*Chama-se     de proposições todo conjunto de
 palavras ou símbolos que exprimem um
 pensamento de sentido completo (ou fechado).
*Exemplos:
a) A Lua é um satélite da Terra. (V)
b) A copa do mundo em 2014 será realizada na
Alemanha. (F)
c) Recife é a capital de Pernambuco. (V)
d) 3/5 é um número inteiro. (F)
e) 32 = 9 (V)
f) O número π é um número racional. (F)

                            *
*A  lógica matemática adota como
 regras fundamentais do pensamento os
 dois seguintes princípios:
PRINCÍPIO DA NÃO NEGAÇÃO: uma
proposição não pode ser verdadeira ou
falsa ao mesmo tempo.
PRINCÍPIO DO TERCEIRO EXCLUÍDO: Toda
proposição ou é verdadeira ou é falsa, isto
é, verifica-se sempre um destes casos e
nunca um terceiro.

          *
*Chama-se de valor lógico de uma
proposição a verdade se a
proposição for verdadeira e a
falsidade se a proposição é falsa.



            *
*




    *
*Proposições compostas: são aquelas
 formadas pela combinação de duas ou mais
 proposições (são representadas por letras
 maiúsculas).
*Exemplos:
P: Carlos é farmacêutico e Pedro é
estudante.
Q: O número 6 é par e o número 8 é cubo
perfeito.
R: O programa é bom e a internet é lenta.
(e : conectivo)
*Chama-se de conectivos, palavras que usadas para formar
 novas proposições a partir de outras.
Conectivos usuais:
      e, ou, não, se...então, ...se e somente se...
Exemplos:
P: O número 6 é par e o número 8 é cubo perfeito. Q: O
triângulo ABC é retângulo ou é isóceles.
r: Não está chovendo.
S: Se Jorge é engenheiro, então sabe Matemática.
T: O triângulo ABC é equilátero se e somente se é
equiângulo.


                                     *
*O valor lógico de uma proposição
 simples p indica-se por V(p).
 Assim, exprime-se que p é
 verdadeiro(V), escrevendo:
 V (p) = V
 Analogamente, exprime-se que p é
falsa (F), escrevendo:     V(p) = F
 Do mesmo modo, o valor lógico de
uma proposição composta P indica-se
por V(P).
                 *
*Exemplos 1:

p: Roma é capital da França. (F)
~p: Roma não é capital da França. (V)
q: Carlos é mecânico.
~q: Carlos não é mecânico.
OU
Não é verdade que Carlos é mecânico.


          *
*Exemplos 2:
• p: A neve é branca. (V)
q: 2 < 5 (V)
p ^ q : A neve é branca e 2 < 5. (V)
• r: Paris é capital da França. (V)
s: 9 – 4 = 5 (V)
p v q:Paris é capital da França ou 9
– 4 = 5 (V)
*Exemplos 3:
• p: Cláudio fala inglês.
  q: Cláudio fala alemão.

p v q: Cláudio fala inglês ou Cláudio fala alemão.
p ^ q: Cláudio fala inglês e Cláudio fala alemão.
p^~q: Cláudio fala inglês e Cláudio não fala alemão.
~p^~q: Cláudio não fala inglês e Cláudio não fala
alemão.
~(~p^~q): Não é verdade que Cláudio não fala
inglês e Cláudio não fala alemão.
*

Mais conteúdo relacionado

Mais procurados (20)

Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatória
 
Áreas de Figuras Planas
Áreas de Figuras PlanasÁreas de Figuras Planas
Áreas de Figuras Planas
 
Aula 22 probabilidade - parte 1
Aula 22   probabilidade - parte 1Aula 22   probabilidade - parte 1
Aula 22 probabilidade - parte 1
 
Pirâmides
PirâmidesPirâmides
Pirâmides
 
Pirâmides
PirâmidesPirâmides
Pirâmides
 
Números inteiros
Números inteirosNúmeros inteiros
Números inteiros
 
Função.quadratica
Função.quadraticaFunção.quadratica
Função.quadratica
 
Ponto, reta e plano
Ponto, reta e planoPonto, reta e plano
Ponto, reta e plano
 
Expressoes algebricas
Expressoes algebricasExpressoes algebricas
Expressoes algebricas
 
Área do prisma
Área do prismaÁrea do prisma
Área do prisma
 
Conjuntos numéricos
Conjuntos numéricosConjuntos numéricos
Conjuntos numéricos
 
Função afim
Função afimFunção afim
Função afim
 
Polinomios
PolinomiosPolinomios
Polinomios
 
Semelhança de figuras planas.ppt
Semelhança de figuras planas.pptSemelhança de figuras planas.ppt
Semelhança de figuras planas.ppt
 
Função quadrática
Função quadráticaFunção quadrática
Função quadrática
 
Polígonos..
Polígonos..Polígonos..
Polígonos..
 
Função de 1º Grau.
Função de 1º Grau.Função de 1º Grau.
Função de 1º Grau.
 
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
 
Relações Métricas No Triângulo Retângulo
Relações Métricas No Triângulo RetânguloRelações Métricas No Triângulo Retângulo
Relações Métricas No Triângulo Retângulo
 
Teorema de pitágoras apresentação de slide
Teorema de pitágoras   apresentação de slideTeorema de pitágoras   apresentação de slide
Teorema de pitágoras apresentação de slide
 

Semelhante a Introdução à lógica proposicional e conectivos lógicos

Inss raciocinio-garcia
Inss raciocinio-garciaInss raciocinio-garcia
Inss raciocinio-garciaNeon Online
 
Aula 01 - Introducao a logica.pdf
Aula 01 - Introducao a logica.pdfAula 01 - Introducao a logica.pdf
Aula 01 - Introducao a logica.pdfSamileMatos2
 
Apostilam01 tabela verdade
Apostilam01 tabela verdadeApostilam01 tabela verdade
Apostilam01 tabela verdadeJoão moreira
 
05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pf05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pfNeon Online
 
05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pf05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pfNeon Online
 
Raciocinio Lógico
Raciocinio LógicoRaciocinio Lógico
Raciocinio LógicoLeocely
 
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
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacaoJ M
 
Raciocínio lógico aula 3-6 - lógica de argumentaçao
Raciocínio lógico   aula 3-6 - lógica de argumentaçaoRaciocínio lógico   aula 3-6 - lógica de argumentaçao
Raciocínio lógico aula 3-6 - lógica de argumentaçaoJ M
 
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
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacaoMcxs Silva
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacaoHelio Kentron
 
Paulohenrique raciocinio-completo-026
Paulohenrique raciocinio-completo-026Paulohenrique raciocinio-completo-026
Paulohenrique raciocinio-completo-026macielneto
 
[DASS] Raciocínio Lógico - Operações lógicas e tabela verdade
[DASS] Raciocínio Lógico - Operações lógicas e tabela verdade[DASS] Raciocínio Lógico - Operações lógicas e tabela verdade
[DASS] Raciocínio Lógico - Operações lógicas e tabela verdadeDavidson Alves
 

Semelhante a Introdução à lógica proposicional e conectivos lógicos (20)

Inss raciocinio-garcia
Inss raciocinio-garciaInss raciocinio-garcia
Inss raciocinio-garcia
 
Aula 01 - Introducao a logica.pdf
Aula 01 - Introducao a logica.pdfAula 01 - Introducao a logica.pdf
Aula 01 - Introducao a logica.pdf
 
Apostilam01 tabela verdade
Apostilam01 tabela verdadeApostilam01 tabela verdade
Apostilam01 tabela verdade
 
05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pf05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pf
 
05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pf05 raciocínio lógico 2014 - agente-pf
05 raciocínio lógico 2014 - agente-pf
 
Raciocinio Lógico
Raciocinio LógicoRaciocinio Lógico
Raciocinio Lógico
 
Aula 2 raciocínio lógico
Aula 2   raciocínio lógicoAula 2   raciocínio lógico
Aula 2 raciocínio lógico
 
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
 
1657721272624.pdf
1657721272624.pdf1657721272624.pdf
1657721272624.pdf
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacao
 
Raciocínio lógico aula 3-6 - lógica de argumentaçao
Raciocínio lógico   aula 3-6 - lógica de argumentaçaoRaciocínio lógico   aula 3-6 - lógica de argumentaçao
Raciocínio lógico aula 3-6 - lógica de argumentaçao
 
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
 
Aula 02
Aula 02Aula 02
Aula 02
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacao
 
Aula 03 logica de argumentacao
Aula 03   logica de argumentacaoAula 03   logica de argumentacao
Aula 03 logica de argumentacao
 
logica.pdf
logica.pdflogica.pdf
logica.pdf
 
Paulohenrique raciocinio-completo-026
Paulohenrique raciocinio-completo-026Paulohenrique raciocinio-completo-026
Paulohenrique raciocinio-completo-026
 
[DASS] Raciocínio Lógico - Operações lógicas e tabela verdade
[DASS] Raciocínio Lógico - Operações lógicas e tabela verdade[DASS] Raciocínio Lógico - Operações lógicas e tabela verdade
[DASS] Raciocínio Lógico - Operações lógicas e tabela verdade
 
Bizu Concurso
Bizu ConcursoBizu Concurso
Bizu Concurso
 
LOGICA MATEMÁTICA
LOGICA MATEMÁTICALOGICA MATEMÁTICA
LOGICA MATEMÁTICA
 

Mais de Aristóteles Meneses

Estatística tabulações valor-padrão
Estatística tabulações valor-padrãoEstatística tabulações valor-padrão
Estatística tabulações valor-padrãoAristóteles Meneses
 
Tautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasTautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasAristóteles Meneses
 
Permutação circulares repetição
Permutação circulares repetiçãoPermutação circulares repetição
Permutação circulares repetiçãoAristóteles Meneses
 
Introdução à logica conceitos e exemplos
Introdução à logica   conceitos e exemplosIntrodução à logica   conceitos e exemplos
Introdução à logica conceitos e exemplosAristóteles Meneses
 
Quantificadores, predicados e validade
Quantificadores, predicados e validadeQuantificadores, predicados e validade
Quantificadores, predicados e validadeAristóteles Meneses
 
Conjuntos numéricos – parte ii 29 02
Conjuntos numéricos – parte ii 29 02Conjuntos numéricos – parte ii 29 02
Conjuntos numéricos – parte ii 29 02Aristóteles Meneses
 

Mais de Aristóteles Meneses (20)

Estatística tabulações valor-padrão
Estatística tabulações valor-padrãoEstatística tabulações valor-padrão
Estatística tabulações valor-padrão
 
Estatística parte1
Estatística parte1Estatística parte1
Estatística parte1
 
Estatística parte2
Estatística parte2Estatística parte2
Estatística parte2
 
Tautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasTautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalências
 
Permutação circulares repetição
Permutação circulares repetiçãoPermutação circulares repetição
Permutação circulares repetição
 
Construção da tabela verdade
Construção da tabela verdadeConstrução da tabela verdade
Construção da tabela verdade
 
Contrução da tabela verdade
Contrução da tabela verdadeContrução da tabela verdade
Contrução da tabela verdade
 
Introdução à logica conceitos e exemplos
Introdução à logica   conceitos e exemplosIntrodução à logica   conceitos e exemplos
Introdução à logica conceitos e exemplos
 
Log1 introducao
Log1 introducaoLog1 introducao
Log1 introducao
 
Limite
LimiteLimite
Limite
 
Permutação simples
Permutação simplesPermutação simples
Permutação simples
 
A álgebra de funções
A álgebra de funçõesA álgebra de funções
A álgebra de funções
 
Quantificadores, predicados e validade
Quantificadores, predicados e validadeQuantificadores, predicados e validade
Quantificadores, predicados e validade
 
Funções parte 1
Funções parte 1Funções parte 1
Funções parte 1
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Relações
RelaçõesRelações
Relações
 
Revisão de álgebra ii
Revisão de álgebra iiRevisão de álgebra ii
Revisão de álgebra ii
 
Conjuntos numéricos – parte ii 29 02
Conjuntos numéricos – parte ii 29 02Conjuntos numéricos – parte ii 29 02
Conjuntos numéricos – parte ii 29 02
 
Aula dia 27 02 conj, numéricos
Aula dia 27 02   conj, numéricosAula dia 27 02   conj, numéricos
Aula dia 27 02 conj, numéricos
 
Noções de lógica tautologias
Noções de lógica   tautologiasNoções de lógica   tautologias
Noções de lógica tautologias
 

Introdução à lógica proposicional e conectivos lógicos

  • 1. * Matemática Computacional 1º período ADS FACEMA 2012.2 Prof. Aristóteles Meneses
  • 2. *Chama-se de proposições todo conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo (ou fechado). *Exemplos: a) A Lua é um satélite da Terra. (V) b) A copa do mundo em 2014 será realizada na Alemanha. (F) c) Recife é a capital de Pernambuco. (V) d) 3/5 é um número inteiro. (F) e) 32 = 9 (V) f) O número π é um número racional. (F) *
  • 3. *A lógica matemática adota como regras fundamentais do pensamento os dois seguintes princípios: PRINCÍPIO DA NÃO NEGAÇÃO: uma proposição não pode ser verdadeira ou falsa ao mesmo tempo. PRINCÍPIO DO TERCEIRO EXCLUÍDO: Toda proposição ou é verdadeira ou é falsa, isto é, verifica-se sempre um destes casos e nunca um terceiro. *
  • 4. *Chama-se de valor lógico de uma proposição a verdade se a proposição for verdadeira e a falsidade se a proposição é falsa. *
  • 5. * *
  • 6. *Proposições compostas: são aquelas formadas pela combinação de duas ou mais proposições (são representadas por letras maiúsculas). *Exemplos: P: Carlos é farmacêutico e Pedro é estudante. Q: O número 6 é par e o número 8 é cubo perfeito. R: O programa é bom e a internet é lenta. (e : conectivo)
  • 7. *Chama-se de conectivos, palavras que usadas para formar novas proposições a partir de outras. Conectivos usuais: e, ou, não, se...então, ...se e somente se... Exemplos: P: O número 6 é par e o número 8 é cubo perfeito. Q: O triângulo ABC é retângulo ou é isóceles. r: Não está chovendo. S: Se Jorge é engenheiro, então sabe Matemática. T: O triângulo ABC é equilátero se e somente se é equiângulo. *
  • 8. *O valor lógico de uma proposição simples p indica-se por V(p). Assim, exprime-se que p é verdadeiro(V), escrevendo: V (p) = V Analogamente, exprime-se que p é falsa (F), escrevendo: V(p) = F Do mesmo modo, o valor lógico de uma proposição composta P indica-se por V(P). *
  • 9. *Exemplos 1: p: Roma é capital da França. (F) ~p: Roma não é capital da França. (V) q: Carlos é mecânico. ~q: Carlos não é mecânico. OU Não é verdade que Carlos é mecânico. *
  • 10. *Exemplos 2: • p: A neve é branca. (V) q: 2 < 5 (V) p ^ q : A neve é branca e 2 < 5. (V) • r: Paris é capital da França. (V) s: 9 – 4 = 5 (V) p v q:Paris é capital da França ou 9 – 4 = 5 (V)
  • 11. *Exemplos 3: • p: Cláudio fala inglês. q: Cláudio fala alemão. p v q: Cláudio fala inglês ou Cláudio fala alemão. p ^ q: Cláudio fala inglês e Cláudio fala alemão. p^~q: Cláudio fala inglês e Cláudio não fala alemão. ~p^~q: Cláudio não fala inglês e Cláudio não fala alemão. ~(~p^~q): Não é verdade que Cláudio não fala inglês e Cláudio não fala alemão.
  • 12. *