Scribd Logo
Carregar

Bem-vindo(a) ao Scribd!

  • 25 visualizações

    Dedução Natural II

    Enviado por

    P
    O documento introduz novas regras derivadas para dedução natural, como a dupla negação, modus tollens, silogismo hipotético e contraposição. Estas regras derivam-se das primitivas e visam poupar tempo nas derivações. A segunda parte do documento prova que as regras de De Morgan também podem ser derivadas.

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd

    Dedução Natural II

    Enviado por

    P
    25 visualizações4 páginas
    O documento introduz novas regras derivadas para dedução natural, como a dupla negação, modus tollens, silogismo hipotético e contraposição. Estas regras derivam-se das primitivas e visam poupar tempo nas derivações. A segunda parte do documento prova que as regras de De Morgan também podem ser derivadas.

    Descrição original:

    logica apostila

    Título original

    8. Dedução natural II

    Direitos autorais

    © © All Rights Reserved

    Formatos disponíveis

    PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    O documento introduz novas regras derivadas para dedução natural, como a dupla negação, modus tollens, silogismo hipotético e contraposição. Estas regras derivam-se das primitivas e visam poupar tempo nas derivações. A segunda parte do documento prova que as regras de De Morgan também podem ser derivadas.

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd
    Fazer download em pdf ou txt
    25 visualizações4 páginas

    Dedução Natural II

    Enviado por

    P
    O documento introduz novas regras derivadas para dedução natural, como a dupla negação, modus tollens, silogismo hipotético e contraposição. Estas regras derivam-se das primitivas e visam poupar tempo nas derivações. A segunda parte do documento prova que as regras de De Morgan também podem ser derivadas.

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd
    Fazer download em pdf ou txt
    de 4

    Dedução Natural II

    28 de agosto de 2014

    1 Regras Derivadas
    Introduziremos agora novas regras de derivação. Contudo, elas não são primitivas e são deriváveis
    a partir das regras primitivas. O objetivo dessas regras derivadas é poupar tempo nas derivações.
    • Introdução da dupla Negação
    α (I-DN)
    (∼ (∼ α))

    1 α
    2 (∼ α)
    3 α
    4 (α & (∼ α))
    5 (∼ (∼ α))

    • Modus Tollens
    (α → β) (∼ β)
    (MT)
    (∼ α)

    1
    1 (α → β)
    2 (∼ β)
    3 α
    4 (α → β)
    5 β
    6 (∼ β)
    7 (β & (∼ β))
    8 ∼α

    • Silogismo Hipotético

    (α → β) (β → γ)
    (Silogismo)
    (α → γ)

    1 (α → β)
    2 (β → γ)
    3 α
    4 (α → β)
    5 β
    6 (β → γ)
    7 γ
    8 (α → γ)

    • Contradição
    α (∼ α)
    (Contradição)
    β

    2
    1 α
    2 (∼ α)
    3 (∼ β)
    4 α
    5 (∼ α)
    6 (α & (∼ α))
    7 (∼ (∼ β))
    8 β

    • Contraposição
    (α → β)
    (Contraposição)
    ((∼ β) → (∼ α))

    1 (α → β)
    2 (∼ β)
    3 α
    4 (α → β)
    5 β
    6 ∼β
    7 (β & (∼ β))
    8 (∼ α)
    9 ((∼ β) → (∼ α))

    Regras Derivadas (Provar)


    • De Morgan 1:

    (∼ (α & β))
    (De Morgan)
    ((∼ α) ∨ (∼ β))
    ((∼ α) ∨ (∼ β))
    (De Morgan)
    (∼ (α & β))

    • De Morgan 2:

    3
    (∼ (α ∨ β))
    (De Morgan)
    ((∼ α) & (∼ β))
    ((∼ α) & (∼ β))
    (De Morgan)
    (∼ (α ∨ β))

    Você também pode gostar