Um pouco de Lógica

  • ENTENÇA OU PROPOSIÇÃO

      Sentença ou proposição é um conjunto de palavras ou símbolos que exprimem uma idéia. 

    · A lua é quadrada.
    · A neve é branca.
    · Matemática é uma ciência.

    Não serão objeto de estudo as sentenças interrogativas ou exclamativas.

     

    OS SÍMBOLOS DA LINGUAGEM DO CÁLCULO PROPOSICIONAL

     

    • VARIÁVEIS PROPOSICIONAIS

      São letras latinas minúsculas p,q,r,s,…. para indicar as proposições.
      Exemplos:    A lua é quadrada : p
      A neve é branca : q

     

    • MODIFICADOR

          Uma proposição pode ser formada a partir de outra, pelo uso do modificador “não”. Ao acrescentarmos o não em uma proposição, obtemos a sua negação.

        Indicando uma proposição por p, sua negação será representada por ~p.

     

        Exemplos:    p :  A lua é quadrada
     ~p: A lua NÃO é quadrada.

     

    Se uma proposição é verdadeira, sua negação será falsa. E se uma proposição é falsa, sua negação será verdadeira.

     

    Tabela verdade da “negação”

    p ~p
    V F
    F V

     

          ~p é verdadeira (falsa) se e somente se p é falsa (verdadeira).OBS: ~(~p) = p∧

 

CONECTIVOS LÓGICOS

São palavras usadas para formar uma proposição a partir de outra.

“E” representado por ∧

OU” representado por  ∨

“SE…ENTÃO” representado por  →

SE E SOMENTE SE” representado por ↔

“NÃO” representado por ~

Anúncios

Deixe um comentário

Preencha os seus dados abaixo ou clique em um ícone para log in:

Logotipo do WordPress.com

Você está comentando utilizando sua conta WordPress.com. Sair / Alterar )

Imagem do Twitter

Você está comentando utilizando sua conta Twitter. Sair / Alterar )

Foto do Facebook

Você está comentando utilizando sua conta Facebook. Sair / Alterar )

Foto do Google+

Você está comentando utilizando sua conta Google+. Sair / Alterar )

Conectando a %s