Menu fechado

Equivalência e implicação lógica

Equivalência e implicação lógica

 

Implicação Lógica

Relembrando a operação lógica da condicional p→q (lê-se: se p então q)

Você está lembrado quando estudamos as proposições condicionais e utilizamos o símbolo → ? Vamos recordar!

Na condicional p→q, p é chamado de antecedente e q é o consequente. O símbolo “→” é chamado símbolo de implicação. Note que, neste caso, p e q são proposições simples.

O símbolo → representa uma operação matemática entre as proposições p e q que tem como resultado a proposição p → q, como valor lógico V ou F.

A proposição condicional “se p então q” é uma proposição composta que só admite valor lógico falso no caso em que a proposição p é verdadeira e a proposição q é falsa, sendo verdade nas demais situações.

O valor lógico da condicional de duas proposições é definido pela seguinte tabela-verdade:

 

 

 

 

Vamos rever esta operação lógica por meio de uma situação:

Suponha que um determinado pai faz a seguinte promessa para seu filho: “Se fizer sol amanhã, então viajaremos para a praia”.

 

Há 4 possibilidades:

  1. Fez sol e viajaram para a praia.
  2. Fez sol e não viajaram para a praia.
  3. Não fez sol e viajaram para a praia.
  4. Não fez sol e não viajaram para a praia.

Compare cada uma destas possibilidades levantadas anteriormente com os valores lógicos colocados na tabela e responda a seguinte pergunta:

 

Em qual das possibilidades a situação foi descumprida?

CONTINUA NA PARTE 2

9 Comentários

  1. Giselle

    no último exemplo: ~p v q = V, na segunda linha, quinta coluna. Logo, não são equivalentes. Ou estou errada?
    Acho que a proposição pedida seria p v q.

    • eder carlos

      Oi Giselle, deixo te explicar como faço as postagens. Vejo os sites de referências e vejo o que tem em comum e mais relevante e faço uma postagem mais completa e melhor. Esta matéria foi feita por uma universidade e acredito que esteja correta, mas as vezes apesar de ser feito por professores pode sim ocorrer erro. Como não sou especialista nesta matéria vou deixar sua dúvida aqui para ver se mais alguém tenha a mesma dúvida e possa sanar para você.
      Abraços

    • Saul Junior

      Está certo como está no exemplo, Gisele. Lembra que na Disjunção (OU – V) quando p ou q são falsos o valor lógico é falso. Lembra da tabela verdade do OU? Tudo é verdadeiro na exceção de quando ambos são falsos. Então ~p v q é falso e falso gerando resultado FALSO. Sacou? Qualquer coisa grita aí.

Deixe um comentário

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *