Lógica Proposicional Dedução Natural.

Apresentação em tema: "Lógica Proposicional Dedução Natural."— Transcrição da apresentação:

1 Lógica Proposicional Dedução Natural

2 Conseqüência lógica Definição informal: Definição formal:
Uma fórmula é uma conseqüência lógica de um conjunto de fórmulas se sempre que estas forem verdadeiras aquela também seja verdadeira. Definição formal: Dada uma fórmula H e um conjunto de hipóteses b, H é conseqüência lógica de b num sistema de dedução, se existir uma prova de H a partir de b

3 Notação de Conseqüência Lógica e Teorema
Dada uma fórmula H, se H é conseqüência lógica de um conjunto de hipóteses b={H1,H2,...Hn}, diz-se que: b├ H ou {H1,H2,...Hn}├ H Uma fórmula H é um teorema se existe uma prova de H que não usa hipóteses ├ H

4 Cálculo Proposicional
Cálculo = Lógica + Sistema de Prova (ou dedução) Um sistema de prova serve para analisar e raciocinar sobre argumentos de uma lógica, de maneira a prová-los válidos ou inválidos.

5 Sistema de dedução natural
Alfabeto da Lógica Proposicional Conjunto de fórmulas da Lógica Proposicional Conjunto de regras de dedução (ou regras de inferência)

6 Regras de inferência de dedução natural
Servem para inserção e retirada de conectivos lógicos, criando derivações Regras de Introdução Regras de Eliminação Chama-se dedução natural por estar próxima da maneira como nós raciocinamos quando queremos (informalmente) provar um argumento.

7 Prova Dados H uma fórmula e b um conjunto de fórmulas (hipóteses)
Uma prova de H a partir de b é uma derivação onde As regras de inferência são aplicadas tendo como premissas fórmulas de b A última fórmula da derivação é H

8 Regras de inferência - conjunção
Eliminação da conjunção (^E): H^G H^G H G Sócrates e Platão eram gregos; logo, Sócrates era grego

9 Regras de inferência - conjunção
Introdução da conjunção (^I): H G -> derivação H^G Platão era grego; Aristóteles era grego; logo, Platão e Aristóteles eram gregos

10 Exemplo de prova P ^ Q, R |- Q ^ R P ^ Q (Premissa)
Q (^E) R (Premissa) Q^R (^I) Exercícios: (P^Q) ^ R, S^T |- Q^S P^Q |- Q^P (P^Q) ^ R |- P ^ (Q^R)

11 Regras da Dedução Natural - implicação
Eliminação da implicação (E) H H  G G Se Deus existe, a vida é sagrada; Deus existe, logo, a vida é sagrada

12 Regras da Dedução Natural - implicação
Introdução da implicação (I) [H] (hipótese eliminada) | G H  G A neve é branca; logo, tem cor. Se a neve é branca, tem cor.

13 Exemplo de eliminação da implicação
P^Q, (P (Q R)) ├ (Q R) P^Q P (^E) P (Q R) (premissa) (Q R) (E)

14 Exemplo de introdução da implicação
├ (P ((PQ)Q) Supor os antecedentes Eles não poderão ser usados depois [P] [(PQ)] (hipóteses) Q (E) (PQ)Q) (I) (P ((PQ)Q) (I)

15 Exercício ├ (P(Q P)) ├ (P(Q R)) ((P^Q)R))

16 Exercícios 1. {P^Q, (P^Q)(R^P)} |- R^P
2. {P  (Q R), PQ, P} |- R 3. {P (P  Q), P} |- Q

17 Regras da Dedução Natural - disjunção
Introdução da disjunção (vI) H G . HvG HvG Um ser é um Homem se, e só se, for racional; logo, se um ser for um Homem, é racional, e se for racional, é um Homem

18 Regras da Dedução Natural - disjunção
Eliminação da disjunção (vE) [H] [G] (hipóteses) D1 D2 HvG E E E Ou Deus existe,ou não existe. Se existe, não se pode torturar crianças por prazer. Mas se não existe, não se pode igualmente torturar crianças por prazer. Logo, em qualquer caso, não se pode torturar crianças por prazer.

19 Exemplo de Eliminação da disjunção
{PvQ,Q,P} |- false PvQ [P] P (prem.) [Q] Q (prem.) false false false

20 Regras da Dedução Natural - negação
De uma derivação de uma contradição (false) a partir de uma hipótese H, pode-se descartar a hipótese e inferir H e vice-versa [H] (I) [H] (E ou RAA) | | false false reductio ad H H absurdum Exercícios: HH e H H

21 Regras da Dedução Natural - negação
Reductio ad Absurdum [H] (I) | B^ B A Quem não tem deveres não tem direitos; os bebés não têm deveres; logo, não têm direitos; mas os bebés têm direitos; logo, é falso que quem não tem deveres não tem direitos

22 Exercício Mostre que o seguintes argumento é válido:
Se este argumento for incorreto e válido, então nem todas as suas premissas são verdadeiras. Todas as suas premissas são verdadeiras. Ele é válido. Portanto ele é correto.

23 Solução Identificando as Sentenças: Formalizando:
P: as premissas deste argumento são verdadeiras. S: este argumento é correto. V: este argumento é válido. Formalizando: {(S ^ V)  P, P, V} ├ S

24 Exercício Deus não existe. Pois, se Deus existisse a vida teria significado. Mas a vida não tem significado. Prove isso!

25 Quando tudo o mais falhar
EFQ: ex falso quodlibet ou regra da contradição Podemos estar loucos, então qualquer literal é aceitável! false H

26 Prova de EFQ {P, P} ├ Q Q . P P (prem.) false Q (E)

27 Exemplo Prove o Silogismo Disjuntivo, usando EFQ: {P v Q, P} ├ Q

28 Lógicas clássicas Lógica minimal: {^v} x {IE} Lógica intuicionista =
Lógica minimal U EFQ

29 Exercícios {P (QR), P, Q} |= R {P  Q, P} |= Q
{P  (Q ^ R), P} |= P ^ Q {(P ^ Q)  (R ^ S), P, Q} |= S {AB, C(DvE), DC, AE} |= (C  B) {Cv(B  A), A  R, (B  R)  S} |= (C  S)