PD Tema 2: Deduccin natural proposicional

Lgica informtica (201011)

Tema 2: Deduccin natural proposicional

Jos A. Alonso Jimnez Andrs Cordn Franco Mara J. Hidalgo Doblado

Grupo de Lgica Computacional Departamento de Ciencias de la Computacin e I.A. Universidad de Sevilla

1 / 28

PD Tema 2: Deduccin natural proposicional

Tema 2: Deduccin natural proposicional

1. Reglas de deduccin natural 2. Reglas derivadas 3. Resumen de reglas de deduccin natural

2 / 28

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural

Tema 2: Deduccin natural proposicional

1. Reglas de deduccin natural Reglas de la conjuncin Reglas de la doble negacin Regla de eliminacin del condicional Regla derivada de modus tollens (MT) Regla de introduccin del condicional Reglas de la disyuncin Regla de copia Reglas de la negacin Reglas del bicondicional 2. Reglas derivadas 3. Resumen de reglas de deduccin natural

3 / 28

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Reglas de la conjuncin

Reglas de la conjuncin
Regla de introduccin de la conjuncin: Reglas de eliminacin de la conjuncin: Ejemplo: p q , r q r : 1 p q premisa 2 3 4 r q qr premisa e2 1 i 2, 3 F G F G F G F i e1 F G G e2

Adecuacin de las reglas de la conjuncin:

i : {F , G } |= F G e1 : F G |= F e2 : F G |= G

4 / 28

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Reglas de la doble negacin

Reglas de la doble negacin

Regla de eliminacin de la doble negacin: Regla de introduccin de la doble negacin: Ejemplo: p , (q r ) p r : 1 p premisa 2 3 4 5 6 (q r ) p qr r p r premisa i 1 e 2 e2 4 i 3, 5

F F F

e i

Adecuacin de las reglas de la doble negacin:

e : {F } |= F i : {F } |= F

5 / 28

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Regla de eliminacin del condicional

Regla de eliminacin del condicional

F F G Regla de eliminacin del condicional: e G Ejemplo: p q , p q r p r p : 1 p q premisa 2 p q r p premisa

3 r p e 1, 2 Ejemplo: p , p q , p (q r ) r : 1 2 3 4 5 6 p pq p (q r ) q qr r premisa premisa premisa e 1, 2 e 1, 3 e 4, 5

6 / 28

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Regla derivada de modus tollens (MT)

Regla derivada de modus tollens (MT)

Regla derivada de modus tollens: Ejemplo: p (q r ), p , r 1 2 3 4 5 1 2 3 p (q r ) p r qr q p: premisa premisa MT 1, 2 p q q p q : premisa premisa premisa e 1, 2 MT 3, 4 F G F G MT

Ejemplo: p q , q

7 / 28

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Regla de introduccin del condicional

Regla de introduccin del condicional

Regla de introduccin del condicional: F . . . G F G Ejemplo: p q 1 2 3 4 q p q p q p : premisa supuesto MT 1, 2 i 2 3 pq i

Adecuacin de la regla de introduccin del condicional: Si F |= G , entonces |= F G .

8 / 28

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Regla de introduccin del condicional

Regla de introduccin del condicional

Ejemplo: q p 1 2 3 4 5 p q : premisa supuesto i 2 MT 1, 3 i 2 4 p p: supuesto i 1 1 q p p p q p q

Ejemplo (de teorema): 1 2 p pp

9 / 28

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Regla de introduccin del condicional

Regla de introduccin del condicional

Ejemplo: 1 2 3 4 5 6 7 8 9 (q r ) ((q p ) (p r )): qr q p p p q q r pr (q p ) (p r ) supuesto supuesto supuesto i 3 MT 2, 4 e 5 e 1, 6 i 3 7 i 2 8
10 / 28

10 (q r ) ((q p ) (p r )) i 1 9

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Reglas de la disyuncin

Reglas de la disyuncin
Reglas de introduccin de la disyuncin:

F F G

i1 F . . .

G F G G . . . H

i2

Regla de eliminacin de la disyuncin: F G Ejemplo: p q 1 2 3 4 5 6 q p: pq p qp q qp qp premisa supuesto i2 2 supuesto i1 4 e 1, 2 3, 4 5

H H

11 / 28

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Reglas de la disyuncin

Reglas de la disyuncin
Ejemplo: q r 1 2 3 4 5 6 7 8 9 p q p r: premisa supuesto supuesto i1 3 supuesto e 1, 5 i2 6 e 2, 3 4, 5 7 i 2 8
12 / 28

qr pq p pr q r pr pr pq pr

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Regla de copia

Regla de copia
Ejemplo (usando la regla hyp): 1 2 3 4 5 p q p qp p (q p ) p (q p ):

supuesto supuesto hyp 1 i 2 3 i 1 4

13 / 28

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Reglas de la negacin

Reglas de la negacin
Extensiones de la lgica para usar falso:
Extensin de la sintaxis: es una frmula proposicional. Extensin de la semntica: I () = 0 en cualquier interpretacin I .

Reglas de la negacin:
Regla de eliminacin de lo falso: Regla de eliminacin de la negacin: e F F F e

Adecuacin de las reglas de la negacin:

|= F {F , F } |=

14 / 28

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Reglas de la negacin

Reglas de la negacin
Ejemplo: p q 1 2 3 4 5 6 7 8 p q: premisa supuesto supuesto e 2, 3 e 4 supuesto e 1, 3 5, 6 6 i 2 7
15 / 28

p q p p q q q pq

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Reglas de la negacin

Reglas de la negacin
Regla de introduccin de la negacin: Adecuacin: Si F |= , entonces |= F . Ejemplo: p q , p q p : 1 2 3 4 5 6 7 pq p q p q q p premisa premisa supuesto e 1, 3 e 2, 3 e 4, 5 i 3 6

F . . . F i

16 / 28

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Reglas del bicondicional

Reglas del bicondicional

1 2 3 4 5 6 7 8 9 pq p q qp

Regla de introduccin del bicondicional: Ejemplo: p q q p : supuesto e1 1 e2 1 i 2, 3 i 1 4 supuesto e2 6 e1 6 i 7, 8 i 6 9

F G

G F

F G

pq qp qp q p pq

10 q p p q

17 / 28

PD Tema 2: Deduccin natural proposicional Reglas de deduccin natural Reglas del bicondicional

Reglas del bicondicional

Eliminacin del bicondicional: Ejemplo: p q , p q
1 2 3 4 5 6 7 pq pq p pq q pq pq supuesto q e1 1 e 4 , 3 i 3, 5 qp p pq

F G

F G p q:

e1

F G G F

e2

premisa premisa supuesto e2 1 e 4 , 3 i 3 , 5 e 2, 3 6, 3 6

18 / 28

PD Tema 2: Deduccin natural proposicional Reglas derivadas

Tema 2: Deduccin natural proposicional

1. Reglas de deduccin natural 2. Reglas derivadas Regla del modus tollens Regla de introduccin de doble negacin Regla de reduccin al absurdo Ley del tercio excluido 3. Resumen de reglas de deduccin natural

19 / 28

PD Tema 2: Deduccin natural proposicional Reglas derivadas Regla del modus tollens

Reglas de modus tollens

Regla derivada de modus tollens (MT): F G G MT F Derivacin: 1 F G premisa 2 3 4 5 6 G F G F premisa supuesto e 1, 3 e 2 , 4 i 2 4

20 / 28

PD Tema 2: Deduccin natural proposicional Reglas derivadas Regla de introduccin de doble negacin

Regla de introduccin de doble negacin

Regla de introduccin de la doble negacin: F i F Derivacin: 1 F premisa 2 3 4 F F supuesto e 1, 2 i 2 3

21 / 28

PD Tema 2: Deduccin natural proposicional Reglas derivadas Regla de reduccin al absurdo

Regla de reduccin al absurdo (RAA)

Regla de reduccin al absurdo: F . . . F Derivacin: 1 2 3 4 5 RAA F premisa F F F supuesto e 1 , 2 i 2 3 e 4
22 / 28

PD Tema 2: Deduccin natural proposicional Reglas derivadas Ley del tercio excluido

Ley del tercio excluido (LEM)

Ley del tercio excluido (LEM): LEM F F Derivacin: 1 (F F ) supuesto 2 3 4 5 6 7 8 F F F F F F F F supuesto i1 2 e 1, 3 i 2 4 i2 5 e 1, 6 RAA 1 7
23 / 28

PD Tema 2: Deduccin natural proposicional Reglas derivadas Ley del tercio excluido

Reglas derivadas: ley del tercio excluido (LEM)

Ejemplo: p q 1 2 3 4 5 6 7 8 p q : premisa LEM supuesto e 1 , 3 i2 4 supuesto i1 6 e 2, 3 5, 6 7 pq p p p q p q p p q p q

24 / 28

PD Tema 2: Deduccin natural proposicional Resumen de reglas de deduccin natural

Tema 2: Deduccin natural proposicional

1. Reglas de deduccin natural 2. Reglas derivadas 3. Resumen de reglas de deduccin natural

25 / 28

PD Tema 2: Deduccin natural proposicional Resumen de reglas de deduccin natural

Resumen de reglas de deduccin natural

Introduccin F G Eliminacin F G F G F G F G G G . . . H e H F . . . G F G i F F G G
26 / 28

F G F F G

e1 F . . .

e2

i1

i2

F G

PD Tema 2: Deduccin natural proposicional Resumen de reglas de deduccin natural

Resumen de reglas de deduccin natural

Introduccin Eliminacin

F . . . F i

F G G F i F G

e e F G e2

F F F

F G F G G F Adecuacin y completitud del clculo de deduccin natural.

e1

27 / 28

PD Tema 2: Deduccin natural proposicional Bibliografa

Bibliografa
1. C. Badesa, I. Jan y R. Jansana Elementos de lgica formal. (Ariel, 2000).
Cap. 16: Clculo deductivo.

2. R. Bornat Using ItL Jape with X (Department of Computer Science, QMW, 1998). 3. J.A. Dez Iniciacin a la Lgica, (Ariel, 2002).
Cap. 4: Clculo deductivo. Deducibilidad.

4. M. Huth y M. Ryan Logic in computer science: modelling and reasoning about systems. (Cambridge University Press, 2000)
Cap. 1: Propositional logic.

5. E. Paniagua, J.L. Snchez y F. Martn Lgica computacional (Thomson, 2003)

Cap. 3.6: El mtodo de la deduccin natural.
28 / 28