1

at

at

Clase 2: Inferencias y Argumentos

Matem aticas I

at

at

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 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

Simplicaci on

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

Conjunci on p q ) p^q

Bicondicional II p p$q ) q

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

at

at

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

at

P1 P2 . . .

Denici 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

at

at

2.

Argumentos

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

Denici 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.

at

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

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.

UP

UP

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

at

at

at

at

at

Ejercicio 2.6. Muestre la equivalencia

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

hip otesis hip otesis Silogismo hipot etico hip otesis Modus tollens

UP

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

Denici 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

at

p ! q, p ` q

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

at

at

at

p V V F F

q ((p V F V F

! V F V V

q)

^ p) V F F F

! V V V V

at

at

V . . .

q . . .

((p

! q) V

(q

^ V

r ))

! (r . . . F . . .

! p) F

UP

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

M M e at e

at

UP

at

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.

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

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 vericarlo mostrando la siguiente tabla de verdad.

at

at

at

Ejercicios Adicionales

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

at

at

a ) p, p Y q ` q

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

4. Verique si los siguientes argumentos son v alidos. Justique 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.

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

d ) p Y q, p ` q

at

at

UP

UP M at e
4

at

at