SlideShare ist ein Scribd-Unternehmen logo
1 von 10
LÓGICA
SIMBÓLICA
Conjunção
  Uma conjunção       p   q   p∧ q
só será verdadeira,
                      V   V   V
 quando ambas as
    partes que a      V   F   F
 compõe também
forem verdadeiras.    F   V   F
E falsa nos demais    F   F   F
       casos.
Disjunção
                    p   q   pvq
  Uma disjunção
                    V   V   V
  inclusiva será
 falsa quando as    V   F   V
duas partes que a
                    F   V   V
  compõe forem
  ambas falsas!     F   F   F
Disjunção
                    p   q   pwq
E uma disjunção
                    V   V   F
  exclusiva será
 falsa quando as    V   F   V
duas partes que a
  compõe forem      F   V   V
  ambas iguais!     F   F   F
Condicional
                      p   q   p→q
 Só será falsa esta
                      V   V   V
estrutura quando
houver a condição     V   F   F
 suficiente, mas o
     resultado        F   V   V
 necessário não se    F   F   V
    confirmar.
Bicondicional
                    p   q   p↔q
 Será verdadeira
                    V   V   V
      quando
   antecedente e    V   F   F
consequente forem
      ambos         F   V   F
  verdadeiros, ou   F   F   V
   quando forem
   ambos falsos.
Tautologia             Se Pedro estuda,
                           então será aprovado.
       Enunciados
tautológicos são aqueles        (p → q)
enunciados que sempre         Pedro não foi
 resultam verdadeiros,         aprovado.
 portanto, o argumento            (~q)
    é um argumento          Então, Pedro não
         válido.                estudou.
                                 (~p)
                           [(p → q).~q] →~p
Contradição              Aterra é um
                             planeta.
                                  p
Os enunciados cuja        A Terra não é um
 característica são           planeta.
aqueles enunciados               (~p)
que sempre resultam
    em falsidade.     p      ~p p v ~p
                      V      F          F
                      F      V          F
Pensando bem!
Atividade
                        “Sobre o que não
                          se pode falar,
FAZER ATIVIDADE
   DO LIVRO:             deve-se calar.”
   PÁGINA 148
                            Ludwig
 1º; 3º; 4º; 5º e 6º.
                          Wittgenstein

Weitere ähnliche Inhalte

Was ist angesagt?

Apostila completa de_lógica_-_204_páginas
Apostila completa de_lógica_-_204_páginasApostila completa de_lógica_-_204_páginas
Apostila completa de_lógica_-_204_páginas
Erica Surmay
 
Aula1 proposicoes e conectivos (1)
Aula1 proposicoes e conectivos (1)Aula1 proposicoes e conectivos (1)
Aula1 proposicoes e conectivos (1)
SEDUC-PA
 
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
 

Was ist angesagt? (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
 
Lógica (especial): Tabela-verdade
Lógica (especial): Tabela-verdadeLógica (especial): Tabela-verdade
Lógica (especial): Tabela-verdade
 
Apostilam01 tabela verdade
Apostilam01 tabela verdadeApostilam01 tabela verdade
Apostilam01 tabela verdade
 
Apostila completa de_lógica_-_204_páginas
Apostila completa de_lógica_-_204_páginasApostila completa de_lógica_-_204_páginas
Apostila completa de_lógica_-_204_páginas
 
Logica proposicional convertido
Logica proposicional convertidoLogica proposicional convertido
Logica proposicional convertido
 
tabela verdade
  tabela verdade  tabela verdade
tabela verdade
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Caderno - Lógica
Caderno - LógicaCaderno - Lógica
Caderno - Lógica
 
Apostila logica proposicoes-conectivos-tabela-verdade
Apostila logica proposicoes-conectivos-tabela-verdadeApostila logica proposicoes-conectivos-tabela-verdade
Apostila logica proposicoes-conectivos-tabela-verdade
 
Raciocínio lógico parte 1
Raciocínio lógico   parte 1Raciocínio lógico   parte 1
Raciocínio lógico parte 1
 
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 2 raciocínio lógico
Aula 2   raciocínio lógicoAula 2   raciocínio lógico
Aula 2 raciocínio lógico
 
Aula1 proposicoes e conectivos (1)
Aula1 proposicoes e conectivos (1)Aula1 proposicoes e conectivos (1)
Aula1 proposicoes e conectivos (1)
 
Implicação Lógica
Implicação LógicaImplicação Lógica
Implicação Lógica
 
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
 
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
 
Ficha logica proposicional1
Ficha logica proposicional1Ficha logica proposicional1
Ficha logica proposicional1
 
Logica computacional
Logica computacionalLogica computacional
Logica computacional
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
m60
m60m60
m60
 

Andere mochten auch (8)

Conhecimento e verdade
Conhecimento e verdadeConhecimento e verdade
Conhecimento e verdade
 
Ejercicios logica matematica
Ejercicios logica matematicaEjercicios logica matematica
Ejercicios logica matematica
 
Verdade conhecimento e cidadania: o pensar e o agir no mundo
Verdade conhecimento e cidadania: o pensar e o agir no mundoVerdade conhecimento e cidadania: o pensar e o agir no mundo
Verdade conhecimento e cidadania: o pensar e o agir no mundo
 
O que é conhecimento - filosofia
O que é conhecimento - filosofiaO que é conhecimento - filosofia
O que é conhecimento - filosofia
 
Argumentação e lógica formal
Argumentação e lógica formalArgumentação e lógica formal
Argumentação e lógica formal
 
Argumentos por analogia
Argumentos por analogiaArgumentos por analogia
Argumentos por analogia
 
Aula 12 - Lógica
Aula 12 - LógicaAula 12 - Lógica
Aula 12 - Lógica
 
Filosofia e Conhecimento 1
Filosofia e Conhecimento 1Filosofia e Conhecimento 1
Filosofia e Conhecimento 1
 

Ähnlich wie Lógica Simbólica

Ähnlich wie Lógica Simbólica (7)

1 tabelas verdade
1 tabelas verdade1 tabelas verdade
1 tabelas verdade
 
Resumo introdução lógica pdf
Resumo introdução lógica pdfResumo introdução lógica pdf
Resumo introdução lógica pdf
 
67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica67431200 raciociniologicoexerciciosematematica
67431200 raciociniologicoexerciciosematematica
 
Aula 04
Aula 04Aula 04
Aula 04
 
Modulo i
Modulo iModulo i
Modulo i
 
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
 

Mehr von Edirlene Fraga

Mehr von Edirlene Fraga (20)

O Quadro Político e Econômico Mundial - Da Ordem Bipolar à Multipolar
O Quadro Político e Econômico Mundial - Da Ordem Bipolar à MultipolarO Quadro Político e Econômico Mundial - Da Ordem Bipolar à Multipolar
O Quadro Político e Econômico Mundial - Da Ordem Bipolar à Multipolar
 
Respostas do capítulo 13 em busca da verdade
Respostas do capítulo 13   em busca da verdadeRespostas do capítulo 13   em busca da verdade
Respostas do capítulo 13 em busca da verdade
 
Questões do cap. 01 ética valores
Questões do cap. 01 ética   valoresQuestões do cap. 01 ética   valores
Questões do cap. 01 ética valores
 
Capítulo 13 em busca da verdade
Capítulo 13   em busca da verdadeCapítulo 13   em busca da verdade
Capítulo 13 em busca da verdade
 
Valores
ValoresValores
Valores
 
éTica a nicômaco
éTica a nicômacoéTica a nicômaco
éTica a nicômaco
 
Violência
ViolênciaViolência
Violência
 
O que podemos conhecer
O que podemos conhecerO que podemos conhecer
O que podemos conhecer
 
O que podemos conhecer
O que podemos conhecerO que podemos conhecer
O que podemos conhecer
 
E com vocês
E com vocêsE com vocês
E com vocês
 
E com vocês
E com vocêsE com vocês
E com vocês
 
Estética
EstéticaEstética
Estética
 
Estética
EstéticaEstética
Estética
 
Estética
EstéticaEstética
Estética
 
Alienação e-trabalho
Alienação e-trabalhoAlienação e-trabalho
Alienação e-trabalho
 
Filosofia política
Filosofia políticaFilosofia política
Filosofia política
 
Revisão de ética
Revisão de éticaRevisão de ética
Revisão de ética
 
Revisão de ética
Revisão de éticaRevisão de ética
Revisão de ética
 
Conhecimento 2º ano
Conhecimento   2º anoConhecimento   2º ano
Conhecimento 2º ano
 
Conhecimento 2º ano
Conhecimento   2º anoConhecimento   2º ano
Conhecimento 2º ano
 

Lógica Simbólica

  • 2. Conjunção Uma conjunção p q p∧ q só será verdadeira, V V V quando ambas as partes que a V F F compõe também forem verdadeiras. F V F E falsa nos demais F F F casos.
  • 3. Disjunção p q pvq Uma disjunção V V V inclusiva será falsa quando as V F V duas partes que a F V V compõe forem ambas falsas! F F F
  • 4. Disjunção p q pwq E uma disjunção V V F exclusiva será falsa quando as V F V duas partes que a compõe forem F V V ambas iguais! F F F
  • 5. Condicional p q p→q Só será falsa esta V V V estrutura quando houver a condição V F F suficiente, mas o resultado F V V necessário não se F F V confirmar.
  • 6. Bicondicional p q p↔q Será verdadeira V V V quando antecedente e V F F consequente forem ambos F V F verdadeiros, ou F F V quando forem ambos falsos.
  • 7. Tautologia Se Pedro estuda, então será aprovado. Enunciados tautológicos são aqueles (p → q) enunciados que sempre Pedro não foi resultam verdadeiros, aprovado. portanto, o argumento (~q) é um argumento Então, Pedro não válido. estudou. (~p) [(p → q).~q] →~p
  • 8. Contradição Aterra é um planeta. p Os enunciados cuja A Terra não é um característica são planeta. aqueles enunciados (~p) que sempre resultam em falsidade. p ~p p v ~p V F F F V F
  • 10. Atividade “Sobre o que não se pode falar, FAZER ATIVIDADE DO LIVRO: deve-se calar.” PÁGINA 148 Ludwig 1º; 3º; 4º; 5º e 6º. Wittgenstein