SlideShare une entreprise Scribd logo
1  sur  9
TAUTOLOGIAS, CONTRADIÇÕES,
CONTIGÊNCIAS E EQUIVALÊNCIAS
       MATEMÁTICA COMPUTACIONAL
         1º PERÍODO ADS FACEMA
     PROF. ARISTÓTELES MENESES LIMA
CONCEITO
• TAUTOLOGIA
→ raciocínio que consiste em repetir com outras
palavras o que se pretende demonstrar.
→ função lógica que sempre se converte em
uma proposição verdadeira sejam quais forem os
valores assumidos por suas variáveis.
TAUTOLOGIA
• Uma tautologia é intrinsecamente verdadeira
  pela sua própria estrutura, ela é verdadeira
  independentemente dos valores lógicos
  atribuídos às suas letras de proposição.


        Exemplo: (p → q) ↔ (~q → ~p)
p       q   ~p      ~q   p→ q   ~q → ~p   (p → q) ↔ (~q →~p)



V   V           F    F     V        V             V

V   F           F    V     F        F             V

F   V       V        F     V        V             V

F   F       V        V     V        V             V
CONTRADIÇÃO
    • Uma contradição é intrinsecamente falsa pela
      sua própria estrutura.
    • Exemplo: (p v ~p) → ( q ∧ ~q)


p      q   ~p   ~q   p v ~p   q ∧ ~q   (p v ~p) → (q ∧ ~q)
V      V    F    F      V        F                F
V      F    F    V      V        F                F
F      V    V    F      V        F                F
F      F    V    V      V        F                F
CONTINGÊNCIAS



  • Uma contingência é toda proposição
    composta que não é tautologia nem
    contradição.
EQUIVALÊNCIAS LÓGICAS
• Uma proposição P é sempre logicamente
  equivalente ou apenas equivalente a uma
  proposição Q, se as tabelas-verdade
  destas duas proposições são idênticas.
• Em particular, se as proposições P e Q são
  ambas tautológicas ou são ambas
  contradições, então são equivalentes.
• Exemplo 1:
• As condicionais “p → p ∧ q” e “p → q” tem
  tabelas verdades idênticas.


  p   q p∧ q      p→p∧ q      p→q
  V   V     V         V           V
  V   F     F         F            F
  F   V     F         V           V
  F   F     F         V           V
• Exemplo 2:
• As condicionais “p ↔ q” e “(p → q) ∧ (q
  → p)” tem tabelas-verdades idênticas.


 p   q   p↔ q p→ q q→ p      (p → q) ∧ (q → p)
 V   V    V      V     V            V
 V   F    F      F     V            F
 F   V    F      V     F            F
 F   F    V      V     V            V

Contenu connexe

Tendances

Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatória
betencourt
 
A falácia da petição de princípio
A falácia da petição de princípioA falácia da petição de princípio
A falácia da petição de princípio
Luis De Sousa Rodrigues
 
Polinómios e monómios
Polinómios e monómiosPolinómios e monómios
Polinómios e monómios
aldaalves
 
Orações coordenadas e subordinadas esquema
Orações coordenadas e subordinadas   esquemaOrações coordenadas e subordinadas   esquema
Orações coordenadas e subordinadas esquema
Paulo Portelada
 
Formas de Inferência Válida e Falácias Formais sl
Formas de Inferência Válida e Falácias Formais slFormas de Inferência Válida e Falácias Formais sl
Formas de Inferência Válida e Falácias Formais sl
Joaquim Duarte
 
Equações do 2.º grau
Equações do 2.º grauEquações do 2.º grau
Equações do 2.º grau
aldaalves
 
Simetrias no plano e no Espaço
Simetrias no plano e no EspaçoSimetrias no plano e no Espaço
Simetrias no plano e no Espaço
Nome Sobrenome
 
Função afim 2013-2014
Função afim 2013-2014Função afim 2013-2014
Função afim 2013-2014
Carla Rebolo
 

Tendances (20)

Propriedades Da MultiplicaçãO De NúMeros Racionais
Propriedades Da MultiplicaçãO De NúMeros RacionaisPropriedades Da MultiplicaçãO De NúMeros Racionais
Propriedades Da MultiplicaçãO De NúMeros Racionais
 
Análise combinatória
Análise combinatóriaAnálise combinatória
Análise combinatória
 
Lógica Formal
Lógica FormalLógica Formal
Lógica Formal
 
A falácia da petição de princípio
A falácia da petição de princípioA falácia da petição de princípio
A falácia da petição de princípio
 
Polinómios e monómios
Polinómios e monómiosPolinómios e monómios
Polinómios e monómios
 
Lógica formal
Lógica formalLógica formal
Lógica formal
 
Dízimas finitas e infinitas periódicas
Dízimas finitas e infinitas periódicasDízimas finitas e infinitas periódicas
Dízimas finitas e infinitas periódicas
 
Orações coordenadas e subordinadas esquema
Orações coordenadas e subordinadas   esquemaOrações coordenadas e subordinadas   esquema
Orações coordenadas e subordinadas esquema
 
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)
 
Método Hipotético Dedutivo
 Método Hipotético Dedutivo Método Hipotético Dedutivo
Método Hipotético Dedutivo
 
Proporcionalidade inversa-funcao
Proporcionalidade inversa-funcaoProporcionalidade inversa-funcao
Proporcionalidade inversa-funcao
 
Formas de Inferência Válida e Falácias Formais sl
Formas de Inferência Válida e Falácias Formais slFormas de Inferência Válida e Falácias Formais sl
Formas de Inferência Válida e Falácias Formais sl
 
Sequências 6º ano
Sequências   6º anoSequências   6º ano
Sequências 6º ano
 
Equações do 2.º grau
Equações do 2.º grauEquações do 2.º grau
Equações do 2.º grau
 
funções sintaticas
 funções sintaticas funções sintaticas
funções sintaticas
 
Simetrias no plano e no Espaço
Simetrias no plano e no EspaçoSimetrias no plano e no Espaço
Simetrias no plano e no Espaço
 
Função de 1º Grau
Função de 1º GrauFunção de 1º Grau
Função de 1º Grau
 
RESUMO Matemática 9º ano
RESUMO Matemática 9º anoRESUMO Matemática 9º ano
RESUMO Matemática 9º ano
 
Função afim 2013-2014
Função afim 2013-2014Função afim 2013-2014
Função afim 2013-2014
 
06 retas-e-planos
06 retas-e-planos06 retas-e-planos
06 retas-e-planos
 

En vedette

Tautologias
TautologiasTautologias
Tautologias
paulocsm
 
LÓGICA ARISTOTÉLICA
LÓGICA ARISTOTÉLICALÓGICA ARISTOTÉLICA
LÓGICA ARISTOTÉLICA
Alan
 
Sucessor de um número inteiro
Sucessor de um número inteiroSucessor de um número inteiro
Sucessor de um número inteiro
Prof. Materaldo
 
A Ideologia Em Campanhas PublicitáRias
A Ideologia Em Campanhas PublicitáRiasA Ideologia Em Campanhas PublicitáRias
A Ideologia Em Campanhas PublicitáRias
Luciane Lira
 

En vedette (20)

Silogismos
SilogismosSilogismos
Silogismos
 
Aula 11 argumentos e regras de inferência alunos
Aula 11   argumentos e regras de inferência alunosAula 11   argumentos e regras de inferência alunos
Aula 11 argumentos e regras de inferência alunos
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Aula 12 - Lógica
Aula 12 - LógicaAula 12 - Lógica
Aula 12 - Lógica
 
Tipos de questão de rlm artigo 01 - com gabarito
Tipos de questão de rlm   artigo 01 - com gabaritoTipos de questão de rlm   artigo 01 - com gabarito
Tipos de questão de rlm artigo 01 - com gabarito
 
Lógica (especial): Tabela-verdade
Lógica (especial): Tabela-verdadeLógica (especial): Tabela-verdade
Lógica (especial): Tabela-verdade
 
Noções de lógica tautologias
Noções de lógica   tautologiasNoções de lógica   tautologias
Noções de lógica tautologias
 
Atender Bem ou Tratar Bem
Atender Bem ou Tratar BemAtender Bem ou Tratar Bem
Atender Bem ou Tratar Bem
 
Tautologias
TautologiasTautologias
Tautologias
 
LÓGICA ARISTOTÉLICA
LÓGICA ARISTOTÉLICALÓGICA ARISTOTÉLICA
LÓGICA ARISTOTÉLICA
 
Lógica do conceito
Lógica do conceitoLógica do conceito
Lógica do conceito
 
Passo 13 2007 1
Passo 13 2007 1Passo 13 2007 1
Passo 13 2007 1
 
Pérolas Publicitárias - Imprevistos transformam campanhas
Pérolas Publicitárias - Imprevistos transformam campanhasPérolas Publicitárias - Imprevistos transformam campanhas
Pérolas Publicitárias - Imprevistos transformam campanhas
 
Silogismo
SilogismoSilogismo
Silogismo
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Introdução à Lógica de Predicados
Introdução à Lógica de PredicadosIntrodução à Lógica de Predicados
Introdução à Lógica de Predicados
 
Sucessor de um número inteiro
Sucessor de um número inteiroSucessor de um número inteiro
Sucessor de um número inteiro
 
A Ideologia Em Campanhas PublicitáRias
A Ideologia Em Campanhas PublicitáRiasA Ideologia Em Campanhas PublicitáRias
A Ideologia Em Campanhas PublicitáRias
 
Logica
LogicaLogica
Logica
 
Lógica e Matemática Computacional - Aula 01
Lógica e Matemática Computacional - Aula 01Lógica e Matemática Computacional - Aula 01
Lógica e Matemática Computacional - Aula 01
 

Similaire à Tautologias, contradições, contigências e equivalências

67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica
afpinto
 
Noções básicas de lógica 2012 nota 01
Noções básicas de lógica 2012   nota 01Noções básicas de lógica 2012   nota 01
Noções básicas de lógica 2012 nota 01
Péricles Penuel
 
Como estudar raciocinio logico para concursos
Como estudar raciocinio logico para concursosComo estudar raciocinio logico para concursos
Como estudar raciocinio logico para concursos
resolvidos
 
Regras de inferência
Regras de inferênciaRegras de inferência
Regras de inferência
Isaque Tomé
 

Similaire à Tautologias, contradições, contigências e equivalências (20)

Racicínio Lógico
 Racicínio Lógico Racicínio Lógico
Racicí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
 
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
 
1 tabelas verdade
1 tabelas verdade1 tabelas verdade
1 tabelas verdade
 
67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica
 
Expoente 10 sintese tema i
Expoente 10 sintese tema iExpoente 10 sintese tema i
Expoente 10 sintese tema i
 
Noções básicas de lógica 2012 nota 01
Noções básicas de lógica 2012   nota 01Noções básicas de lógica 2012   nota 01
Noções básicas de lógica 2012 nota 01
 
Como estudar raciocinio logico para concursos
Como estudar raciocinio logico para concursosComo estudar raciocinio logico para concursos
Como estudar raciocinio logico para concursos
 
resumo de raciocínio logico logico.pptx
resumo de raciocínio logico  logico.pptxresumo de raciocínio logico  logico.pptx
resumo de raciocínio logico logico.pptx
 
Caderno - Lógica
Caderno - LógicaCaderno - Lógica
Caderno - Lógica
 
Lógica Simbólica
Lógica SimbólicaLógica Simbólica
Lógica Simbólica
 
Regras de inferência
Regras de inferênciaRegras de inferência
Regras de inferência
 
Mapas_Mentais_-_RacLogicoM.pdf
Mapas_Mentais_-_RacLogicoM.pdfMapas_Mentais_-_RacLogicoM.pdf
Mapas_Mentais_-_RacLogicoM.pdf
 
Aula negação
Aula negaçãoAula negação
Aula negação
 
Condições
CondiçõesCondições
Condições
 
Modulo i
Modulo iModulo i
Modulo i
 
tabela verdade
  tabela verdade  tabela verdade
tabela verdade
 
1 -logica_proposicional
1  -logica_proposicional1  -logica_proposicional
1 -logica_proposicional
 
Modulo iv
Modulo ivModulo iv
Modulo iv
 
Apostila logica-cespe
Apostila logica-cespeApostila logica-cespe
Apostila logica-cespe
 

Plus 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ão
Aristóteles Meneses
 
Permutação circulares repetição
Permutação circulares repetiçãoPermutação circulares repetição
Permutação circulares repetição
Aristóteles Meneses
 
Introdução à logica conceitos e exemplos
Introdução à logica   conceitos e exemplosIntrodução à logica   conceitos e exemplos
Introdução à logica conceitos e exemplos
Aristóteles Meneses
 
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
 
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
Aristóteles Meneses
 
Conjuntos continuação - aula 13-02
Conjuntos   continuação - aula 13-02Conjuntos   continuação - aula 13-02
Conjuntos continuação - aula 13-02
Aristóteles Meneses
 
Matemática computacional noções de lógica
Matemática computacional   noções de lógicaMatemática computacional   noções de lógica
Matemática computacional noções de lógica
Aristóteles Meneses
 

Plus 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
 
Introdução à logica conceitos e exemplos
Introdução à logica   conceitos e exemplosIntrodução à logica   conceitos e exemplos
Introdução à logica conceitos e exemplos
 
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
 
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
 
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
 
Conjuntos continuação - aula 13-02
Conjuntos   continuação - aula 13-02Conjuntos   continuação - aula 13-02
Conjuntos continuação - aula 13-02
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Matemática computacional noções de lógica
Matemática computacional   noções de lógicaMatemática computacional   noções de lógica
Matemática computacional noções de lógica
 
Fortalecimento da capacidade institucional da gee seduc em gestão
Fortalecimento da capacidade institucional da gee seduc em gestãoFortalecimento da capacidade institucional da gee seduc em gestão
Fortalecimento da capacidade institucional da gee seduc em gestão
 

Tautologias, contradições, contigências e equivalências

  • 1. TAUTOLOGIAS, CONTRADIÇÕES, CONTIGÊNCIAS E EQUIVALÊNCIAS MATEMÁTICA COMPUTACIONAL 1º PERÍODO ADS FACEMA PROF. ARISTÓTELES MENESES LIMA
  • 2. CONCEITO • TAUTOLOGIA → raciocínio que consiste em repetir com outras palavras o que se pretende demonstrar. → função lógica que sempre se converte em uma proposição verdadeira sejam quais forem os valores assumidos por suas variáveis.
  • 3. TAUTOLOGIA • Uma tautologia é intrinsecamente verdadeira pela sua própria estrutura, ela é verdadeira independentemente dos valores lógicos atribuídos às suas letras de proposição. Exemplo: (p → q) ↔ (~q → ~p)
  • 4. p q ~p ~q p→ q ~q → ~p (p → q) ↔ (~q →~p) V V F F V V V V F F V F F V F V V F V V V F F V V V V V
  • 5. CONTRADIÇÃO • Uma contradição é intrinsecamente falsa pela sua própria estrutura. • Exemplo: (p v ~p) → ( q ∧ ~q) p q ~p ~q p v ~p q ∧ ~q (p v ~p) → (q ∧ ~q) V V F F V F F V F F V V F F F V V F V F F F F V V V F F
  • 6. CONTINGÊNCIAS • Uma contingência é toda proposição composta que não é tautologia nem contradição.
  • 7. EQUIVALÊNCIAS LÓGICAS • Uma proposição P é sempre logicamente equivalente ou apenas equivalente a uma proposição Q, se as tabelas-verdade destas duas proposições são idênticas. • Em particular, se as proposições P e Q são ambas tautológicas ou são ambas contradições, então são equivalentes.
  • 8. • Exemplo 1: • As condicionais “p → p ∧ q” e “p → q” tem tabelas verdades idênticas. p q p∧ q p→p∧ q p→q V V V V V V F F F F F V F V V F F F V V
  • 9. • Exemplo 2: • As condicionais “p ↔ q” e “(p → q) ∧ (q → p)” tem tabelas-verdades idênticas. p q p↔ q p→ q q→ p (p → q) ∧ (q → p) V V V V V V V F F F V F F V F V F F F F V V V V