LOGICA Y DEMOSTRACIONES

LA LGICA ES EL ESTUDIO DEL RAZONAMIENTO; EN PARTICULAR, SE ANALIZA SI UN RAZONAMIENTO ES CORRECTO. LA LGICA SE CENTRA EN LAS RELACIONES ENTRE LOS ENUNCIADOS Y NO EN EL CONTENIDO DE UN ENUNCIADO PARTICULAR.

POR EJEMPLO, CONSIDRESE EL SIGUIENTE ARGUMENTO:

-Todos las matemticos utilizan sandalias. -Cualquier persona que utilice sandalias es algebrista. -Por tanto, todos los matemticos son algebristas.

PRINCIPIO
LA LGICA CONSIDERA QUE UN RAZONAMIENTO QUE PARTE DE ALGO VERDADERO: ES VERDADERO SI SE LLEGA A ALGO VERDAERO; Y LO CONSIDERA FALSO CUANDO SE LLEGA A ALGO FALSO. LOS RAZONAMIENTOS QUE PARTEN DE ALGO FALSO, SIEMPRE SON CONSIDERADOS COMO VERDAEROS

EJERCICIOS
SI 3+3=6, ENTONCES 6-3=3 SI 3+3=6, ENTONCES 6-3=2 SI 3+3=5, ENTONCES 3*3=9 SI 3+3=5, ENTONCES 3*3=7

PROPOSICIONES
Cul de los siguientes enunciados es verdadero o falso? a) Los nicos enteros positivos que dividen a 7 son 1 y el propio 7. b) Alfred Hitchcock gan un Premio de la Academia en 1940 por dirigir Rebecca. c) Para todo entero positivo n, existe un nmero primo mayor que n. d) La Tierra es el nico planeta en el universo que tiene vida. e) Compre dos boletos para el concierto de rock de Unhinged Universe para el viernes.

PROPOSICIONES (definicin)
Una afirmacin que es verdadera o falsa, pero no ambas, es una proposicin. Utilizaremos letras minsculas, como p, q y r, para representar las proposiciones. Tambin utilizaremos la notacin p: 1+1=3 para indicar que p es la proposicin 1+1=3.

PROPOSICIN SIMPLE
UNA PROPOSICIN QUE CONTIENE UN SOLO SUJETO, UN SOLO PREDICADO Y LA CARACTERSTICA DEL PREDICADO APARECE EN FORMA AFIRMATIVA PARA EL SUJETO, ES LLAMADA PROPOSICIN SIMPLE.

PROPOSICIONES SIMPLES
EL AGUA ES UN ELEMENTO LA TIERRA ES REDONDA LA COMPUTADORA ES TIL EN LA CIENCIA. 2 MS 2 ES IGUAL A 4 EL BITE ES LA UNIDAD MNIMA DE COMUNICACIN

PROPOSICIONES COMPUESTAS
UNA PROPOSICIN QUE NO ES SIMPLE SE LLAMA FINCIN COMPUESTA
EJEMPLOS JUAN Y PEDROS SON HERMANOS EL AIRE NO EST CONTAMINADO

 LA PELEA ES DIFICL E INJUSTA EL AGUA Y EL ACEITE NO SE MEZCLAN LA HISTORIA Y SOCIOLOGA SON INOPERANTES.

CONJUNCIN(

Definicin Sean p y q proposiciones. La conjuncin de p y q, denotada por p q, representa la proposicin ocurre p y ocurre q. La disyuncin de p y q, denotada por p q, representa la proposicin ocurre p o ocurre q.
Las proposiciones (como p q y p proposiciones compuestas.

q) resultantes de combinar proposiciones simples son

EJEMPLO
Si p: 1+1=3, q: Un decenio tiene 10 aos, entonces la conjuncin de p y q es

p q: 1+1=3 y un decenio tiene 10 aos.

La disyuncin de p y q es

p q: 1+1=3 o un decenio tiene 10 aos.

TABLA DE VERDAD
El valor de verdad de la proposicin compuesta p q queda definido mediante la tabla de verdad.
p V V F F q V F V F p q V F F F

EJEMPLO
Si p: 1+1=3, q: Minnepolis es la capital de Minnesota, entonces p y q son falsas y la conjuncin p q: 1+1=3 y Minnepolis es la capital de Minnesota es falsa.

EJEMPLO
Si p: 1+1=3 q: Un decenio tiene 10 aos,
dado que p es falsa, q es verdadera, entonces la conjuncin p q: 1+1=3 y un decenio tiene 10 aos es falsa.

EJEMPLO
Si p: Benny Goodman grab msica clsica, q: Los Orioles de Baltimore eran los Cafs de San Luis, entonces p y q son verdaderas. Luego p q: Benny Goodman grab msica clsica y lo Orioles de Baltimore eran los Cafs de San Luis es verdadera.

TABLA DE VERDAD
El valor de verdad de la proposicin compuesta p q se define mediante la tabla de verdad
p V V F F q V F V F p q V V V F

 Si p: 1+1=3, q: Un decenio tiene 10 aos, entonces p es falsa, q es verdadera, y la disyuncin p q: 1+1=3 o un decenio tiene 10 aos es verdadera.

EJEMPLO
Si p: Benny Goodman grab msica clsica, q: Los Orioles de Baltimore eran los Cafs de San Luis, entonces p y q son ambas verdaderas y la disyuncin p q: Benny Goodman grab msica clsica o los Orioles de Baltimore eran los Cafs de San Luis tambin es verdadera.

EJEMPLO
Si p: 1+1=3, q: Minnepolis es la capital de Minnesota, entonces p y q son falsas y la disyuncin p q: 1+1=3 o Minnepolis es la capital de Minnesota es falsa.

NEGACION
La negacin de p, denotada por p, es la proposicin no p. El valor de verdad de la proposicin p se define mediante la tabla de verdad
p V F
p

F V

EJEMPLO
Si p: Cary Grant estelariz Rear Window, entonces la negacin de p es la proposicin p: No es cierto que Cary Grant haya estelarizado Rear Window.

EJEMPLO
Sean p: Blas Pascal invent varias mquinas calculadoras, q: la primera computadora digital completamente electrnica fue construida en el siglo XX. r: el valor del nmero pi se calcul hasta 1 milln de cifras decimales en 1954. Representar la proposicin Blas Pascal invent varias mquinas calculadoras y no es cierto que la primera computadora digital completamente electrnica haya sido construida en el siglo XX; o bien el valor de pi se calcul hasta 1 milln de cifras decimales en 1954, en forma simblica y determinar si es verdadera o falsa.

La proposicin puede escribirse en forma simblica como (p q) r.

(p q) r = (V V) F = (V F) F = F F = F. Por tanto, la proposicin dada es falsa

TABLA DE VERDAD
UNA TABLA DE VERDAD PARA UN PROPOSICION, CONSISTE EN ANALIZAR EL VALOR DE VERDAD O FALSEDAD PARA DICHA PROPOSICION, EN TODAS LAS POSIBLES COMBINACIONES DE VERDAD O FALSEDAD DE LAS PROPOSICIONES SIMPLES QUE LA CONSTITUYEN

EJEMPLO
CONTRUYA LA TABLA DE VERDAD DE LA PROPOSICION (p r q)
PASO 1 SE CONSTRUEN LAS COMBINACIONES POSIBLES DE VALOR DE VERDAD PARA CAD PROPOSICIN SIMPLE

p
V V V V F F F F

q
V V F F V V F F

r
V F V F V F V F

PASO DOS ((p q) r)

p q r

(P q)

(p q) r

V V V V F F F F

V V F F V V F F

V F V F V F V F

F F V V F F V V

F F V V F F F F

V F V V V F V F

EJERCICIOS
I DETERMINE SIN SON PROPOSICIONES 1 Mesero, puede traer las nueces? Es decir, puede servir las nueces a los invitados? 2.La frase Hazlo de nuevo, Sam aparece en la pelcula Casablanca. II CONSTRUYA LA TABLA DE VERDAD 3. ( (p q))( p r) 4. (pr) (q r) (r p) 5. ( p q) p 6. (pq) ( pq) ((p q) ( p q))

PROPOSICIONES CONDICIONALES Y EQUIVALENCIA LGICA

Si p y q son proposiciones, la proposicin compuesta, si p entonces q, es una proposicin condicional y se denota
p q

La proposicin p es la hiptesis (o antecedente) y la proposicin q es la conclusin (o consecuente)

 Enuncie cada proposicin en forma de una proposicin condicional (a) Mara ser una buena estudiante si estudia mucho. (b) Juan puede cursar clculo slo si est en su segundo, tercer o cuarto ao de estudio de licenciatura. (c) Cuando cantas, me duelen los odos. (d) Una condicin necesaria para que los Cachorros ganen la Serie Mundial es que consigan un lanzador relevista derecho. (e) Una condicin suficiente para que Jun visite California es que vaya a Disneylandia.

EJEMPLO

(a) Mara ser una buena estudiante si estudia mucho. Si Mara estudia mucho, entonces ser una buena estudiante.

 (b) Juan puede cursar clculo slo si est en su segundo, tercer o cuarto ao de estudio de licenciatura. Si p entonces q, es considerada desde el punto de vista lgico como igual a p slo si q (slo si se considera la conclusin). Una formulacin equivalente es Si Juan cursa clculo, entonces est en su segundo, tercer o cuarto ao de estudio de licenciatura.

(c)

Cuando cantas, me duelen los odos.

Si cantas, entonces me duelen los odos

 (d) Una condicin necesaria para que los Cachorros ganen la Serie Mundial es que consigan un lanzador relevista derecho.
Si los cachorros ganan la serie mundial, entonces han contratado un lanzador relevista derecho.

(e) Una condicin suficiente para que Jun visite California es que vaya a Disneylandia.
Si Jun va a Disneylania, entonces estar visitando California.

TABLA DE VERDAD

p V V F F

q V F V F

q
V F V V

EJEMPLO
Sean p: 1>2, q: 4<8. Entonces p es falsa y q es verdadera. tanto, p q es verdadera y q p es falsa.

Por

EJERCICIO
Construya la tabla proposicin. (a) ( p q) r (b) ( p q) r (c) p (q r ) (d) p (q r ) de verdad cada

PROPOSICION BICONDICIONAL
Si p y q son proposiciones, la proposicin compuesta p si y slo si q es una proposicin bicondicional y se denota

p q.

TABLA DE VERDAD
p V V F F q V F V F p

V F F V

EJEMPLO
La afirmacin 1<5 si y slo si 2<8 puede escribirse de manera simblica como

pq

Si definimos

p: 1<5, q:2<8 Como p=V y q=V, la afirmacin es verdadera.

EJERCICIO
CONSTRUYA LA TABLA DE VERDAD DE LA PROPOSICIN
(p r q)

PROPOSICIONES EQUIVALENTES
Supongamos que las proposiciones compuestas P y Q estn formadas por las proposiciones p1,...,pn. Decimos que P y Q son lgicamente equivalentes y escribimos P Q, Siempre la proposicin P Q sea verdadera (tautologa) para cualquier valor de verdad de P y Q.

LEYES DE MORGAN
a) p q p q b) p q p q

a)

p q p q p q p q p q V V F F V V F F F V F V F F V F F V V V

p
V V F

q p q p )b
q
V F V F V V F V V

V V V