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)

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
 
Aula 22 probabilidade - parte 1
Aula 22   probabilidade - parte 1Aula 22   probabilidade - parte 1
Aula 22 probabilidade - parte 1
 
AULÃO DE MATEMÁTICA PARA O ENEM.pptx
AULÃO DE MATEMÁTICA PARA O ENEM.pptxAULÃO DE MATEMÁTICA PARA O ENEM.pptx
AULÃO DE MATEMÁTICA PARA O ENEM.pptx
 
GEOMETRIA ESPACIAL DE POSIÇÃO
GEOMETRIA ESPACIAL DE POSIÇÃOGEOMETRIA ESPACIAL DE POSIÇÃO
GEOMETRIA ESPACIAL DE POSIÇÃO
 
Razao e proporção
Razao e proporçãoRazao e proporção
Razao e proporção
 
Função.quadratica
Função.quadraticaFunção.quadratica
Função.quadratica
 
Semelhança de triângulos
Semelhança de triângulosSemelhança de triângulos
Semelhança de triângulos
 
âNgulos na circunferência
âNgulos na circunferênciaâNgulos na circunferência
âNgulos na circunferência
 
Polinomios
PolinomiosPolinomios
Polinomios
 
Probabilidade. 3º ano
Probabilidade. 3º anoProbabilidade. 3º ano
Probabilidade. 3º ano
 
Função quadrática
Função quadráticaFunção quadrática
Função quadrática
 
Slides- Progressão Geométrica
Slides- Progressão GeométricaSlides- Progressão Geométrica
Slides- Progressão Geométrica
 
Pirâmides
PirâmidesPirâmides
Pirâmides
 
Funcoes trigonometricas.ppt
Funcoes trigonometricas.pptFuncoes trigonometricas.ppt
Funcoes trigonometricas.ppt
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Pirâmides
PirâmidesPirâmides
Pirâmides
 
âNgulos
âNgulosâNgulos
âNgulos
 
Probabilidade e Estatística - Aula 04
Probabilidade e Estatística - Aula 04Probabilidade e Estatística - Aula 04
Probabilidade e Estatística - Aula 04
 
Posições relativas matemática
Posições relativas   matemáticaPosições relativas   matemática
Posições relativas matemática
 
Números inteiros
Números inteirosNúmeros inteiros
Números inteiros
 

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

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
 
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
 
Conjuntos continuação - aula 13-02
Conjuntos   continuação - aula 13-02Conjuntos   continuação - aula 13-02
Conjuntos continuação - aula 13-02
 

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. *