Matemáticas Discretas TC1003 - Profesor Eduardo...

Argumentos en FOL Matemáticas Discretas - p. 1/23

Matemáticas DiscretasTC1003

Argumentos en FOLDepartamento de Matemáticas / Centro de Sistema Inteligentes

ITESM

IntroduccionModus PonensEjemplo 1Ejemplo 2Modus TollensEjemplo 3Ejemplo 4Ejemplo 5Ejemplo 6Ejemplo 7InstanciacionCuantificacionGeneralizacionEjemplo 8ArgumentosEjemplo 9Ejemplo 10Ejemplo 11VariantesCondicionalCondicional yContrapositivaNotaSumario


Introducción

En esta lectura veremos principalmente cómo seconstruyen argumentos válidos en Lógica dePrimer Orden. Como en Cálculo Proposicional,seguiremos el método de Deducción Naturalutilizando equivalencias y reglas de inferencia. Lasequivalencias y reglas de inferencias vistasanteriormente seguirán siendo válidas y a ellassumaremos algunas otras. Cuando no es posibleconstruir un argumento válido para un conjunto depremisas y una conclusión, puede ocurrir que laconclusión no se deduzca de las hipótesis, paraprobar esto una alternativa aunque poco viable esla de construir una interpretación donde lashipótesis y la conclusión formen un argumentoinválido. El concepto de interpretación se incluyeen esta sección.



Modus Ponens Universal

Regla de Inferencia Modus Ponens Universal

∀ x ∈ D, P(x)→ Q(x)

P(a) para una a particular

∴ Q(a)



Ejemplo 1

EjemploConsidere el siguiente razonamiento:

1. Para todo número entero, si su cuadrado es parentonces el número es par.

2. k es un número entero cuyo cuadrado es par.3. k es par.



Ejemplo 2


1. Para todo triángulo con longitudes de lados a, by c, si c2

= a2+ b2 entonces triángulo es

rectángulo con hipotenusa c.2. El triángulo ∆DEF cumple d2

= e2+ f 2.

3. El triángulo ∆DEF es rectángulo con hipotenusad.



Modus Tollens Universal

Regla de Inferencia Modus Tollens Universal

∀ x ∈ D, P(x)→ Q(x)

¬Q(a) para una a particular

∴ ¬P(a)



Ejemplo 3


1. Todos los humanos son mortales.2. Zeus no es mortal.3. Zeus no es humano.



Ejemplo 4


1. Todas las personas normales tienen miedo a lamuerte.

2. Rambo no tiene miedo a la muerte.3. Rambo no es una persona normal.



Ejemplo 5

EjemploPara el siguiente razonamiento indique sudescripción:1. Ningún coche bueno es barato.2. Turtle Shell no es un coche barato.3. Por lo tanto, Turtle Shell es un buen coche.

A Razonamiento inválido: error de la recíproca.

B Razonamiento inválido: error de la inversa.

C Razonamiento válido por modus tollens universal.

D Razonamiento válido por modus ponens universal.

1. ∀ coche,Bueno(coche)→ ¬Barato(coche)

2. ¬Barato(TurtleShell)3. Bueno(TurtleShell)



Ejemplo 6

EjemploPara el siguiente razonamiento indique su descripción:1. Ningún estudiante dedicada reprueba Discretas.

2. Rosana no reprobó Discretas.

3. Por lo tanto, Rosana es una estudiante dedicada.A Razonamiento válido por modus tollens universal.

B Razonamiento inválido: error de la inversa.

C Razonamiento inválido: error de la recíproca.


1. ∀estudiante,Dedicada(estudiante)→ ¬Reprueba(estudiante)

2. ¬Reprobo(Rosana)

3. Dedicada(Rosana)



Ejemplo 7

EjemploPara el siguiente razonamiento indique sudescripción:1. Si una serie

∑∞i=1 ai converge entonces el

término i-ésimo ai tiende a 0.2. La serie

∑∞i=1 bi no converge.

3. Por lo tanto, su término i-ésimo bi no tiende acero.

A Razonamiento inválido: error de la recíproca.

B Razonamiento válido por modus tollens universal.

C Razonamiento inválido: error de la inversa.




Instanciación Universal

Regla de Inferencia de Instanciación Universal

∀ x ∈ D, P(x)

∴ P(a) para cualquier a en el dominio D



Cuantificación Existencial

Regla de Inferencia de Cuantificación Existencial

P(a) para un a en el dominio D

∴ ∃ x ∈ D, P(x)



Generalización

Regla de Inferencia de Instanciación Universal

P(t) para t cualquiera en el dominio D

∴ ∀ x ∈ D, P(x)



Ejemplo 8

Para la interpretación:

D = {a, b, c}

R P Q

a F T T

b T F T

c T F TIndique cuáles de las siguientes FBFs son válidas:1. (∃ x, R(x)) ∨ (∃ x, P(x)) −→ (∃ x, (R(x) ∨ P(x)))

2. (∀ x, P(x)) ∧ (∃ x, P(x)) −→ (∃ x, (R(x) ∧ P(x)))

3. ¬ (∀ x, Q(x)) −→ (∀ x, ¬Q(x))

4. (∀ x, (R(x) ∧ P(x))) −→ (∀ x, R(x)) ∧ (∀ x, P(x))



Argumentos Válidos en FOL

DefinicionUn argumento válido en FOL es un argumento quees válido para cualquier interpretación posible.



Ejemplo 9

EjemploEn el siguiente argumento válido indique en ordenlas opciones que lo completan:P1: ∀ x, (P(x) −→ Q(x) ∨ R(x))

P2: ¬Q(a)

P3: ¬R(a)

C: ¬P(a)

1. ¬Q(a) . . .2. ¬R(a) . . . .3. ¬Q(a) ∧ ¬R(a)

4. De Morgan en 35. hipótesis 16. ¬P(a) . . . . modus tollens universal con 5 y 4



Ejemplo 10

EjemploElabore un argumento donde se demuestre que laconclusión se deduce de la hipótesis:

H1: S (a)

H2: ∀x ((S (x) ∧ ¬R(x)) −→ Q(x))

H3: ∀x (S (x) −→ ¬R(x))

C: Q(a)



Ejemplo 11

Elabore un argumento donde se demuestre que laconclusión se deduce de la hipótesis:

H1: Q(a)

H2: ∀x (S (x) −→ ¬Q(x))

H3: S (a) ∨ R(a)

C: R(a)



Variantes de una Condicional

Consideremos la afirmación:

∀ x ∈ D, (P(x)→ Q(x))

■ Su contrapositiva es

∀ x ∈ D, (¬Q(x)→ ¬P(x))

■ Su recíproca es

∀ x ∈ D, (Q(x)→ P(x))

■ Su inversa es

∀ x ∈ D, (¬P(x)→ ¬Q(x))



Implicación y Contrapositiva

Como en Cálculo Proposicional:

La implicación y su contrapositiva sonlógicamente equivalentes: Si una esverdadera la otra también.



Ojo con los textos

■ ∀x, r(x) es una condición suficiente para s(x)significa:

∀x, r(x)→ s(x)

■ ∀x, r(x) es una condición necesaria para s(x)significa:

∀x, s(x)→ r(x)

■ ∀x, r(x) sólo si s(x) significa:

∀x,¬s(x)→ ¬r(x)



Temas Vistos

■ Modus Ponens Universal■ Modus Tollens Universal■ Deducción Natural en Lógica de Predicados■ Concepto de Interpretación

Matemáticas Discretas TC1003 - Profesor Eduardo...

Documents

Transcript of Matemáticas Discretas TC1003 - Profesor Eduardo...