Scribd Logo
Carregar

Bem-vindo(a) ao Scribd!

  • 138 visualizações

    1 Tabelas Verdade

    Enviado por

    Rodrigo Alves
    O documento apresenta as definições formais das principais operações lógicas: negação, conjunção, disjunção, condicional e bicondicional. Fornece as tabelas-verdade dessas operações e duas equivalências notáveis entre elas: (1) a condicional p → q é equivalente à negação de p ou q; (2) a bicondicional p ↔ q é equivalente ou a conjunção de (~p ou q) e (~q ou p), ou a disjunção de (p e q) e (~p e ~q).

    Direitos autorais:

    Attribution Non-Commercial (BY-NC)
    Baixe no formato PDF, TXT ou leia online no Scribd

    1 Tabelas Verdade

    Enviado por

    Rodrigo Alves
    138 visualizações1 página
    O documento apresenta as definições formais das principais operações lógicas: negação, conjunção, disjunção, condicional e bicondicional. Fornece as tabelas-verdade dessas operações e duas equivalências notáveis entre elas: (1) a condicional p → q é equivalente à negação de p ou q; (2) a bicondicional p ↔ q é equivalente ou a conjunção de (~p ou q) e (~q ou p), ou a disjunção de (p e q) e (~p e ~q).

    Título original

    1_Tabelas_Verdade

    Direitos autorais

    © Attribution Non-Commercial (BY-NC)

    Formatos disponíveis

    PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    O documento apresenta as definições formais das principais operações lógicas: negação, conjunção, disjunção, condicional e bicondicional. Fornece as tabelas-verdade dessas operações e duas equivalências notáveis entre elas: (1) a condicional p → q é equivalente à negação de p ou q; (2) a bicondicional p ↔ q é equivalente ou a conjunção de (~p ou q) e (~q ou p), ou a disjunção de (p e q) e (~p e ~q).

    Direitos autorais:

    Attribution Non-Commercial (BY-NC)
    Baixe no formato PDF, TXT ou leia online no Scribd
    Fazer download em pdf ou txt
    138 visualizações1 página

    1 Tabelas Verdade

    Enviado por

    Rodrigo Alves
    O documento apresenta as definições formais das principais operações lógicas: negação, conjunção, disjunção, condicional e bicondicional. Fornece as tabelas-verdade dessas operações e duas equivalências notáveis entre elas: (1) a condicional p → q é equivalente à negação de p ou q; (2) a bicondicional p ↔ q é equivalente ou a conjunção de (~p ou q) e (~q ou p), ou a disjunção de (p e q) e (~p e ~q).

    Direitos autorais:

    Attribution Non-Commercial (BY-NC)
    Baixe no formato PDF, TXT ou leia online no Scribd
    Fazer download em pdf ou txt
    de 1

    ANPAD CURSO PREPARATÓRIO Prof.

    Aurimenes

    Denotação da Negação
    Denotação da Condicional

    p ~p A condicional p → q é F se, e somente se, p é V e q


    V F é F. Nos outros casos p → q é V.
    F V

    p q p → q
    Denotação da Conjunção V V V
    V F F
    p ∧ q é V se, e somente se, p é V e q é V. Caso F V V
    contrário, p ∧ q é F. F F V

    p q p ∧ q
    V V V Denotação da Bicondicional
    V F F
    F V F A Bicondicional p ↔ q é V se, e somente se, p é V e q V
    F F F ou p é F e q é F. Nos outros casos p ↔ q é F

    p q p ↔ q
    Denotação da Disjunção Inclusiva
    V V V
    p ∨ q é F se, e somente se, p é F e q é F. Caso V F F
    contrário, p ∨ q é V – veja a tabela-verdade. F V F
    F F V

    p q p ∨ q EQUIVALÊNCIAS NOTÁVEIS :
    V V V
    V F V E1) (p → q ) eq ~ p ∨ q
    F V V
    F F F E2) ( p ↔ q ) eq ( ~ p ∨ q ) ∧ (~ q ∨ p ) ou
    ( p ↔ q ) eq ( p ∧ q ) ∨ (~ p ∧ ~ q )

    www.anpadcurso.com
    [email protected]

    Você também pode gostar