SlideShare une entreprise Scribd logo
1  sur  15
Prof. Emmanuel Fraga
 Temas:
•A 2ª Operação do Espírito (cont.)   webmaster@etevm.g12.br
•Tabelas-verdade
1)Negação: Dada uma frase p, que pode ser V ou F,
  sua negação - que se indica por "~p" - será,
  respectivamente F ou V.
2)Conjunção: Dadas duas frases p e q, que podem
  ser V ou F, a frase "p e q" será V apenas quando cada
  uma das frases iniciais for V.
3)Disjunção: Dadas duas frases p e q, que podem
  ser V ou F, a frase "p ou q" será F apenas quando cada
  uma das frases iniciais for F.
4)Condicional: Dadas duas frases p e q, que
  podem ser V ou F, a frase "se p então q" será F apenas
  no caso em que p é V e q é F.
Exemplo do Aladim e lâmpada:
    “Se Aladim esfregar a lâmpada
      maravilhosa, então o gênio
              aparecerá”.

Situação 1: p q verdadeiro: Significa
  que toda vez que Aladim esfregar a
  lâmpada, o gênio aparecerá, ou seja,
  nunca acontecrá uma situação na qual
  Aladim esfregue a lâmpada e o gênio não
  apareça.
Exemplo do Aladim e lâmpada:
    “Se Aladim esfregar a lâmpada
      maravilhosa, então o gênio
              aparecerá”.

Situação 2: p q falso: Aladim esfregou
  a lâmpada e o gênio não apareceu. O
  condicional, neste caso, será falso, uma
  vez que nega a necessidade lógica dada
  pela própria definição de condiconal.
Exemplo do Aladim e lâmpada:
     “Se Aladim esfregar a lâmpada
   maravilhosa, então o gênio aparecerá”.

Situação 3: p q verdadeiro: Aladim
  não esfregou a lâmpada e...
a)O gênio apareceu
b)O gênio não apareceu

A condição p q continua sendo verdadeira,
  pois o fato de Aladim não ter esfregado a
  lâmpada não torna esta condição falsa.
5)Bicondicional: Dadas duas frases p e q, que
   podem ser V ou F, a frase "p se e somente se q" ou "p é
   equivalente a q" será verdadeira quando ambas forem
   verdadeiras
ou ambas
 forem falsas.
5)Disjunção exclusiva: Dadas duas frases p e q,
  que podem ser V ou F, a frase "p ou q, mas não ambas"
  será verdadeira quando os valores lógicos forem
  distintos e nunca iguais.
Represente as proposições abaixo, segundo o modelo:
p= Aquiles é um herói
q= Pégasus é um cavalo alado
Ex: p v q = (Aquiles é um herói e Pégasus é um cavalo alado)

a)Disjuntiva:
b)Condicional:
c)Bicondicional:
d)Disjuntiva exclusiva:
e)Aquile é herói e Pégasus não é um cavalo alado
p    q      ~p     ~p   (p ^q)   (p v q)   (p  q)   (pq)   (p v q)
1 V   V
2 V   V
3 V   F
4 V   F



          (p v q)         ~p       (p v q)~p


                     
p   q   r   (p q)   [(p q)v r]
1   V   V   V   V        V
2   V   V   F   V        F
3   V   F   V   F        F
4   V   F   F   F        F
5   F   V   V   V        V
6   F   V   F   V        F
7   F   F   V   V        V
8   F   F   F   V        F
Construir o valor verdade de [p v (~q ^ r)]

    p        q        r        ~q        (~q ^ r)   [p v (~q ^ r)]

1   V        V        V
2   V        V        F
3   V        F        V
4   V        F        F
5   F        V        V
6   F        V        F
7   F        F        V
8   F        F        F
Construir o valor verdade de [p v (~q ^ r)]

    p      q     r      ~q       (~q ^ r)   [p v (~q ^r)]
1   V      V     V      F        F          V
2   V      V     F      F        F          V
3   V      F     V      V        V          V
4   V      F     F      V        F          V
5   F      V     V      F        F          F
6   F      V     F      F        F          F
7   F      F     V      V        V          V
8   F      F     F      V        F          F

Contenu connexe

Tendances

Matemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesMatemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesUlrich Schiel
 
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)wilkerfilipel
 
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áticaAristóteles Meneses
 
Apostila matematica notacao formulas simbolos
Apostila matematica notacao formulas simbolosApostila matematica notacao formulas simbolos
Apostila matematica notacao formulas simbolostrigono_metria
 
Matemática Discreta - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - IntroduçãoUlrich Schiel
 
Lógica e Matemática Computacional - Exercícios 03
Lógica e Matemática Computacional - Exercícios 03Lógica e Matemática Computacional - Exercícios 03
Lógica e Matemática Computacional - Exercícios 03thomasdacosta
 
Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)Rodrigo Thiago Passos Silva
 
Tipos e Formas de Frase
 Tipos e Formas de  Frase Tipos e Formas de  Frase
Tipos e Formas de FraseA. Simoes
 
Verbos conjugados português
Verbos conjugados   portuguêsVerbos conjugados   português
Verbos conjugados portuguêsJocelio Costa
 
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 01thomasdacosta
 
Estrutura Das Palavras
Estrutura Das PalavrasEstrutura Das Palavras
Estrutura Das Palavrasguest7174ad
 
Encontros consonantais
Encontros consonantaisEncontros consonantais
Encontros consonantaisJohnny Freitas
 
Exercicios Filas (Queues) - Estruturas de dados e algoritmos com Java
Exercicios Filas (Queues) - Estruturas de dados e algoritmos com JavaExercicios Filas (Queues) - Estruturas de dados e algoritmos com Java
Exercicios Filas (Queues) - Estruturas de dados e algoritmos com JavaLoiane Groner
 

Tendances (20)

Quadro desinencias verbais
Quadro desinencias verbaisQuadro desinencias verbais
Quadro desinencias verbais
 
Matemática Discreta - Parte V relações
Matemática Discreta - Parte V relaçõesMatemática Discreta - Parte V relações
Matemática Discreta - Parte V relações
 
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)
 
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
 
Apostila matematica notacao formulas simbolos
Apostila matematica notacao formulas simbolosApostila matematica notacao formulas simbolos
Apostila matematica notacao formulas simbolos
 
Matemática Discreta - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - Introdução
 
Lógica e Matemática Computacional - Exercícios 03
Lógica e Matemática Computacional - Exercícios 03Lógica e Matemática Computacional - Exercícios 03
Lógica e Matemática Computacional - Exercícios 03
 
arte de fazer perguntas[1]-1.pdf
arte de fazer perguntas[1]-1.pdfarte de fazer perguntas[1]-1.pdf
arte de fazer perguntas[1]-1.pdf
 
Variaveis complexas
Variaveis complexasVariaveis complexas
Variaveis complexas
 
Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)Exercícios - Princípio da Indução Finita (PIF)
Exercícios - Princípio da Indução Finita (PIF)
 
Aula 2 raciocínio lógico
Aula 2   raciocínio lógicoAula 2   raciocínio lógico
Aula 2 raciocínio lógico
 
Tipos e Formas de Frase
 Tipos e Formas de  Frase Tipos e Formas de  Frase
Tipos e Formas de Frase
 
Raciocínio lógico parte 1
Raciocínio lógico   parte 1Raciocínio lógico   parte 1
Raciocínio lógico parte 1
 
Lesson3
Lesson3Lesson3
Lesson3
 
Verbos conjugados português
Verbos conjugados   portuguêsVerbos conjugados   português
Verbos conjugados português
 
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
 
As classes Gramaticais
As classes GramaticaisAs classes Gramaticais
As classes Gramaticais
 
Estrutura Das Palavras
Estrutura Das PalavrasEstrutura Das Palavras
Estrutura Das Palavras
 
Encontros consonantais
Encontros consonantaisEncontros consonantais
Encontros consonantais
 
Exercicios Filas (Queues) - Estruturas de dados e algoritmos com Java
Exercicios Filas (Queues) - Estruturas de dados e algoritmos com JavaExercicios Filas (Queues) - Estruturas de dados e algoritmos com Java
Exercicios Filas (Queues) - Estruturas de dados e algoritmos com Java
 

Similaire à Lógica proposicional tabelas-verdade

Similaire à Lógica proposicional tabelas-verdade (7)

Contrução da tabela verdade
Contrução da tabela verdadeContrução da tabela verdade
Contrução da tabela verdade
 
tabela verdade
  tabela verdade  tabela verdade
tabela verdade
 
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
 
Enunciado ficha logica
Enunciado ficha logicaEnunciado ficha logica
Enunciado ficha logica
 
Aula 03
Aula 03Aula 03
Aula 03
 
Racicínio Lógico
 Racicínio Lógico Racicínio Lógico
Racicínio Lógico
 
Lógica Simbólica
Lógica SimbólicaLógica Simbólica
Lógica Simbólica
 

Plus de Emmanuel Fraga

Instruções para a Avaliação
Instruções para a AvaliaçãoInstruções para a Avaliação
Instruções para a AvaliaçãoEmmanuel Fraga
 
Conceitos básicos da sociologia
Conceitos básicos da sociologiaConceitos básicos da sociologia
Conceitos básicos da sociologiaEmmanuel Fraga
 
O Surgimento sociologia
O Surgimento sociologiaO Surgimento sociologia
O Surgimento sociologiaEmmanuel Fraga
 
Aula 12: 3ª Operação do Espírito (Raciocínio)
Aula 12: 3ª Operação do Espírito (Raciocínio)Aula 12: 3ª Operação do Espírito (Raciocínio)
Aula 12: 3ª Operação do Espírito (Raciocínio)Emmanuel Fraga
 
A finalidade e a importancia do ppp
A finalidade e a importancia do pppA finalidade e a importancia do ppp
A finalidade e a importancia do pppEmmanuel Fraga
 
Apresentação da Servidora Viviane
Apresentação da Servidora VivianeApresentação da Servidora Viviane
Apresentação da Servidora VivianeEmmanuel Fraga
 
Apresentação do Servidor EDSON
Apresentação do  Servidor EDSONApresentação do  Servidor EDSON
Apresentação do Servidor EDSONEmmanuel Fraga
 
Lógica - A 2ª Operação do Intelecto
Lógica - A 2ª Operação do IntelectoLógica - A 2ª Operação do Intelecto
Lógica - A 2ª Operação do IntelectoEmmanuel Fraga
 
Lógica - A 1ª Operação do Intelecto
Lógica - A 1ª Operação do IntelectoLógica - A 1ª Operação do Intelecto
Lógica - A 1ª Operação do IntelectoEmmanuel Fraga
 
Lógica- 1ª Parte (CONCEITO)
Lógica- 1ª Parte (CONCEITO)Lógica- 1ª Parte (CONCEITO)
Lógica- 1ª Parte (CONCEITO)Emmanuel Fraga
 
Curso Moodle: regras e dicas de conduta
Curso Moodle: regras e dicas de condutaCurso Moodle: regras e dicas de conduta
Curso Moodle: regras e dicas de condutaEmmanuel Fraga
 

Plus de Emmanuel Fraga (13)

Instruções para a Avaliação
Instruções para a AvaliaçãoInstruções para a Avaliação
Instruções para a Avaliação
 
Conceitos básicos da sociologia
Conceitos básicos da sociologiaConceitos básicos da sociologia
Conceitos básicos da sociologia
 
O Surgimento sociologia
O Surgimento sociologiaO Surgimento sociologia
O Surgimento sociologia
 
Emi para supervisores
Emi para supervisoresEmi para supervisores
Emi para supervisores
 
Aula 13: Falácias
Aula 13: FaláciasAula 13: Falácias
Aula 13: Falácias
 
Aula 12: 3ª Operação do Espírito (Raciocínio)
Aula 12: 3ª Operação do Espírito (Raciocínio)Aula 12: 3ª Operação do Espírito (Raciocínio)
Aula 12: 3ª Operação do Espírito (Raciocínio)
 
A finalidade e a importancia do ppp
A finalidade e a importancia do pppA finalidade e a importancia do ppp
A finalidade e a importancia do ppp
 
Apresentação da Servidora Viviane
Apresentação da Servidora VivianeApresentação da Servidora Viviane
Apresentação da Servidora Viviane
 
Apresentação do Servidor EDSON
Apresentação do  Servidor EDSONApresentação do  Servidor EDSON
Apresentação do Servidor EDSON
 
Lógica - A 2ª Operação do Intelecto
Lógica - A 2ª Operação do IntelectoLógica - A 2ª Operação do Intelecto
Lógica - A 2ª Operação do Intelecto
 
Lógica - A 1ª Operação do Intelecto
Lógica - A 1ª Operação do IntelectoLógica - A 1ª Operação do Intelecto
Lógica - A 1ª Operação do Intelecto
 
Lógica- 1ª Parte (CONCEITO)
Lógica- 1ª Parte (CONCEITO)Lógica- 1ª Parte (CONCEITO)
Lógica- 1ª Parte (CONCEITO)
 
Curso Moodle: regras e dicas de conduta
Curso Moodle: regras e dicas de condutaCurso Moodle: regras e dicas de conduta
Curso Moodle: regras e dicas de conduta
 

Dernier

trabalho wanda rocha ditadura
trabalho wanda rocha ditaduratrabalho wanda rocha ditadura
trabalho wanda rocha ditaduraAdryan Luiz
 
Cultura e Literatura indígenas: uma análise do poema “O silêncio”, de Kent Ne...
Cultura e Literatura indígenas: uma análise do poema “O silêncio”, de Kent Ne...Cultura e Literatura indígenas: uma análise do poema “O silêncio”, de Kent Ne...
Cultura e Literatura indígenas: uma análise do poema “O silêncio”, de Kent Ne...ArianeLima50
 
Bullying - Atividade com caça- palavras
Bullying   - Atividade com  caça- palavrasBullying   - Atividade com  caça- palavras
Bullying - Atividade com caça- palavrasMary Alvarenga
 
Slides 1 - O gênero textual entrevista.pptx
Slides 1 - O gênero textual entrevista.pptxSlides 1 - O gênero textual entrevista.pptx
Slides 1 - O gênero textual entrevista.pptxSilvana Silva
 
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptxSlides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptxLuizHenriquedeAlmeid6
 
GÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - CartumGÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - CartumAugusto Costa
 
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptxATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptxOsnilReis1
 
A Arte de Escrever Poemas - Dia das Mães
A Arte de Escrever Poemas - Dia das MãesA Arte de Escrever Poemas - Dia das Mães
A Arte de Escrever Poemas - Dia das MãesMary Alvarenga
 
A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.silves15
 
UFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdfUFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdfManuais Formação
 
Universidade Empreendedora como uma Plataforma para o Bem comum
Universidade Empreendedora como uma Plataforma para o Bem comumUniversidade Empreendedora como uma Plataforma para o Bem comum
Universidade Empreendedora como uma Plataforma para o Bem comumPatrícia de Sá Freire, PhD. Eng.
 
Recurso Casa das Ciências: Sistemas de Partículas
Recurso Casa das Ciências: Sistemas de PartículasRecurso Casa das Ciências: Sistemas de Partículas
Recurso Casa das Ciências: Sistemas de PartículasCasa Ciências
 
Música Meu Abrigo - Texto e atividade
Música   Meu   Abrigo  -   Texto e atividadeMúsica   Meu   Abrigo  -   Texto e atividade
Música Meu Abrigo - Texto e atividadeMary Alvarenga
 
“Sobrou pra mim” - Conto de Ruth Rocha.pptx
“Sobrou pra mim” - Conto de Ruth Rocha.pptx“Sobrou pra mim” - Conto de Ruth Rocha.pptx
“Sobrou pra mim” - Conto de Ruth Rocha.pptxthaisamaral9365923
 
ALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolaresALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolaresLilianPiola
 
ABRIL VERDE.pptx Slide sobre abril ver 2024
ABRIL VERDE.pptx Slide sobre abril ver 2024ABRIL VERDE.pptx Slide sobre abril ver 2024
ABRIL VERDE.pptx Slide sobre abril ver 2024Jeanoliveira597523
 
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptxAD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptxkarinedarozabatista
 

Dernier (20)

trabalho wanda rocha ditadura
trabalho wanda rocha ditaduratrabalho wanda rocha ditadura
trabalho wanda rocha ditadura
 
Cultura e Literatura indígenas: uma análise do poema “O silêncio”, de Kent Ne...
Cultura e Literatura indígenas: uma análise do poema “O silêncio”, de Kent Ne...Cultura e Literatura indígenas: uma análise do poema “O silêncio”, de Kent Ne...
Cultura e Literatura indígenas: uma análise do poema “O silêncio”, de Kent Ne...
 
Em tempo de Quaresma .
Em tempo de Quaresma                            .Em tempo de Quaresma                            .
Em tempo de Quaresma .
 
Bullying - Atividade com caça- palavras
Bullying   - Atividade com  caça- palavrasBullying   - Atividade com  caça- palavras
Bullying - Atividade com caça- palavras
 
Slides 1 - O gênero textual entrevista.pptx
Slides 1 - O gênero textual entrevista.pptxSlides 1 - O gênero textual entrevista.pptx
Slides 1 - O gênero textual entrevista.pptx
 
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptxSlides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
Slides Lição 4, Betel, Ordenança quanto à contribuição financeira, 2Tr24.pptx
 
GÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - CartumGÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
GÊNERO TEXTUAL - TIRINHAS - Charges - Cartum
 
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptxATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
ATIVIDADE AVALIATIVA VOZES VERBAIS 7º ano.pptx
 
A Arte de Escrever Poemas - Dia das Mães
A Arte de Escrever Poemas - Dia das MãesA Arte de Escrever Poemas - Dia das Mães
A Arte de Escrever Poemas - Dia das Mães
 
A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.A horta do Senhor Lobo que protege a sua horta.
A horta do Senhor Lobo que protege a sua horta.
 
Bullying, sai pra lá
Bullying,  sai pra láBullying,  sai pra lá
Bullying, sai pra lá
 
UFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdfUFCD_10392_Intervenção em populações de risco_índice .pdf
UFCD_10392_Intervenção em populações de risco_índice .pdf
 
Universidade Empreendedora como uma Plataforma para o Bem comum
Universidade Empreendedora como uma Plataforma para o Bem comumUniversidade Empreendedora como uma Plataforma para o Bem comum
Universidade Empreendedora como uma Plataforma para o Bem comum
 
Recurso Casa das Ciências: Sistemas de Partículas
Recurso Casa das Ciências: Sistemas de PartículasRecurso Casa das Ciências: Sistemas de Partículas
Recurso Casa das Ciências: Sistemas de Partículas
 
Música Meu Abrigo - Texto e atividade
Música   Meu   Abrigo  -   Texto e atividadeMúsica   Meu   Abrigo  -   Texto e atividade
Música Meu Abrigo - Texto e atividade
 
“Sobrou pra mim” - Conto de Ruth Rocha.pptx
“Sobrou pra mim” - Conto de Ruth Rocha.pptx“Sobrou pra mim” - Conto de Ruth Rocha.pptx
“Sobrou pra mim” - Conto de Ruth Rocha.pptx
 
ALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolaresALMANANHE DE BRINCADEIRAS - 500 atividades escolares
ALMANANHE DE BRINCADEIRAS - 500 atividades escolares
 
ABRIL VERDE.pptx Slide sobre abril ver 2024
ABRIL VERDE.pptx Slide sobre abril ver 2024ABRIL VERDE.pptx Slide sobre abril ver 2024
ABRIL VERDE.pptx Slide sobre abril ver 2024
 
XI OLIMPÍADAS DA LÍNGUA PORTUGUESA -
XI OLIMPÍADAS DA LÍNGUA PORTUGUESA      -XI OLIMPÍADAS DA LÍNGUA PORTUGUESA      -
XI OLIMPÍADAS DA LÍNGUA PORTUGUESA -
 
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptxAD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
AD2 DIDÁTICA.KARINEROZA.SHAYANNE.BINC.ROBERTA.pptx
 

Lógica proposicional tabelas-verdade

  • 1. Prof. Emmanuel Fraga Temas: •A 2ª Operação do Espírito (cont.) webmaster@etevm.g12.br •Tabelas-verdade
  • 2. 1)Negação: Dada uma frase p, que pode ser V ou F, sua negação - que se indica por "~p" - será, respectivamente F ou V.
  • 3. 2)Conjunção: Dadas duas frases p e q, que podem ser V ou F, a frase "p e q" será V apenas quando cada uma das frases iniciais for V.
  • 4. 3)Disjunção: Dadas duas frases p e q, que podem ser V ou F, a frase "p ou q" será F apenas quando cada uma das frases iniciais for F.
  • 5. 4)Condicional: Dadas duas frases p e q, que podem ser V ou F, a frase "se p então q" será F apenas no caso em que p é V e q é F.
  • 6. Exemplo do Aladim e lâmpada: “Se Aladim esfregar a lâmpada maravilhosa, então o gênio aparecerá”. Situação 1: p q verdadeiro: Significa que toda vez que Aladim esfregar a lâmpada, o gênio aparecerá, ou seja, nunca acontecrá uma situação na qual Aladim esfregue a lâmpada e o gênio não apareça.
  • 7. Exemplo do Aladim e lâmpada: “Se Aladim esfregar a lâmpada maravilhosa, então o gênio aparecerá”. Situação 2: p q falso: Aladim esfregou a lâmpada e o gênio não apareceu. O condicional, neste caso, será falso, uma vez que nega a necessidade lógica dada pela própria definição de condiconal.
  • 8. Exemplo do Aladim e lâmpada: “Se Aladim esfregar a lâmpada maravilhosa, então o gênio aparecerá”. Situação 3: p q verdadeiro: Aladim não esfregou a lâmpada e... a)O gênio apareceu b)O gênio não apareceu A condição p q continua sendo verdadeira, pois o fato de Aladim não ter esfregado a lâmpada não torna esta condição falsa.
  • 9. 5)Bicondicional: Dadas duas frases p e q, que podem ser V ou F, a frase "p se e somente se q" ou "p é equivalente a q" será verdadeira quando ambas forem verdadeiras ou ambas forem falsas.
  • 10. 5)Disjunção exclusiva: Dadas duas frases p e q, que podem ser V ou F, a frase "p ou q, mas não ambas" será verdadeira quando os valores lógicos forem distintos e nunca iguais.
  • 11. Represente as proposições abaixo, segundo o modelo: p= Aquiles é um herói q= Pégasus é um cavalo alado Ex: p v q = (Aquiles é um herói e Pégasus é um cavalo alado) a)Disjuntiva: b)Condicional: c)Bicondicional: d)Disjuntiva exclusiva: e)Aquile é herói e Pégasus não é um cavalo alado
  • 12. p q ~p ~p (p ^q) (p v q) (p  q) (pq) (p v q) 1 V V 2 V V 3 V F 4 V F (p v q) ~p (p v q)~p 
  • 13. p q r (p q) [(p q)v r] 1 V V V V V 2 V V F V F 3 V F V F F 4 V F F F F 5 F V V V V 6 F V F V F 7 F F V V V 8 F F F V F
  • 14. Construir o valor verdade de [p v (~q ^ r)] p q r ~q (~q ^ r) [p v (~q ^ r)] 1 V V V 2 V V F 3 V F V 4 V F F 5 F V V 6 F V F 7 F F V 8 F F F
  • 15. Construir o valor verdade de [p v (~q ^ r)] p q r ~q (~q ^ r) [p v (~q ^r)] 1 V V V F F V 2 V V F F F V 3 V F V V V V 4 V F F V F V 5 F V V F F F 6 F V F F F F 7 F F V V V V 8 F F F V F F