LMF Tema 2: Deduccin natural proposicional

Lgica matemtica y fundamentos (201213)

Tema 2: Deduccin natural proposicional

Jos A. Alonso Jimnez Mara J. Hidalgo Doblado

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

1 / 28

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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

LMF 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