P. 1
Clase 02

Clase 02

|Views: 31|Likes:
MATEMATICAS UP
MATEMATICAS UP

More info:

Categories:Topics
Published by: nicolas dionisio ordonez barrueta on Sep 02, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

11/13/2013

pdf

text

original

1

1

e

at

at

M

Clase 2: Inferencias y Argumentos
Matem´ aticas I

M

1

1

at

at

M

donde a P1 , ..., Pn se le denominan premisas y a Q se le llama conclusi´ on.

Ejercicio 1.3. Muestre cada una de las siguientes inferencias. Modus tollens ¬q p!q ) ¬p Adici´ on p ) p_q p^q ) p

UP

UP

Ejemplo 1.2. (Modus ponens ) De la tabla de la condicional vemos que si p es verdadero y p ! q tambi´ en lo es, entonces q es necesariamente verdadero. Esta inferencia se puede expresar como p p!q ) q

M

M M M at e at e

Pn ) Q

at

Reductio ad absurdum p!q p ! ¬q ) ¬p Silogismo hipot´ etico p!q q!r ) p!r

at

Simplificaci´ on

Bicondicional I p!q q!p ) p$q

1

e

e

1

Conjunci´ on p q ) p^q

Bicondicional II p p$q ) q

M

M

1

c 2013 Todos los derechos reservados. Prohibida su reproducci´ on parcial o total.

e

at

M

at

e

1

1

1

Observaci´ on 1.4. A estas inferencias tambi´ en se les conoce en la literatura como reglas de inferencia porque son muy usadas al demostrar inferencias m´ as complejas.

UP

UP

Bicondicional III ¬p p$q ) ¬q

1

at

e

P1 P2 . . .

e

e

1

Definici´ on 1.1. La inferencia es el acto de mostrar la verdad de una proposici´ on asumiendo la veracidad de otras. Si P1 , ..., Pn son las proposiciones que se asumen ciertas y Q es la proposici´ on que se muestra verdadera, entonces usaremos la siguiente notaci´ on

UP

UP

1.

Inferencias

M
2013-2

at

e

e

1

1

e

at

at

2.

Argumentos

M

Ejemplos 2.2.

El argumento “Cuando llueve el piso esta mojado. En este momento esta lloviendo. Por lo tanto el piso esta mojado” puede representarse por

M

Definici´ on 2.1. Un argumento consiste de una lista de premisas P1 , P2 , ..., Pn y una conclusi´ on Q las cuales se representan por P1 , P2 , ..., Pn ` Q.

UP

donde p = “Esta lloviendo”, q = “El piso esta mojado”.

1

e

at

M

Observaci´ on 2.4. La validez de un argumento se puede demostrar usando inferencias como hacemos en el siguiente ejemplo. Ejemplo 2.5. Deseamos mostrar que el argumento p ! q, q ! r, ¬r ` ¬p

UP

at

M

Esto nos dice que si queremos demostrar P $ Q lo que podemos hacer es demostrar primero P ! Q y despu´ es Q ! P . Teorema 2.7. El argumento P1 , P2 , ..., Pn ` Q es v´ alido si y s´ olo si P1 ^ P2 ^ · · · ^ Pn ! Q es una tautolog´ ıa. Demostraci´ on. Si P1 , P2 , ..., Pn ` Q es v´ alido entonces cuando todas las premisas son verdaderas la conclusi´ on tambi´ en lo es y por lo tanto P1 ^ P2 ^ · · · ^ Pn ! Q es verdadero. Si alguna de las premisas es falsa entonces P1 ^ P2 ^ · · · ^ Pn es falsa y por lo tanto P1 ^ P2 ^ · · · ^ Pn ! Q es verdadero. Si P1 ^ P2 ^ · · · ^ Pn ! Q es siempre verdadero sin importar el valor de verdad de sus proposiciones simples en particular es verdadero cuando todas las premisas son verdaderas. Por lo tanto la conclusi´ on debe ser verdadera.

M

UP

UP

M

P $ Q ⌘ ( P ! Q) ^ ( Q ! P ) .

at

1

1

e

at

at

M

M

at

e

2

e

1

at

e

Ejercicio 2.6. Muestre la equivalencia

e

e

p!q q!r p!r ¬r ) ¬p

1

hip´ otesis hip´ otesis Silogismo hipot´ etico hip´ otesis Modus tollens

UP

es v´ alido. En efecto, esto se sigue de las siguientes inferencias

M

M

Definici´ on 2.3. Un argumento es v´ alido cuando asumiendo que todas las premisas son verdaderas la conclusi´ on tambi´ en lo es necesariamente.

at

1

1

at

p ! q, ¬p ` ¬q

1

e

e

1

El argumento “Si termino la tarea voy a la playa. No termin´ e la tarea. Por lo tanto no ir´ e a la playa.” puede representarse por

UP

p ! q, p ` q

M

at

e

e

1

1

e

at

at

M

p V V F F

q ((p V F V F

! V F V V

M

q)

^ p) V F F F

! V V V V

q

1

at

at

M

F

V . . .

V

M

p

q . . .

r

((p

! q) V

^

(q

^ V

r ))

! (r . . . F . . .

! p) F

V

UP

UP 1 e at M UP 1 e at M M at
3

M M e at e

M

at

e

UP

1

at

e

1

1

1

at

Construyendo la tabla de verdad podemos mostrar que si p es falso y q , r son verdaderos entonces la condicional ((p ! q ) ^ (q ^ r)) ! (r ! p) es falsa lo cual muestra que el argumento es inv´ alido.

1

Ejemplo 2.9. Deseamos mostrar que el siguiente argumento es inv´ alido: “Si eres un alumno de la U.P. entonces eres inteligente. De hecho, t´ u eres inteligente y emprendedor. Por consiguiente, si eres emprendedor entonces debes ser de la U.P.” En efecto, si hacemos p = “Eres alumno de la U.P.”, q = “Eres inteligente” y r = “Eres emprendedor” podemos entonces representar el argumento como p ! q, q ^ r ` r ! p.

UP

UP

M

Ejemplo 2.8. El argumento de la primera parte del ejemplo 2.2 es v´ alido por aplicaci´ on directa de modus ponens. Tambi´ en podemos verificarlo mostrando la siguiente tabla de verdad.

e

e

e

1

at

e

e

1

1

e

at

at

Ejercicios Adicionales

M

M

1. Demuestre la siguiente inferencia llamada silogismo disyuntivo p_q ¬p ) q

2. El siguiente p´ arrafo representa un argumento.

UP

Cuando esta soleado salgo a correr. Si duermo bien tambi´ en salgo a correr. Hoy esta soleado o dorm´ ı bien. Por lo tango salgo a correr. Escriba el argumento de manera formal y muestre que es v´ alido. Esta demostraci´ on representa una inferencia llamada an´ alisis de casos. Escriba dicha inferencia de manera formal.

UP

M M M M at e at e at e

1

e

at

at

a ) p, p Y q ` q

e

3. Demuestre que los siguientes argumentos son v´ alidos o justifique por qu´ e no lo son. c ) p ! q, q ! r ` p ! r

M

4. Verifique si los siguientes argumentos son v´ alidos. Justifique su respuesta en cada caso usando la l´ ogica de proposiciones. a ) “Si llueve entonces el piso se moja. Cuando el piso se moja hay que limpiarlo. Por lo tanto, si llueve hay que limpiar el piso”.

M

b ) ¬q, p ! q ` ¬p

UP

b ) “Si hay nubes en el cielo el sol no brilla y si el sol no brilla hace fr´ ıo. Como en este momento no hace fr´ ıo entonces no deben haber nubes en el cielo”. c ) “Tu vas a la playa si y solo si terminas la tarea. Si vas a playa entonces no vas al gimnasio. Por lo tanto, o vas al gimnasio o terminas la tarea”.

UP

1

d ) p Y q, ¬p ` q

1

e

at

M

M

at

e

UP

UP M at e
4

1

at

e

1

1

1

1

1

at

e

e

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->