LGICA MATEMTICA Estudia las frases afirmaciones y el

  • Slides: 36
Download presentation
LÓGICA MATEMÁTICA ►Estudia las frases, afirmaciones y el comportamiento de ambas. ►En el estudio

LÓGICA MATEMÁTICA ►Estudia las frases, afirmaciones y el comportamiento de ambas. ►En el estudio de conjuntos intervienen frases y expresiones.

Proposición ►Expresión verdadera o falsa pero no ambas Ejemplos: ► 3 + 8 es

Proposición ►Expresión verdadera o falsa pero no ambas Ejemplos: ► 3 + 8 es menor que 10 ►Amado Nervo fue un gran arquitecto ►El petróleo es un recurso renovable

No son proposiciones: ►Es más interesante Oceanía que América ►Es más fácil el estudio

No son proposiciones: ►Es más interesante Oceanía que América ►Es más fácil el estudio de la música que de las matemáticas. ►La cosecha del año entrante se helará

Denotación ►Proposiciones: Letras minúsculas ►Proposiciones falsas: F (valor de verdad falso) ►Proposiciones verdaderas: V

Denotación ►Proposiciones: Letras minúsculas ►Proposiciones falsas: F (valor de verdad falso) ►Proposiciones verdaderas: V (valor de verdadero)

Clasifica las proposiciones ► 3 + 8 es menor que 10 (_F__) ►Amado Nervo

Clasifica las proposiciones ► 3 + 8 es menor que 10 (_F__) ►Amado Nervo fue un gran arquitecto(__F_) ► ►El petróleo es un recurso renovable(__F_) ►Es más interesante Oceanía que América(_X_) ►Es más fácil el estudio de la música que de las matemáticas. (__X_) ►La cosecha del año entrante se helará(__X_)

Clasificación PROPOSICIÓN SIMPLE PROPOSICIÓN COMPUESTA PROPOSICIÓN DISYUNTIVA PROPOSICIÓN CONJUNTIVA

Clasificación PROPOSICIÓN SIMPLE PROPOSICIÓN COMPUESTA PROPOSICIÓN DISYUNTIVA PROPOSICIÓN CONJUNTIVA

Proposiciones compuestas ►Formadas por varias proposiciones y usa operadores o conectores: ►Y (^) conjunción

Proposiciones compuestas ►Formadas por varias proposiciones y usa operadores o conectores: ►Y (^) conjunción ►O (v) disyunción ►No (¬, ´) ►Entonces ( ) Condicionales ►Si sólo si ( ) Bicondicionales

Conjunción Y (^) ►Se utiliza para conectar dos proposiciones que se deben cumplir para

Conjunción Y (^) ►Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Se le conoce como la multiplicación lógica. ►Ejemplo: “El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batería” Sean: P = El coche enciende q = Tiene gasolina el tanque r = Tiene corriente la batería

Tabla de verdad (1=VERDADERO, 0=FALSO) q 1 1 0 0 r 1 0 P=q^r

Tabla de verdad (1=VERDADERO, 0=FALSO) q 1 1 0 0 r 1 0 P=q^r 1 0 0 0 ►De tal manera que la representación del enunciado anterior usando simbología lógica es: P=q^r

Disyunción “O” , “u” (v) ►Se obtiene un resultado verdadero cuando alguna de las

Disyunción “O” , “u” (v) ►Se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se conoce como la suma lógica. ►Ejemplo: “Una persona puede entrar al cine si compra su boleto u obtiene un pase” P = Entra al cine q = Compra su boleto r = Obtiene un pase

Tabla de verdad (1=VERDADERO, 0=FALSO) q 1 1 0 0 r 1 0 P=qvr

Tabla de verdad (1=VERDADERO, 0=FALSO) q 1 1 0 0 r 1 0 P=qvr 1 1 1 0 ►De tal manera que la representación del enunciado anterior usando simbología lógica es: P=qvr ►La única manera en que no puede ingresar al cine (p=0), es que no compre su boleto (q=0) y que no obtenga un pase (r=0).

Negación No (¬, ´) ►Su función es negar la proposición. Esto significa que sí

Negación No (¬, ´) ►Su función es negar la proposición. Esto significa que sí alguna proposición es verdadera y se le aplica el operador no se obtendrá su complemento o negación (falso). ►Ejemplo: La negación de está lloviendo en este momento (p=1), es no está lloviendo en este momento (p’=0)

Tabla de verdad (1=VERDADERO, 0=FALSO) p P´ 1 0 0 1

Tabla de verdad (1=VERDADERO, 0=FALSO) p P´ 1 0 0 1

Ejemplo ►Sean las proposiciones: p: Hoy es domingo. q: Tengo que estudiar teorías del

Ejemplo ►Sean las proposiciones: p: Hoy es domingo. q: Tengo que estudiar teorías del aprendizaje. r: Aprobaré el curso. El enunciado: “Hoy es domingo y tengo que estudiar teorías de aprendizaje o no aprobaré el curso”. Se puede representar simbólicamente de la siguiente manera: ►p ^ q v´ r

Entonces ( ) Condicionales ►Es aquella que está formada por dos proposiciones simples (o

Entonces ( ) Condicionales ►Es aquella que está formada por dos proposiciones simples (o compuesta) p y q. La cual se indica de la siguiente manera: P q Se lee “Si p entonces q”

Ejemplo. El candidato del PRI dice “Si salgo electo presidente de la República recibirán

Ejemplo. El candidato del PRI dice “Si salgo electo presidente de la República recibirán un 50% de aumento en su sueldo el próximo año”. Una declaración como esta se conoce como condicional. Sean: ►p: Salió electo Presidente de la República. ►q: Recibirán un 50% de aumento en su sueldo el próximo año. El enunciado se puede expresar de las siguiente manera. ►p q

Tabla de verdad (1=VERDADERO, 0=FALSO) p 1 1 0 0 q 1 0 p

Tabla de verdad (1=VERDADERO, 0=FALSO) p 1 1 0 0 q 1 0 p q 1 0 1 1 Considere que se desea analizar si el candidato presidencial mintió con la afirmación del enunciado anterior. ►Cuando p=1; significa que salió electo, q=1 y recibieron un aumento de 50% en su sueldo, por lo tanto p - q =1; significa que el candidato dijo la verdad en su campaña. ►Cuando p=1 y q=0 significa que p -- q =0; el candidato mintió, ya que salió electo y no se incrementaron los salarios. ►Cuando p=0 y q=1 significa que aunque no salió electo hubo un aumento del 50% en su salario, que posiblemente fue ajeno al candidato presidencial y por lo tanto; tampoco mintió de tal forma que p-- q =1.

Bicondicional ►Sean p y q dos proposiciones entonces se puede indicar la proposición bicondicinal

Bicondicional ►Sean p y q dos proposiciones entonces se puede indicar la proposición bicondicinal de ►la siguiente manera: ►p q Se lee “p si y solo si q” ►Esto significa que p es verdadera si y solo si q es también verdadera. O bien p es falsa ►si y solo si q también lo es.

Ejemplo ►El enunciado siguiente es una proposición bicondicional ►“Es buen estudiante, si y solo

Ejemplo ►El enunciado siguiente es una proposición bicondicional ►“Es buen estudiante, si y solo si; tiene promedio de diez” ►Donde: ►p: Es buen estudiante. ►q: Tiene promedio de diez.

Tabla de verdad (1=VERDADERO, 0=FALSO) q 1 1 0 0 r 1 0 p

Tabla de verdad (1=VERDADERO, 0=FALSO) q 1 1 0 0 r 1 0 p q 1 0 0 1 ►La proposición condicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas

Ejercicio Sea el siguiente enunciado: “Si no pago la luz, entonces me cortarán la

Ejercicio Sea el siguiente enunciado: “Si no pago la luz, entonces me cortarán la corriente eléctrica. Y Si pago la luz, entonces me quedaré sin dinero o pediré prestado. Y Si me quedo sin dinero y pido prestado, entonces no podré pagar la deuda, si solo si soy desorganizado”

Donde: ►p: Pago la luz. ►q: Me cortarán la corriente eléctrica. ►r: Me quedaré

Donde: ►p: Pago la luz. ►q: Me cortarán la corriente eléctrica. ►r: Me quedaré sin dinero. ►s: Pediré prestado. ►t: Pagar la deuda. ►w: soy desorganizado.

Tablas de verdad ►Representación de las hipótesis generalizadas mediante proposiciones compuestas. ►Sirve para determinar

Tablas de verdad ►Representación de las hipótesis generalizadas mediante proposiciones compuestas. ►Sirve para determinar el valor de verdad de cada componente de una proposición que contiene conectivos. ►Establecen una correspondencia mediante la deducción lógico matemática. ►Constituye un método de decisión para establecer si una proposición es o no un teorema.

Tabla de verdad ► Construcción: ► 1 = VERDADERO ► 0 = FALSO

Tabla de verdad ► Construcción: ► 1 = VERDADERO ► 0 = FALSO

Tabla de verdad El número de líneas de la tabla de verdad depende del

Tabla de verdad El número de líneas de la tabla de verdad depende del número de variables de la expresión y se puede calcular por medio de la siguiente formula: No de líneas = 2 n Donde: n = número de variables distintas.

NEGACIÓN ►Dada una proposición p, se define la negación de p como la proposición

NEGACIÓN ►Dada una proposición p, se define la negación de p como la proposición p' (~, ¬) que es verdadera cuando p es falsa y que es falsa cuando p es verdadera. ►Se lee "no p".

Conjunción ►Es aquella proposición que es verdadera cuando p y q son verdaderas, y

Conjunción ►Es aquella proposición que es verdadera cuando p y q son verdaderas, y falsa en cualquier otro caso. ►Se escribe p q, y se lee "p y q".

Disyunción ►Es aquella proposición que es verdadera cuando al menos una de las dos

Disyunción ►Es aquella proposición que es verdadera cuando al menos una de las dos p o q es verdadera, falsa en caso contrario. ►Se escribe p q, y se lee "p ó q".

Disyunción exclusiva ►Es aquella proposición que es verdadera cuando una y sólo una de

Disyunción exclusiva ►Es aquella proposición que es verdadera cuando una y sólo una de las dos p o q es verdadera, y falsa en cualquier otro caso. ►Se escribe p q, y se lee "p o q pero no ambas". Se usa muy poco.

Condicional ►Es aquella proposición que es falsa únicamente cuando la condición suficiente p es

Condicional ►Es aquella proposición que es falsa únicamente cuando la condición suficiente p es verdadera y la condición necesaria q es falsa. ►Se escribe p => q, y se lee "si p entonces q".

Bicondicional ►Es aquella proposición que es verdadera cuando p y q tienen el mismo

Bicondicional ►Es aquella proposición que es verdadera cuando p y q tienen el mismo valor de verdad, y falsa en caso contrario. ►Se escribe p <=>q, y se lee "si y sólo si p entonces q".

Tautología ►Se dice que una proposición es una tautología si su valor de verdad

Tautología ►Se dice que una proposición es una tautología si su valor de verdad es siempre 1 independientemente de los valores de las proposiciones que lo componen; ►por ejemplo:

Contradicción ►Una proposición se dice que es una contradicción si su valor de verdad

Contradicción ►Una proposición se dice que es una contradicción si su valor de verdad es siempre 0 independientemente de los valores de las proposiciones que lo componen. ►Por ejemplo:

Paradoja ►Una paradoja es una proposición a la que no se le puede asignar

Paradoja ►Una paradoja es una proposición a la que no se le puede asignar ningún valor de verdad; suelen estar relacionadas con incorrecciones en el lenguaje lógico. ►Por ejemplo: p = "la proposición p es falsa".

Equivalentes ►Dos proposiciones p y q se dicen equivalentes si tienen la misma tabla

Equivalentes ►Dos proposiciones p y q se dicen equivalentes si tienen la misma tabla de verdad en función de las proposiciones elementales que lo componen; esta definición equivale a decir que la proposición es una tautología. ►Por ejemplo, las proposiciones: son equivalentes.

Reducción al absurdo ►Esta ley se llama "ley del contrarrecíproco", y se usa en

Reducción al absurdo ►Esta ley se llama "ley del contrarrecíproco", y se usa en los razonamientos por reducción al absurdo.