La descarga está en progreso. Por favor, espere

La descarga está en progreso. Por favor, espere

LOGICA Y DEMOSTRACIONES La lógica es el estudio del razonamiento; en particular, se analiza si un razonamiento es correcto. La lógica se centra en las.

Presentaciones similares


Presentación del tema: "LOGICA Y DEMOSTRACIONES La lógica es el estudio del razonamiento; en particular, se analiza si un razonamiento es correcto. La lógica se centra en las."— Transcripción de la presentación:

1 LOGICA Y DEMOSTRACIONES La lógica es el estudio del razonamiento; en particular, se analiza si un razonamiento es correcto. La lógica se centra en las relaciones entre los enunciados y no en el contenido de un enunciado particular. Por ejemplo, considérese el siguiente argumento: Todos las matemáticos utilizan sandalias. Cualquier persona que utilice sandalias es algebrista. Por tanto, todos los matemáticos son algebristas. Todos los matemáticos son algebristas.

2 PROPOSICIONES ¿Cuál 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 número 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.

3 DEFINICION (PROPOSICION) Una afirmación que es verdadera o falsa, pero no ambas, es una proposición. Utilizaremos letras minúsculas, como p, q y r, para representar las proposiciones. También utilizaremos la notación p: 1+1=3 para indicar que p es la proposición 1+1=3.

4 Definición Sean p y q proposiciones. La conjunción de p y q, denotada p q, es la proposición p y q. La disyunción de p y q, denotada p q, es la proposición p o q. Las proposiciones (como p q y p q) resultantes de combinar proposiciones son proposiciones compuestas.

5 EJEMPLO Si p: 1+1=3, q: Un decenio tiene 10 años, entonces la conjunción de p y q es p q: 1+1=3 y un decenio tiene 10 años. La disyunción de p y q es p q: 1+1=3 o un decenio tiene 10 años.

6 TABLA DE VERDAD El valor de verdad de la proposición compuesta p q queda definido mediante la tabla de verdad. pqp q vvv vff fvf fff

7 EJEMPLO Si p: 1+1=3, q: Minneápolis es la capital de Minnesota, entonces p y q son falsas y la conjunción p q: 1+1=3 y Minneápolis es la capital de Minnesota es falsa.

8 EJEMPLO Si p: 1+1=3 q: Un decenio tiene 10 años, entonces p es falsa, q es verdadera, y la conjunción p q: 1+1=3 y un decenio tiene 10 años es falsa.

9 EJEMPLO Si p: Benny Goodman grabó música clásica, q: Los Orioles de Baltimore eran los Cafés de San Luis, entonces p y q son verdaderas. Luego p q: Benny Goodman grabó música clásica y lo Orioles de Baltimore eran los Cafés de San Luis es verdadera.

10 TABLA DE VERDAD El valor de verdad de la proposición compuesta pq se define mediante la tabla de verdad pqp q vvv vfv fvv fff

11 Si p: 1+1=3, q: Un decenio tiene 10 años, entonces p es falsa, q es verdadera, y la disyunción p q: 1+1=3 o un decenio tiene 10 años es verdadera.

12 EJEMPLO Si p: Benny Goodman grabó música clásica, q: Los Orioles de Baltimore eran los Cafés de San Luis, entonces p y q son ambas verdaderas y la disyunción p q: Benny Goodman grabó música clásica o lo Orioles de Baltimore eran los Cafés de San Luis también es verdadera.

13 EJEMPLO Si p: 1+1=3, q: Minneápolis es la capital de Minnesota, entonces p y q son falsas y la disyunción p q: 1+1=3 o Minneápolis es la capital de Minnesota es falsa.

14 NEGACION La negación de p, denotada por p, es la proposición no p. El valor de verdad de la proposición p se define mediante la tabla de verdad p p vf fv

15 EJEMPLO Si p: Cary Grant estelarizó Rear Window, la negación de p es la proposición p: No es cierto que Cary Grant haya estelarizado Rear Window.

16 EJEMPLO Sean p: Blas Pascal inventó varias máquinas calculadoras, q: la primera computadora digital completamente electrónica fue construida en el siglo XX. r: se calculó hasta 1 millón de cifras decimales en Representar la proposición Blas Pascal inventó varias máquinas calculadoras y no es cierto que la primera computadora digital completamente electrónica haya sido construida en el siglo XX; o bien se calculó hasta 1 millón de cifras decimales en 1954, en forma simbólica y determinar si es verdadera o falsa.

17 La proposición puede escribirse en forma simbólica como (p q) r. (p q) r = (V V) F = (V F) F = F F = F. Por tanto, la proposición dada es falsa

18 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 película Casablanca. II SI p=F, q=V Y r=F, EVALUE 3. ( (p q)) ( p r) 4. (p r) (q r) (r p) 5. ( p q) p 6. (p q) ( p q) ((p q) ( p q))

19 PROPOSICIONES CONDICIONALES Y EQUIVALENCIA LÓGICA Si p y q son proposiciones, la proposición compuesta, si p entonces q, es una preposición condicional y se denota p q La proposición p es la hipótesis (o antecedente) y la proposición q es la conclusión (o consecuente)

20 EJEMPLO Enuncie cada proposición en forma de una proposición condicional (a) María será una buena estudiante si estudia much. (b) Juan puede cursar cálculo sólo si está en su segundo, tercer o cuarto año de estudio de licenciatura. (c) Cuando cantas, me duelen los oídos. (d) Una condición necesaria para que los Cachorros ganen la Serie Mundial es que consigan un lanzador relevista derecho. (e) Una condición suficiente para que Rafael visite California es que vaya a Disneylandia.

21 (a) Si María estudia mucho, entonces será una buena estudiante. (b) Si p entonces q, es considerada desde el punto de vista lógico como igual a p sólo si q. Una formulación equivalente es Si Juan cursa cálculo, entonces está en su segundo, tercer o cuarto año de estudio de licenciatura.

22 (c) Si cantas, entonces me duelen los oídos (d) Si los cachorros ganan la serie mundial, entonces han contratado un lanzador relevista derecho. (e) Si Rafael va a Disneylania, entonces estará visitando California.

23 TABLA DE VERDAD pqp q VVV VFF FVV FFV

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

25 EJERCICIO Si p=V, q=F y r=V, determine el valor de verdad de cada proposición. (a) (b) (c) (d)

26 PROPOSICION BICONDICIONAL Si p y q son proposiciones, la proposición compuesta p si y sólo si q es una proposición bicondicional y se denota

27 TABLA DE VERDAD pqp q VVV VFF FVF FFV

28 EJEMPLO La afirmación 1<5 si y sólo si 2<8 puede escribirse de manera simbólica como Si definimos p: 1<5, q:2<8 Como p=V y q=V, la afirmación es verdadera.

29 PROPOSICIONES EQUIVALENTES Supongamos que las proposiciones compuestas P y Q están formadas por las proposiciones p 1,...,p n. Decimos que P y Q son lógicamente equivalentes y escribimos P Q, Siempre la proposición P Q sea verdadera (tautología) para cualquier valor de verdad de P y Q.

30 LEYES DE MORGAN a) pq VVFFV VFFFV FVFFV FFVVV


Descargar ppt "LOGICA Y DEMOSTRACIONES La lógica es el estudio del razonamiento; en particular, se analiza si un razonamiento es correcto. La lógica se centra en las."

Presentaciones similares


Anuncios Google