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

Distribuição de frequencia
Distribuição de frequenciaDistribuição de frequencia
Distribuição de frequenciaAsafe Salomao
 
Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatóriabetencourt
 
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
 
Ciências 9º Ano (Física): estudo dos movimentos: Conceitos Básicos de Cinemática
Ciências 9º Ano (Física): estudo dos movimentos: Conceitos Básicos de CinemáticaCiências 9º Ano (Física): estudo dos movimentos: Conceitos Básicos de Cinemática
Ciências 9º Ano (Física): estudo dos movimentos: Conceitos Básicos de CinemáticaRonaldo Santana
 
Contexto e Aplicações Dante - vol 1.pdf
Contexto e Aplicações Dante - vol 1.pdfContexto e Aplicações Dante - vol 1.pdf
Contexto e Aplicações Dante - vol 1.pdfCristiane Silva
 
Slides eletrostatica
Slides eletrostaticaSlides eletrostatica
Slides eletrostaticaWarlle1992
 
Aula de fração
Aula de fraçãoAula de fração
Aula de fraçãoNeilor
 
Exemplo de um artigo cientifico ( modelo paper)
Exemplo de um artigo cientifico ( modelo paper)Exemplo de um artigo cientifico ( modelo paper)
Exemplo de um artigo cientifico ( modelo paper)Cleidilene Lima
 
Exercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição BinomialExercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição BinomialDiego Oliveira
 
Metodologia cientifica
Metodologia cientificaMetodologia cientifica
Metodologia cientificajaddy xavier
 
Aula 2 - Indicadores, taxas e coeficientes.pdf
Aula 2 - Indicadores, taxas e coeficientes.pdfAula 2 - Indicadores, taxas e coeficientes.pdf
Aula 2 - Indicadores, taxas e coeficientes.pdfssuser35d440
 
Resenha crítica modelo
Resenha crítica   modeloResenha crítica   modelo
Resenha crítica modelotaise_paz
 
Aula 11 associação de resistores
Aula 11   associação de resistoresAula 11   associação de resistores
Aula 11 associação de resistoresMontenegro Física
 

Mais procurados (20)

Estatística
EstatísticaEstatística
Estatística
 
Distribuição de frequencia
Distribuição de frequenciaDistribuição de frequencia
Distribuição de frequencia
 
Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatória
 
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
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Ciências 9º Ano (Física): estudo dos movimentos: Conceitos Básicos de Cinemática
Ciências 9º Ano (Física): estudo dos movimentos: Conceitos Básicos de CinemáticaCiências 9º Ano (Física): estudo dos movimentos: Conceitos Básicos de Cinemática
Ciências 9º Ano (Física): estudo dos movimentos: Conceitos Básicos de Cinemática
 
Contexto e Aplicações Dante - vol 1.pdf
Contexto e Aplicações Dante - vol 1.pdfContexto e Aplicações Dante - vol 1.pdf
Contexto e Aplicações Dante - vol 1.pdf
 
Slides eletrostatica
Slides eletrostaticaSlides eletrostatica
Slides eletrostatica
 
Função.quadratica
Função.quadraticaFunção.quadratica
Função.quadratica
 
Aula de fração
Aula de fraçãoAula de fração
Aula de fração
 
Moda, Média e Mediana
Moda, Média e MedianaModa, Média e Mediana
Moda, Média e Mediana
 
Exemplo de um artigo cientifico ( modelo paper)
Exemplo de um artigo cientifico ( modelo paper)Exemplo de um artigo cientifico ( modelo paper)
Exemplo de um artigo cientifico ( modelo paper)
 
Exercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição BinomialExercícios Resolvidos: Distribuição Binomial
Exercícios Resolvidos: Distribuição Binomial
 
Metodologia cientifica
Metodologia cientificaMetodologia cientifica
Metodologia cientifica
 
Sistemas lineares
Sistemas linearesSistemas lineares
Sistemas lineares
 
Aula 2 - Indicadores, taxas e coeficientes.pdf
Aula 2 - Indicadores, taxas e coeficientes.pdfAula 2 - Indicadores, taxas e coeficientes.pdf
Aula 2 - Indicadores, taxas e coeficientes.pdf
 
Resenha crítica modelo
Resenha crítica   modeloResenha crítica   modelo
Resenha crítica modelo
 
Ppt geometria analitica
Ppt geometria analiticaPpt geometria analitica
Ppt geometria analitica
 
Probabilidade
ProbabilidadeProbabilidade
Probabilidade
 
Aula 11 associação de resistores
Aula 11   associação de resistoresAula 11   associação de resistores
Aula 11 associação de resistores
 

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