Dedução Natural

Dedução Natural
28 de agosto de 2014
Sumário
1 Definição: Argumento (Sintático) 1
2 Definição: Teorema 1
3 Regras Primitivas do Cálculo Proposicional 1
4 Derivações 4
1 Definição: Argumento (Sintático)

Argumento: Um argumento P/C é composto de uma lista de sentenças P, que são chamadas pre-
missas, e uma conclusão C. Introduziremos abaixo regras de derivação (provas) para um argumento.
Quando a conclusão C é derivada de P, por meio das regras de derivação, escreveremos: P ` C
2 Definição: Teorema
Teorema: é uma fórmula bem-formada derivada a partir de nenhuma hipótese. Para expressar
que C é um teorema, escrevemos: ` C ou ∅ ` C
3 Regras Primitivas do Cálculo Proposicional

• Introdução de Premissas: Todas as premissas devem ser introduzidas em uma única linha
da derivação1 . Exemplo: α, (∼ α) ` β (aqui as premissas são: $α, (∼ α). As premissas são as
fórmulas que ocorrem à esquerda de `).
1 α
2 (∼ α)
1 Preferencialmente no início.
1
• Introdução de Hipóteses: Toda nova hipótese deve ser introduzida em uma nova linha da
derivação. Exemplo: (α → β), (β → γ) ` (α → γ) (aqui as premissas são: (α → β), (β → γ);
e a nova hipótese é: α.
1 (α → β)
2 (β → γ)
3 α
• Repetição (Premissas e Hipóteses): Premissas e hipóteses podem ser repetidas sempre na sua
linha de derivação ou nas linhas à direita de sua linha de derivação.
Exemplo:
1 (α → β)
2 (β → γ)
..
3 .
4 (α → β)
5 α
6 (β → γ)
..
7 .
8 α
Aplicação errada da regra de repetição:
1 (α → β)
2 (β → γ)
3 α
..
4 .
5 α
• Eliminação da dupla Negação
(∼ (∼ α))
α (E-DN)
Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: (∼ (∼ α)) |= α
• Modus Ponens
α (α → β)
(MP)
β
2
Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: α, (α → β) |= β
• Introdução da Conjunção
α β
(I-&)
(α&β)
Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: α, β |= (a&β)
• Eliminação da conjunção
(α&β)
α (E-&)
Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: (α&β) |= α
(α&β)
(E-&)
β
Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: (α&β) |= β
• Introdução da disjunção
α (I-∨)
(α ∨ β)
Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: α |= (α ∨ β)

α (I-∨)
(β ∨ α)
Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: α |= (β ∨ α)
• Eliminação da disjunção (silogismo disjuntivo)
(α ∨ β) (∼ α)
(E-∨)
β
Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: (α ∨ β), (∼ α) |= β
(α ∨ β) (∼ β)
α (E-∨)
Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: (α ∨ β), (∼ β) |= α
• Introdução do bicondicional
(α → β) (β → α)
(I- ≡)
(α ≡ β)
Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: (α → β), (β → α) |=
(α ≡ β)
3
• Eliminação do bicondicional
(α ≡ β)
(E- ≡)
(α → β)
Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: (α ≡ β) |= (α → β)
(α ≡ β)
(E- ≡)
(β → α)
Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: (α ≡ β) |= (β → α)
• Regra da Prova Condicional

..
1 .
2 α
..
3 .
4 β
5 (α → β)
Obs: Se, de uma hipótese α, derivamos uma fórmula β, então podemos introduzir a implicação
e sair da linha de prova de α. Essa regra é um interpretação sintática do seguinte “fato
semântico”: Γ, α |= β se e somente se Γ |= (α → β) (Possível candidato para questão de
prova)
• Regra da Prova por Redução ao Absurdo

..
1 .
2 α
..
3 .
4 (β & ∼ β)
5 (∼ α)
Obs: Se, de uma hipótese α, derivamos uma contradição (β& ∼ β), então α é falso e sua negação
verdadeira. Assim, podemos introduzir a negação na frente de α e sair da linha de prova de
α.
4 Derivações
• (α → (β → γ)) ` (β → (α → γ))
4
1 (α → (β → γ))
2 β
3 α
4 (α → (β → γ))
5 (β → γ)
6 β
7 γ
8 (α → γ)
9 (β → (α → γ))
(α → (∼ β)) ` (∼ (α & β))
1 (α → (∼ β))
2 (α & β)
3 α
4 (α → (∼ β))
5 (∼ β)
6 β
7 (β & (∼ β))
8 ∼ (α & β)

Dedução Natural

Enviado por

Direitos autorais:

Formatos disponíveis

Dedução Natural

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Dedução Natural

Enviado por

Direitos autorais:

Formatos disponíveis

Dedução Natural

3 Regras Primitivas do Cálculo Proposicional 1

1 Definição: Argumento (Sintático)

3 Regras Primitivas do Cálculo Proposicional

• Eliminação da dupla Negação

Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: α |= (α ∨ β)

Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: α |= (β ∨ α)

• Eliminação da disjunção (silogismo disjuntivo)

Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: (α ≡ β) |= (α → β)

Obs: Essa regra é uma interpretação sintática do seguinte “fato semântico”: (α ≡ β) |= (β → α)

• Regra da Prova Condicional

• Regra da Prova por Redução ao Absurdo

(α → (∼ β)) ` (∼ (α & β))

Você também pode gostar