A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Sistema Formal Um Sistema Formal para a lógica proposicional é uma 2-tupla < L, R >, onde: L: linguagem proposicional R: conjunto de regras de inferências.

Apresentações semelhantes


Apresentação em tema: "Sistema Formal Um Sistema Formal para a lógica proposicional é uma 2-tupla < L, R >, onde: L: linguagem proposicional R: conjunto de regras de inferências."— Transcrição da apresentação:

1 Sistema Formal Um Sistema Formal para a lógica proposicional é uma 2-tupla < L, R >, onde: L: linguagem proposicional R: conjunto de regras de inferências

2 Derivação de uma fórmula
Representação: ├  Uma derivação (ou prova, ou demonstração) de uma fórmula  a partir de um conjunto  de fórmulas (premissas), é uma seqüência < 1, 2, 3, ..., n> de fórmulas, tal que: 1.    n =  2.    Cada i, 1  i  n, pode ser: Uma premissa, Uma hipótese ou Obtida de fórmulas anteriores da seqüência pela aplicação de uma regra de inferência.

3 Derivação de uma fórmula
Se  é derivada no Sistema Formal a partir de 0(zero) premissas, então,  é dito ser um Teorema do Sistema. ├  Um teorema é uma fórmula para a qual existe uma prova.

4 Exemplos: 1) ├ P  (P v Q) 1. | P H p/ PC 2. | P v Q 1 vI
3. P  (P v Q) PC

5 Exemplos: 2) ├ P  ((P  Q)  Q) 1. | P H p/ PC 2. | | P  Q H p/ PC
3. | | Q 1, 2 MP 4. | (P  Q)  Q PC 5. P  ((P  Q)  Q) PC

6 Exemplos: 3) ├ P ↔ ~~ P 1. | P H (p/ PC) 2. | | ~P H (p/ RAA)
3. | | P ^ ~P 1, 2 ^I 4. | ~~P , 3 RAA 5. P  ~~P PC 6. | ~~P H (p/ PC) 7. | P ~E 8. ~~P  P PC 9. P ↔ ~~P 5,8 ↔ I

7 Exemplos: 4) ├ P  P 1. | P H (p/ PC) 2. P  P PC

8 Exemplos: 5) ├ (PQ)  (~Q~P) 1. | P  Q H (p/ PC)
3. | | ~P 1,2 MT 4. | ~Q  ~P PC 5. (PQ)  (~Q~P) 1-4 PC

9 Um Outro Sistema Formal:
Existem infinitos Sistemas Formais. Vamos chamar o que estamos vendo de S1 S1 = <L, R> L: linguagem proposicional R: conjunto das regras de inferência

10 Um Outro Sistema Formal:
Superficialmente veremos um outro sistema formal para a lógica proposicional (vamos chama-lo S2). Esse é o Sistema de Hilbert O nosso objetivo será, através de S2 observar uma outra formulação da Lógica Proposicional.

11 Sistema Hilbert Características de S2:
Usa apenas dois conectivos lógicos ~ e → Ex: Para escrever P ^ Q escreve-se ~(P→~Q) Usa apenas uma regra de inferência – Modus Ponens (MP)

12 Sistema Hilbert (Características)
É formado pela 3-tupla {L, A, R} S2 = < L, A, R >, onde: L: Linguagem Proposicional R: { MP } A: Conjunto de todas as fórmulas obtidas dos três seguintes esquemas de axiomas:

13 Sistema Hilbert (Axiomas)

14 Sistema Hilbert A derivação (ou prova) de uma fórmula em S2 é feita da mesma forma que em S1, onde usa-se apenas os três axiomas, e uma regra de inferência, MP (Modus Ponens).

15 ├ α  α para qualquer fórmula α
Exemplos 1 - Mostre nos dois sistemas a derivação do teorema: ├ α  α para qualquer fórmula α No S1: ├ α  α 1. | α H p/ PC 2. α  α 1-1 PC

16 Exemplos No S2: ├ α  α 1. (α((αα)α))((α(αα))(αα)) A2
3. (α(αα))  (αα) c/2 MP 4. (α(αα)) A1 5. αα c/4 MP

17 Exemplos Padrões que foram usados na derivação ├ α  α no S2 :
Em 1 e 2 os axiomas A2 e A1, com o padrão:  = α  = α  α  = α Em 4 usamos o axioma A1 com o padrão:  = α

18 Exemplos 2 - Prove ├ (~) para qualquer  No S1:
1. | ~ H (p/ PC) 2. | | ~ H (p/ RAA) 3. | |  1,2 MP 4. | | ~^ ,3 ^I 5. | ~~ RAA 6. |  5 ~E 7. (~) PC

19 Exemplos No S2: ├ (~)
1. (~((~~)~))((~(~~))(~~)) (A2) 2. (~((~~)~)) (A1) 3. (~(~~))(~~) (1 e 2 p/ MP) 4. ~(~~) (A1) 5. ~~ (3 e 4 p/ MP) 6. (~~)((~)) (A3) 7. (~) (5 e 6 p/MP)

20 Exemplos Padrões que foram usados na derivação ├ (~) no S2 :
Em 1. Axioma A2 ( = ~;  = (~~);  = ~) Em 2. Axioma A1 ( = ~;  = (~~) Em 4. Axioma A1 ( = ~;  = ~) Em 6. Axioma A3 ( = ;  = ) Observar que S1 e S2 são “equivalentes”.

21 Teoremas da Coerência e Completude
Um Sistema Formal S é coerente (sound) e completo se: ├  se e somente se  |═  Derivação ↔ implicação lógica

22 Teoremas da Coerência e Completude
Teorema 1: (Sondness ou coerência) Se |--  então |=  Ou seja, todo teorema (derivação) é uma tautologia (fórmula válida) Teorema 2: (completude) Se |= então |--  Ou seja, toda tautologia (formúla válida) é um teorema (derivação)

23 Teoremas da Coerência e Completude
Esses teoremas mostram que temos duas maneiras independentes, mas mutuamente consistentes de definir a noção de verdade lógica: Através da noção de teorema (sintaticamente) Através da noção de tautologia (semânticamente)

24 Semântica da Lógica Proposicional
Vimos até agora uma formulação sintática (noções puramente sintáticas) da lógica proposicional: Linguagem Regras, teoremas, provas Vamos ver agora uma formulação funcional da Lógica Proposicional (semântica): Função/atribuição de valores-verdade (Verdadeiro ou Falso)


Carregar ppt "Sistema Formal Um Sistema Formal para a lógica proposicional é uma 2-tupla < L, R >, onde: L: linguagem proposicional R: conjunto de regras de inferências."

Apresentações semelhantes


Anúncios Google