SlideShare une entreprise Scribd logo
1  sur  19
CONTRUÇÃO DA TABELA-
VERDADE
MATEMÁTICA COMPUTACIONAL
ADS FACEMA 1º PERÍODO
PROF. ARISTÓTELES MENESES LIMA
CONSTRUÇÃO DA TABELA-VERDADE

 Segundo o princípio do terceiro
 excluído, toda proposição simples é
 verdadeira (V) ou é falsa (F).
Em se tratando de uma proposição
 composta, a determinação do seu
 valor lógico, depende unicamente
 dos valores lógicos das proposições
 simples componentes.
DETERMINAÇÃO DO VALOR LÓGICO DA
PROPOSIÇÃO COMPOSTA

 Para determinar o valor lógico de uma
  proposição composta, recorre-se quase sempre a
  um dispositivo denominado TABELA-VERDADE.
Exemplo: No caso de uma proposição composta
cujas proposições simples componentes são p e q,
as únicas possíveis atribuições de valores lógicos a p
e a q são:
                         p     q

                  1     V      V
                  2     V      F
                  3     F      V
                  4     F      F
Exemplo:      No caso de uma proposição composta cujas
proposições simples componentes são p, q e r, as únicas
possíveis atribuições de valores lógicos a p, a q e a r são:



                       p       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
OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES:
  Negação (~): Chama-se negação de uma
  proposição p, a proposição representada por “não
  p”, cujo valor lógico é a verdade (V) quando p é
  falsa e a falsidade (F) quando p é verdadeira.
 “~p”



                     p      ~p

                     V      F

                     F      V
 Conjunção (^): Chama-se de conjunção de duas
  proposições p e q a proposição representada por “p e
  q”, cujo valor lógico é (V) quando as proposições p e q
  são ambas verdadeiras e (F) nos demais casos.
  (Conjunção = união)
 “p ^ q” = p e q

                    p      q    p^q

                    V     V      V

                    V     F      F

                    F     V      F

                    F     F      F
 Disjunção(V)(ou Disjunção inclusiva):
Chama-se de disjunção de duas proposições p e q a
proposição representada por “p ou q”, cujo valor lógico é
(V), quando ao menos uma das proposições p e q é
(V).E a falsidade(F) quando as proposições p e q são
ambas falsas. (Disjunção = separação)
 “p V q” = p ou q

                     p      Q      pVq

                     V      V       V

                     V       F      V

                     F      V       V

                     F       F      F
   Disjunção exclusiva ( V ):Chama-se de disjunção
    exclusiva de duas proposições p e q, cujo valor lógico
    é a verdade (V) somente quando p é verdadeira ou
    q é verdadeira, mas não quando p e q são ambas
    verdadeiras, e a falsidade (F) quando p e q são ambas
    verdadeiras ou ambas falsas.

                      p       q    pV q

                      V       V       F

                      V       F       V

                      F       V       V

                      F       F       F

   Na linguagem comum a palavra ou tem dois sentidos: o
    sentido inclusivo e o exclusivo.
EXEMPLOS

P: Carlos é médico ou professor.
 (disjunção inclusiva - V)

Q:  Mário é alagoano ou gaúcho.
 (disjunção exclusiva- V )
CONDICIONAL ( → ):
 Chama-se de proposição condicional ou apenas
  condicional uma proposição representada por “se p
  então q”, cujo valor lógico é a falsidade (F) no caso
  em que p é verdadeira e q é falsa e a verdade(V)
  nos demais casos.
 “p → q”
                      p      Q    p→ q

                      V      V      V

                      V      F      F

                      F      V      V

                      F      F      V
 Uma  condicional p → q não afirma que o
 consequente q se deduz ou é consequência
 do antecedente p.

 Sua tabela não é tão óbvia quanto as outras. A
 condicional significa que a verdade de p
 implica, ou leva, a verdade de q. Logo, se p é
 verdadeira e q é falsa, a condicional é falsa.

E ainda, a primeira proposição é independente
 da segunda.

p   é condição suficiente para q.
EXEMPLOS
 “Se  Roberto passar no teste de Cálculo, então
  ele vai ao cinema sexta-feira”.
 Se Roberto não passar no teste, então -
  independente de se ele vai ou não ao cinema-
  você não pode afirmar que a observação é
  falsa.
 O que uma condicional afirma é unicamente
  uma relação entre os valores lógicos das
  proposições. Não é uma relação de causa e
  efeito.
BICONDICIONAL ( ↔ ):
 Chama-se proposição bicondicional ou apenas
  bicondicional uma proposição representada por “p
  se e somente se q”, cujo valor lógico é a
  verdade(V) quando p e q são ambas verdadeiras
  ou ambas falsas, e a falsidade (F) nos demais
  casos.
 “p ↔ q”
                    p     q   p↔q
                    V     V    V
                    V     F    F
                    F     V    F
                    F     F    V
DETERMINAÇÃO DO VALOR LÓGICO
 Se  p é verdadeiro(V) e r é falso(F),
   determine o valor lógico de cada
   proposição:
a) p ^ ~r = V ^ V= V
b) p v ~r = V v V = V
c) ~p ^ r = F ^ F = F
d) ~p ^ ~r =F ^ V= F
e) ~p v ~r =F v V= V
f) p ^ (~p v r) = p ^ (F v F)= V ^ F = F
CONSTRUÇÃO DE TABELAS-VERDADE

EXEMPLO 1





    p       Q   ~q   p ^ ~q   ~(p ^ ~q)
    V       V   F        F        V
    V       F   V        V         F
    F       V   F        F        V
    F       F   V        F        V
EXEMPLO 2



p    q      r   ~r   p v ~r   q ^ ~r   p v ~r → q ^~r

V    V      V   F       V        F            F
V    V      F   V       V        V            V
V    F      V   F       V        F            F
V    F      F   V       V        F            F
F    V      V   F       F        F            V
F    V      F   V       V        V            V
F    F      V   F       F        F            V
F    F      F   V       V        F            F
EXEMPLO 3:

LISTA DE EXERCÍCIOS....

Contenu connexe

Tendances

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
 
Subjectivismo Moral
Subjectivismo MoralSubjectivismo Moral
Subjectivismo Moral
Bruno Pedro
 
A filosofia moral de kant
A filosofia moral de kantA filosofia moral de kant
A filosofia moral de kant
Filazambuja
 
A classificação das proposições categóricas
A classificação das proposições categóricasA classificação das proposições categóricas
A classificação das proposições categóricas
Luis De Sousa Rodrigues
 
Proposições condicionais e bicondicionais
Proposições condicionais e bicondicionaisProposições condicionais e bicondicionais
Proposições condicionais e bicondicionais
Sérgio de Castro
 
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
 

Tendances (20)

Comparação descartes hume
Comparação descartes   humeComparação descartes   hume
Comparação descartes hume
 
Argumentos por analogia
Argumentos por analogiaArgumentos por analogia
Argumentos por analogia
 
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
 
Subjectivismo Moral
Subjectivismo MoralSubjectivismo Moral
Subjectivismo Moral
 
A filosofia moral de kant
A filosofia moral de kantA filosofia moral de kant
A filosofia moral de kant
 
Logica formal e_informal
Logica formal e_informalLogica formal e_informal
Logica formal e_informal
 
Tipos de argumentos indutivos
Tipos de argumentos indutivosTipos de argumentos indutivos
Tipos de argumentos indutivos
 
Filosofia 10º Ano - O Problema do Livre-Arbítrio
Filosofia 10º Ano - O Problema do Livre-Arbítrio Filosofia 10º Ano - O Problema do Livre-Arbítrio
Filosofia 10º Ano - O Problema do Livre-Arbítrio
 
A classificação das proposições categóricas
A classificação das proposições categóricasA classificação das proposições categóricas
A classificação das proposições categóricas
 
Proposições condicionais e bicondicionais
Proposições condicionais e bicondicionaisProposições condicionais e bicondicionais
Proposições condicionais e bicondicionais
 
Popper contra o indutivismo
Popper contra o indutivismoPopper contra o indutivismo
Popper contra o indutivismo
 
A teoria ética de kant
A teoria ética de kantA teoria ética de kant
A teoria ética de kant
 
Da dúvida ao cogito
Da dúvida ao cogitoDa dúvida ao cogito
Da dúvida ao cogito
 
Conhecimento como crença verdadeira justificada
Conhecimento como crença verdadeira justificada Conhecimento como crença verdadeira justificada
Conhecimento como crença verdadeira justificada
 
Lógica e teoria de conjuntos ppt
Lógica e teoria de conjuntos  pptLógica e teoria de conjuntos  ppt
Lógica e teoria de conjuntos ppt
 
Filosofia resumo 3 10º
Filosofia   resumo 3  10ºFilosofia   resumo 3  10º
Filosofia resumo 3 10º
 
Popper – o problema da demarcação
Popper – o problema da demarcaçãoPopper – o problema da demarcação
Popper – o problema da demarcação
 
Popper e a indução
Popper e a induçãoPopper e a indução
Popper e a indução
 
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
 
Falácias
FaláciasFalácias
Falácias
 

Similaire à Contrução da tabela verdade

67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica
afpinto
 
Unidade 3 cap 1.2 (b) e cap 1.3
Unidade 3 cap 1.2 (b) e cap 1.3Unidade 3 cap 1.2 (b) e cap 1.3
Unidade 3 cap 1.2 (b) e cap 1.3
Manuel Matos
 
Proposições simples e compostas
Proposições simples e compostasProposições simples e compostas
Proposições simples e compostas
Bruno Freitas
 
Proposições simples e compostas
Proposições simples e compostasProposições simples e compostas
Proposições simples e compostas
Bruno Freitas
 
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
 

Similaire à Contrução da tabela verdade (20)

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
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Resumo introdução lógica pdf
Resumo introdução lógica pdfResumo introdução lógica pdf
Resumo introdução lógica pdf
 
1 -logica_proposicional
1  -logica_proposicional1  -logica_proposicional
1 -logica_proposicional
 
Modulo i
Modulo iModulo i
Modulo i
 
67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica
 
1 tabelas verdade
1 tabelas verdade1 tabelas verdade
1 tabelas verdade
 
Unidade 3 cap 1.2 (b) e cap 1.3
Unidade 3 cap 1.2 (b) e cap 1.3Unidade 3 cap 1.2 (b) e cap 1.3
Unidade 3 cap 1.2 (b) e cap 1.3
 
Lógica+20..
Lógica+20..Lógica+20..
Lógica+20..
 
Lógica+20..2
Lógica+20..2Lógica+20..2
Lógica+20..2
 
Proposições simples e compostas
Proposições simples e compostasProposições simples e compostas
Proposições simples e compostas
 
Proposições simples e compostas
Proposições simples e compostasProposições simples e compostas
Proposições simples e compostas
 
Apostilam01 tabela verdade
Apostilam01 tabela verdadeApostilam01 tabela verdade
Apostilam01 tabela verdade
 
Racicínio Lógico
 Racicínio Lógico Racicínio Lógico
Racicínio Lógico
 
Aula 03
Aula 03Aula 03
Aula 03
 
Aula negação
Aula negaçãoAula negação
Aula negação
 
Condições
CondiçõesCondições
Condições
 
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
 
tabela verdade
  tabela verdade  tabela verdade
tabela verdade
 

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
 
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
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 

Contrução da tabela verdade

  • 1. CONTRUÇÃO DA TABELA- VERDADE MATEMÁTICA COMPUTACIONAL ADS FACEMA 1º PERÍODO PROF. ARISTÓTELES MENESES LIMA
  • 2. CONSTRUÇÃO DA TABELA-VERDADE  Segundo o princípio do terceiro excluído, toda proposição simples é verdadeira (V) ou é falsa (F). Em se tratando de uma proposição composta, a determinação do seu valor lógico, depende unicamente dos valores lógicos das proposições simples componentes.
  • 3. DETERMINAÇÃO DO VALOR LÓGICO DA PROPOSIÇÃO COMPOSTA  Para determinar o valor lógico de uma proposição composta, recorre-se quase sempre a um dispositivo denominado TABELA-VERDADE. Exemplo: No caso de uma proposição composta cujas proposições simples componentes são p e q, as únicas possíveis atribuições de valores lógicos a p e a q são: p q 1 V V 2 V F 3 F V 4 F F
  • 4. Exemplo: No caso de uma proposição composta cujas proposições simples componentes são p, q e r, as únicas possíveis atribuições de valores lógicos a p, a q e a r são: p 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
  • 5. OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES:  Negação (~): Chama-se negação de uma proposição p, a proposição representada por “não p”, cujo valor lógico é a verdade (V) quando p é falsa e a falsidade (F) quando p é verdadeira.  “~p” p ~p V F F V
  • 6.  Conjunção (^): Chama-se de conjunção de duas proposições p e q a proposição representada por “p e q”, cujo valor lógico é (V) quando as proposições p e q são ambas verdadeiras e (F) nos demais casos. (Conjunção = união)  “p ^ q” = p e q p q p^q V V V V F F F V F F F F
  • 7.  Disjunção(V)(ou Disjunção inclusiva): Chama-se de disjunção de duas proposições p e q a proposição representada por “p ou q”, cujo valor lógico é (V), quando ao menos uma das proposições p e q é (V).E a falsidade(F) quando as proposições p e q são ambas falsas. (Disjunção = separação)  “p V q” = p ou q p Q pVq V V V V F V F V V F F F
  • 8. Disjunção exclusiva ( V ):Chama-se de disjunção exclusiva de duas proposições p e q, cujo valor lógico é a verdade (V) somente quando p é verdadeira ou q é verdadeira, mas não quando p e q são ambas verdadeiras, e a falsidade (F) quando p e q são ambas verdadeiras ou ambas falsas. p q pV q V V F V F V F V V F F F  Na linguagem comum a palavra ou tem dois sentidos: o sentido inclusivo e o exclusivo.
  • 9. EXEMPLOS P: Carlos é médico ou professor. (disjunção inclusiva - V) Q: Mário é alagoano ou gaúcho. (disjunção exclusiva- V )
  • 10. CONDICIONAL ( → ):  Chama-se de proposição condicional ou apenas condicional uma proposição representada por “se p então q”, cujo valor lógico é a falsidade (F) no caso em que p é verdadeira e q é falsa e a verdade(V) nos demais casos.  “p → q” p Q p→ q V V V V F F F V V F F V
  • 11.  Uma condicional p → q não afirma que o consequente q se deduz ou é consequência do antecedente p.  Sua tabela não é tão óbvia quanto as outras. A condicional significa que a verdade de p implica, ou leva, a verdade de q. Logo, se p é verdadeira e q é falsa, a condicional é falsa. E ainda, a primeira proposição é independente da segunda. p é condição suficiente para q.
  • 12. EXEMPLOS  “Se Roberto passar no teste de Cálculo, então ele vai ao cinema sexta-feira”.  Se Roberto não passar no teste, então - independente de se ele vai ou não ao cinema- você não pode afirmar que a observação é falsa.  O que uma condicional afirma é unicamente uma relação entre os valores lógicos das proposições. Não é uma relação de causa e efeito.
  • 13. BICONDICIONAL ( ↔ ):  Chama-se proposição bicondicional ou apenas bicondicional uma proposição representada por “p se e somente se q”, cujo valor lógico é a verdade(V) quando p e q são ambas verdadeiras ou ambas falsas, e a falsidade (F) nos demais casos.  “p ↔ q” p q p↔q V V V V F F F V F F F V
  • 14. DETERMINAÇÃO DO VALOR LÓGICO  Se p é verdadeiro(V) e r é falso(F), determine o valor lógico de cada proposição: a) p ^ ~r = V ^ V= V b) p v ~r = V v V = V c) ~p ^ r = F ^ F = F d) ~p ^ ~r =F ^ V= F e) ~p v ~r =F v V= V f) p ^ (~p v r) = p ^ (F v F)= V ^ F = F
  • 16. EXEMPLO 1  p Q ~q p ^ ~q ~(p ^ ~q) V V F F V V F V V F F V F F V F F V F V
  • 17. EXEMPLO 2  p q r ~r p v ~r q ^ ~r p v ~r → q ^~r V V V F V F F V V F V V V V V F V F V F F V F F V V F F F V V F F F V F V F V V V V F F V F F F V F F F V V F F