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)

Razões trigonométricas
Razões trigonométricasRazões trigonométricas
Razões trigonométricas
 
Plano Cartesiano
Plano CartesianoPlano Cartesiano
Plano Cartesiano
 
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
 
Funções
FunçõesFunções
Funções
 
Função.quadratica
Função.quadraticaFunção.quadratica
Função.quadratica
 
Raciocinio Lógico
Raciocinio LógicoRaciocinio Lógico
Raciocinio Lógico
 
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
 
Determinantes 2º ano
Determinantes 2º anoDeterminantes 2º ano
Determinantes 2º ano
 
Progressão aritmética
Progressão aritméticaProgressão aritmética
Progressão aritmética
 
Aula 2 raciocínio lógico
Aula 2   raciocínio lógicoAula 2   raciocínio lógico
Aula 2 raciocínio lógico
 
Conjuntos numéricos
Conjuntos numéricosConjuntos numéricos
Conjuntos numéricos
 
Potenciação
PotenciaçãoPotenciação
Potenciação
 
Função de 1º Grau
Função de 1º GrauFunção de 1º Grau
Função de 1º Grau
 
Historia da contabilidade
Historia da contabilidadeHistoria da contabilidade
Historia da contabilidade
 
Estatística
EstatísticaEstatística
Estatística
 
Princípios de Contagem
Princípios de ContagemPrincípios de Contagem
Princípios de Contagem
 
Conjuntos numéricos
Conjuntos numéricosConjuntos numéricos
Conjuntos numéricos
 
Educaçao matematica
Educaçao matematicaEducaçao matematica
Educaçao matematica
 
Progressão aritmética
Progressão aritméticaProgressão aritmética
Progressão aritmética
 
Matrizes
MatrizesMatrizes
Matrizes
 

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
 
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
 
Apostila mrs concursos
Apostila mrs  concursosApostila mrs  concursos
Apostila mrs concursos
 

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