Asignatura: Matemticas Discretas 1. DATOS GENERALES FACULTAD INGENIERA CARRERA INGENIERA EN SISTEMAS COMPUTACIONALE S REA MATEMTICAS CICLO 1 SEMESTRE A 2013 PARALELO HORAS SEMANALES 4 H NMERO DE CRDITOS 4 NIVEL CURRICULAR BSICO X BSI CO ESP ECF ICO PRE PROFE SIONA L CAMPO DISCIPLINAR PROFESIONAL HUMANSTICO INVESTIGATIVO PROFESOR(A) ING. INELDA MARTILLO ALCIVAR 6. RESULTADOS DEL APRENDIZAJE El estudiante al final del semestre : Define, reconoce y utiliza las proposiciones, uso de conectivos, tabla de verdad, condicionales, tautologas, a travs de los circuitos lgicos que puedan plantear. Identifica conjuntos y relaciones, operaciones de conjuntos, dominios y rangos, funciones, operaciones de funciones, principios de induccin matemtica, sistemas algebraicos y los representa por medio de lenguaje matemtico y de una representacin grfica donde finalmente identifica sus propiedades. 7. ESTRUCTURA DE LA ASIGNATURA POR UNIDADES UNIDAD OBJETIVOS RESULTADOS DEL APRENDIZAJE I. LOGICA MATEMATICA Traducir proposiciones del lenguaje formal al lenguaje corriente y del lenguaje corriente al formal Identificar condiciones necesarias y suficientes en los razonamientos Reconocer las leyes del algebra preposicional y aplicarlas Analizar las validez de razonamientos utilizando las leyes de inferencia Demostrar equivalencias de formas preposicionales, usando propiedades Obtener el valor de verdad de proposiciones abiertas Determinar el valor de verdad de preposiciones abiertas Determinar el valor de verdad de preposiciones en cuantificadores Obtener la negacin de preposiciones con cuantificadores Obtener la negacin de preposiciones con cuantificadores Dando un circuito representado simblicamente Usando las leyes de equivalencia simplificar un circuito dado y hacer su esquema Traduce proposiciones del lenguaje formal al lenguaje corriente y del lenguaje corriente al formal Identifica condiciones necesarias y suficientes en los razonamientos Reconoce las leyes del algebra preposicional y aplica Analiza las validez de razonamientos utilizando las leyes de inferencia Demuestra equivalencias de formas preposicionales, usando propiedades Obtiene el valor de verdad de proposiciones abiertas Determina el valor de verdad de preposiciones abiertas Usa leyes de equivalencia simplificar un circuito dado y hacer su esquema II.CONJUNTOS Y RELACIONES Reconocer conjuntos Obtener el conjunto de partes de un conjunto dado Definir las operaciones sobre conjuntos Aplicar y graficar las propiedades del algebra de conjuntos Demostrar propiedades del producto cartesiano Representar grficamente el producto cartesiano de dos y tres subconjuntos de R Definir una relacin Representar una relacin en un cuadro de doble entrada Representar una relacin de un grafico cartesiano e identificar las propiedades Obtener el dominio y rango de una relacin Obtener la composicin de relaciones dadas Dada una relacin, demostrar si es de equivalencia Dada una relacin, demostrar si es de orden Definir conjunto cociente Dado un conjunto y una relacin de equivalencia, encontrar la participacin del conjunto en sus clases Dada la participacin de un conjunto en clases, definir la relacin que produjo dicha particin Obtener las clases de congruencia mdulo n en Z Definir elemento mnimo y elemento mximo Dado un conjunto y una relacin determinar si est parcialmente ordenado Dado un conjunto y una relacin, hacer el diagrama de Hasse Reconoce conjuntos Define las operaciones sobre conjuntos Aplica y grafica las propiedades del algebra de conjuntos Demuestra propiedades del producto cartesiano Representa grficamente el producto cartesiano de dos y tres subconjuntos de R Define una relacin Representa una relacin en un cuadro de doble entrada Representar una relacin de un grafico cartesiano e identificar las propiedades Obtiene el dominio y rango de una relacin Obtener la composicin de relaciones dadas III. FUNCIONES NUMEROS NATURALES Y CARDINALIDAD Al finalizar el siguiente captulo el alumno ser capaz de: Definir una relacin funcional Obtener la imagen directa e inversa de un conjunto por una funcin Demostrar propiedades de las funciones Aplicar los conceptos de inyectividad y sobreyectividad Definir concepto de conjunto de funciones Enunciar y demostrar propiedades de la funcin caracterstica Dada una funcin, demostrar si es la restriccin de otra dada Dada una operacin binaria sobre un conjunto, demostrar si se cumple propiedades previamente especificadas Definir una operacin unaria sobre un conjunto Definir operaciones externas sobre un conjunto. Dar ejemplos concretos Obtener los nmeros naturales axiomticamente a partir de los axiomas de Peano Explicar el principio de induccin matemtica Aplicar el principio de induccin matemtica en la demostracin de propiedades sobre N Dar ejemplos de conjuntos numerables y no numerables Demostrar que Z es numerable Demostrar que Q es numerable Demostrar que N x N es numerable Demostrar que dos intervalos cualquiera de R son equipotentes Define una relacin funcional Obtiene la imagen directa e inversa de un conjunto por una funcin Demuestra propiedades de las funciones Aplica los conceptos de inyectividad y sobreyectividad Define concepto de conjunto de funciones Enuncia y demuestra propiedades de la funcin caracterstica IV. ESTRUCTURAS ALGEBRAICAS Dada una operacin sobre conjunto, demostrar si tal operacin es cerrada, tiene neutro, es conmutativa, es asociativa, etc. Dados dos sistemas algebraicos, por ejemplo de tablas analizar si existe un homomorfismo Dar las definiciones de las estructuras algebraicas definidas Dado un conjunto y una operacin, demostrar segn las propiedades que cumpla de que estructura se trata Realizar la tabla de cualquier grupo Zn, establecer si tal grupo es cclico y cules son sus generadores Realizar problemas con el grupo de simetras y el grupo de permutaciones Establecer isomorfismo de grupos y anillos Demuestra si la operacin es cerrada, tiene neutro, es conmutativa, es asociativa, etc. Realiza problemas con el grupo de simetras y el grupo de permutaciones Establece isomorfismo de grupos y anillos Qu es el Razonamiento? Operacin mental por la cual a partir de una o varias premisas se deduce una nueva premisa, tambin llamada conclusin. Premisas: a) Cristian es mayor que Vernica b) Vernica naci dos aos antes que Silvana. Conclusin: Cristian es mayor que Silvana Qu es la Lgica? Es el anlisis formal de los razonamientos, es decir si la conclusin del razonamiento deriva de una secuencia lgica de las premisas que la fundamentan. Premisas: a) Cristian es mayor que Vernica b) Vernica naci dos aos antes que Silvana. Conclusin: Cristian es mayor que Silvana La conclusin es Verdadera o Falsa? Divisin de la Lgica L O G I C A
G E N E R A L Lgica Dialctica Lgica Formal (Lgica Matemtica) Estudia el contenido Estudia la forma Lgica Proposicional Qu es una Proposicin? Es toda frase con sentido completo y que puede ser valorada como verdadera o falsa. Una proposicin puede identificarse a travs de una variable proposicional (letras minsculas) Ejemplos: Variables Proposicionales Letras minsculas de la p a la z p: Los perros siempre tienen tres patas. q: Miriam se casar con Ricardo. Clases de proposiciones Existen dos clases de proposiciones: Proposiciones simples (no usan operadores lgicos) Proposiciones compuestas (si usan operadores lgicos) Ejemplos: Juan juega en el patio (proposicin simple) Juan juega en el patio y Carlos en el Jardn (proposicin compuesta) Operadores Lgicos Son trminos funcionales que enlazan las proposiciones simples para formar proposiciones compuestas. Mondicos Didicos Negador Conjuntor Disyuntor Dbil Disyuntor Fuerte Implicador Replicador Biimplicador 1.- Negador Cambia el valor de verdad de una proposicin simple. ~ Ejemplo: p: Ricardo juega en el patio q: Eduardo estudia matemtica Aplicando el operador lgico resulta: ~p: Ricardo no juega en el patio ~q: Es falso que Eduardo estudia matemtica 2.- Conjuntor Afirma que las dos proposiciones son verdaderas. Ejemplo: p: Ricardo juega en el patio q: Eduardo estudia matemtica Aplicando el operador lgico resulta: pq: Ricardo juega en el patio y Eduardo estudia matemtica. qp: Eduardo estudia matemtica mientras que Ricardo juega en el patio.
3.- Disyuntor dbil Afirma que una o ambas proposiciones pueden ser verdaderas. Ejemplo: p: Ricardo juega en el patio q: Eduardo estudia matemtica Aplicando el operador lgico resulta: pq: Ricardo juega en el patio o Eduardo estudia matemtica. qp: Eduardo estudia matemtica a menos que Ricardo juege en el patio.
4.- Disyuntor fuerte Afirma que slo una de las proposiciones puede ser verdadera.
Ejemplo: p: Ricardo juega en el patio q: Eduardo estudia matemtica Aplicando el operador lgico resulta: pq: O Ricardo juega en el patio o Eduardo estudia matemtica. rs: En el ltimo clsico gan Alianza o gan Universitario 5.- Implicador Indica una relacin de causa-efecto. La proposicin de la izquierda condiciona a la de la derecha. Admite ms de un condicionante.
Ejemplo: p: Eduardo estudia matemtica q: Eduardo juega en el patio Aplicando el operador lgico resulta: pq: Si Eduardo estudia matemtica entonces Eduardo jugar en el patio. 6.- Replicador Indica una relacin de efecto-causa La proposicin de la derecha condiciona a la de la izquierda. Admite ms de un condicionante.
Ejemplo: p: Eduardo estudia matemtica q: Eduardo juega en el patio Aplicando el operador lgico resulta: pq: Eduardo jugar en el patio siempre que estudie matemtica 7.- Biimplicador Indica una relacin de causa-efecto. La proposicin de la izquierda condiciona a la de la derecha. Slo admite una y slo una condicionante. Ejemplo: p: Eduardo estudia matemtica q: Eduardo juega en el patio Aplicando el operador lgico resulta: pq: Si y solo si Eduardo estudia matemtica entonces jugar en el patio.
DA 2
Se dice que son proposiciones todas aquellas expresiones o son verdadedras o son falsas, u no pueden tener ambiguedades es decir un termino medio entre si y no. PROPOSICIONES a: Juan viene a comer b: Pedro se queda en casa Juan viene a comer y Pedro se queda en casa. a^b a: Rodrigo juega bsquet b: Wilson observa el partido
Rodrigo juega bsquet si Wilson observa el partido a b Para armar oraciones matematicas logicas vamos a necesitar siempre partir de expresiones que sean proposiciones, es decir que sean verdaderas o falsas. Como la gramatica castellana , la gramatica matematica necesita tener sentido y expresar de forma concreta una oracion, es decir necesita unirse mediante terminos logicos que le den sentido y que expresen una idea completa lo que se quiere expresar . Para ello nos valemos de denominados conectores que no son otra cosa que la union que se hace de frases para expresar una idea, los principales conectores u operadores logicos son: CONECTORES
= Negacin ^ = Y (conjuncin) = (disyuncin exclusiva) v = O (disyuncin) = entonces(condicional) = si y solo si(bicondicional)
Este operador condicional se lo conoce tambin como enunciacin hipottica o implicacin; relaciona dos proposiciones a la primera se la conoce como antecedente, hiptesis o premisa y a la segunda se la conoce como consecuente, tesis o conclusin, el valor de verdad de su resultante ser falso cuando el antecedente sea verdadero y su consecuente sea falso. Ejemplo: Si llueve, entonces voy al cine. Voy al cine si llueve. Cuando llueve, voy al cine. Tabla de verdad
CONDICIONAL a B a b 0 0 1 0 1 1 1 0 0 1 1 1 Este operador tambin se lo conoce como doble implicacin; la proposicin resultante ser verdadera cuando los valores de verdad en ambas proposiciones sean iguales. Y se representa por el smbolo Tabla de verdad BICONDICIONAL a b a b 0 0 1 0 1 0 1 0 0 1 1 1 a b a ^ b 0 0 0 0 1 0 1 0 0 1 1 1 TABLAS DE VERDAD a b a v b 0 0 0 0 1 1 1 0 1 1 1 1 a B a b 0 0 1 0 1 1 1 0 0 1 1 1 a b a b 0 0 1 0 1 0 1 0 0 1 1 1 a b a b 0 0 0 0 1 1 1 0 1 1 1 0 Conjuncion Proposiciones: A: Obtengo buenas notas. B: Gano una beca. C: Trabajo mucho. D: Recibo un sueldo bajo. Disyuncion inclusiva A: Tengo un libro de matematicas. B: Tengo un libro de ingles. Disyuncion exclusiva A: Estoy en quito. B: Estoy en guayaquil. Condicional. A: Pedro gana un concurso. B: Pedro dona $10.000 . Bicondicional A: Es un triaungulo equilatero. B: Es un triangulo equiangulo. EJERCICIOS Tautologa y contradiccin. Tautologa, es aquella proposicin (compuesta) que es cierta para todos los valores de verdad de sus variables. Un ejemplo tpico es la contrapositiva cuya tabla de verdad se indica a continuacin. p q p q pq qp (pq)(qp ) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 Note que en las tautologas para todos los valores de verdad el resultado de la proposicin es siempre 1. Las tautologas son muy importantes en lgica matemtica ya que se consideran leyes en las cuales nos podemos apoyar para realizar demostraciones. INFERENCIA LGICA Se lo representa por el smbolo , no es un conectivo lgico, es un signo de relacin
Se dice que un esquema A implica a otro esquema B, cuando al unirlos por la condicional nos da una tautologa. Simblicamente se lo representa as: A B.
Si la proposicin compuesta A implica a la proposicin compuesta B, entonces B se deduce necesariamente de A, o tambin se dice que B se infiere lgicamente de A.
Ejemplo: Demostrar que el esquema A implica a B
A: p . q B: p v q
Luego unimos con la condicional y construimos la tabla: p . q p v q
p q p . q p v q V V F F V F V F V F F F V V V V V V V F Como el resultado es una tautologa, se ha demostrado que A implica a B.
Nota: la relacin de implicacin no es recproca. Como el resultado es una tautologa, se ha demostrado que A implica a B.
Nota: la relacin de implicacin no es recproca.
EQUIVALENCIAS LGICAS
Se lo representa por pero no es un operador lgico.
Decimos que dos proposiciones compuestas P y Q son equivalente, s al unir las dos con la bicondicional nos da una tautologa, es decir que P y Q tienen los mismos valores de verdad en su operador principal. Simblicamente se escribe as:
P Q P Q Se lee P es equivalente a Q Q es equivalente a P.
Si no son equivalentes se los escribe as: P Q Si P y Q son equivalentes, entonces Q se deduce vlidamente a partir P, y a la vez tambin P se deduce necesariamente a partir de Q. Para demostrar que una proposicin compuesta es equivalente a otra, se lo puede hacer por medio de las tablas de verdad o por medio de las leyes y reglas de inferencia que veremos a continuacin.
A los esquemas moleculares compuestos se los representa con las letras maysculas A, B, C,.. etc. con P, Q, R, etc. Ejemplos:
Determinar si las proposiciones siguientes son equivalentes, por medio de la tabla de verdad:
A : Si Pedro aprob el curso preuniversitario, entonces ingres a la UNL. Simblicamente: p q
B: No es el caso que: Pedro apruebe el curso preuniversitario y no ingrese a la UNL
Simblicamente : ( p . q )
Luego demostramos que: p q ( p . q ) Seguidamente para demostrar que estos dos esquemas son equivalentes, los unimos con la bicondicional as: ( p q ) ( p . q ) y construimos una tabla de verdad:
Dado que el resultado de la tabla es una tautologa, las proposiciones A y B son equivalentes. Otro Ejemplo:
P: q p ; Q: ( q . p )
p q ( p q ) ( p . q ) V V F F V F V F V F V V V V V V V F V V F V F F p q ( q p ) ( q . p ) V V F F V F V F F V V V 1 V V V V F V V V 3 V F F F 2 Aqu observamos que la columna 1 y 3 de los operadores principales de las proposiciones P y Q son iguales, por lo tanto son equivalentes.
Tambin las proposiciones P y Q son equivalentes porque al unirlas con la bicondicional nos dio una tautologa.
Ejercicios: Demostrar que los siguientes esquemas moleculares son equivalentes
[ p . ( q v r ) ] [ ( p . q ) v ( p . r )|
| p v ( q . r ) ] | ( p v q ) . ( p v r )|
( p . ( q . r) (p . q ) . r
(p v (q v r) (p v q) v r
( p . q ) ( p v q )
( p v q ) ( p . q )
LEYES DEL LGEBRA PROPOSICIONAL En lgica, las tautologas son conocidas con el nombre de leyes o principios lgicos. A continuacin anotamos las principales leyes que vamos a utilizarlos en el futuro y que usted de familiarizarse:
L- 1: Leyes de Idempotencia para . y para v
Si p es una proposicin simple o compuesta, entonces: (p v p) p (p . p) p
Segn estas leyes, las proporciones ( p v p) o (p . p) pueden sustituirse por p. L 2: Leyes de Identidad para . y para v
Si p es una proposicin simple o compuesta, entonces:
p v ( V ) ( V ); es decir, cuando formamos la disyuncin de una proporcin p, cuyo valor de verdad es desconocido, con otra cuyo valor de verdad de ( V ), el resultado es ( V ), ya que la disyuncin es ( V ) cuando al menos una de las proposiciones dadas es verdadera.
p v ( F ) p; es decir, el valor de verdad de la disyuncin de una proposicin p, cuyo valor de verdad no conocemos, con otra cuyo valor de verdad es ( F ), depende del valor de p.
p . ( V ) p; en este caso el anlisis es similar a la parte b), teniendo en cuenta que aqu el conector es
p . ( F ) ( F ); el anlisis es similar al de la parte a), teniendo en cuenta aqu que el conector es . L- 3: Leyes Conmutativas . y para v
Si p y q son proposiciones, entonces:
( p v q ) ( q v p ) (p . q ) (q . p), es decir, dos proporciones conectadas con v . pueden escribirse en cualquier orden.
L - 4: Leyes Asociativas
Si p, q, , son proposiciones cualesquiera, entonces:
( p . ( q . r) (p . q ) . r (p v (q v r) (p v q) v r
L 5: Leyes Distributivas:
Si p, q, r son proposiciones cualesquiera, entonces.
[ p . ( q v r ) ] [ ( p . q ) v ( p . r )| | p v ( q . r ) ] | ( p v q ) . ( p v r )|
Estas leyes son similares a las que conocemos en el lgebra para la suma y la multiplicacin. Recordemos que:
4( x + y ) = (4x) + ( 4y)
L 6: Ley de la Doble Negacin:
Si p es una proposicin simple cualquiera, entonces: ( p ) p
Al negar dos veces una proposicin obtenemos una afirmacin.
L 7: Ley del Tercer Excluido:
Si p es una proposicin cualesquiera, entonces: ( p v p) ( V )
Esta propiedad establece que independientemente del valor de verdad que tenga p, la proposicin: (p v p) siempre es verdadera. Por tanto, en un esquema lgico complejo podemos reemplazar (p v p), (q v q), (r v r), (a b) v (a b), etc., por (v).
L 8: Ley de Contradiccin:
Si p es una proposicin cualesquiera, entonces: ( p . p ) ( F )
Esquemas como (p . p), (q . q), (r . r) pueden remplazarse por (F)
L 9: Leyes de De Morgan:
Si p, q son proposiciones simples o compuestas, entonces: ( p . q ) ( p v q ) ( p v q ) ( p . q )
Estas leyes nos indican cmo negar una disyuncin y una conjuncin. La parte: a) establece que para negar una conjuncin es necesario cambiar la conjuncin por disyuncin (. por v) y negar las proposiciones dadas.
La parte b) establece que para negar una disyuncin debemos cambiar la disyuncin por la conjuncin (la . por v) y negar las proposiciones dadas.
Ejemplo: Negar la proposicin: 7 es un nmero primo y 30 es divisible por 5. Solucin: Cambiamos y por o y negamos las proposiciones simples que forman el enunciado, as:
7 no es un nmero primo o 30 no es divisible por 5.
L 10: Ley de la condicional:
Usando tablas de verdad podemos verificar que: p q equivale a p v q . La proposicin p q es una abreviacin de la proposicin p v q; es decir: ( p q ) ( p v q) NOTA: Son muchos los esquemas lgicos que ofrecen alguna complejidad y pueden simplificarse utilizando esta definicin alterna del condicional.
Ejemplo 1: Escribamos sin condicional las proposiciones siguientes:
( p . q) r p ( q v ) p q
SOLUCIN: | (p . q ) r ] ( p . q ) v r | p ( q v r ) ] p v ( q v r ) ( p q ) ( p ) v q p v ( q )
Ejemplo 2: Escribamos una proposicin equivalente a: Si X es par entonces x es divisible por 2
SOLUCIN: Usando la definicin alterna de la implicacin tenemos: x no es par o x no es divisible por 2
Ejemplo 3: Comprobemos que ( p q) ( p v q)
SOLUCIN: Elaboramos la tabla de verdad:
p q p ( p q) ( p v q) V V F F V F V F F F V V V V V F V F V V V V V V (1) (3) (2) L- 11 Ley de la Bicondicional
p q ( p q ) . ( q p )
L- 12 Conjuncin Negativa.-
p + q p . q
L-13 Disyuncin Exclusiva.-
p v q ( p v q ) . ( p . q )
Ejercicios: Demuestre las leyes mediante el uso de las tablas de verdad. APLICACIONES DE LAS LEYES DEL ALGEBRA PROPOSICIONAL
Las leyes nos pueden servir para demostrar que un esquema es equivalente a otro, tambin podemos utilizar en la simplificacin de proposiciones etc.
Ejemplo 1: Probemos que ( p q ) | p . q )]
SOLUCIN:
( P Q ) |( p ) v q | Definicin alterna de implicacin ( p) . ( q ) Ley de De Morgan para v p . ( q) Ley de la Doble Negacin Luego: ( p q ) | p . (q)|
Ejemplo 2:
Probemos que la proposicin ( p . q) p es una tautologa.
SOLUCIN:
| ( p . q ) p ] ( p . q ) v p Definicin alterna de ( p v q) v p Ley de De Morgan para . ( p v p ) v ( q) Ley Asociativa de la v ( V ) v ( q ) Ley del Tercer excluido ( V ) Ley Idntica de la v Por lo tanto, al ser |( p . q ) p| ( V ), concluimos que es una tautologa.
Ejemplos:
Probemos que la proposicin [ ( p q) . ( q)] ( p) es una tautologa. Probemos que la siguiente proposicin es una contradiccin: [ ( p . q ) v ( p v q ) ] [ ( p . q ) | . ( p v q )
Elaborar la tabla de verdad de las siguientes proposiciones y decir en cada caso si se trata de una tautologa, una contradiccin o una determinacin.
( p q) ( p . q ) ( p . q) ( p v q) p ( q . r ) p ( p . q) ( p . q ) ( p v q) ( p q ) p ( q . r ) v ( q . r) ( r . r ) v r
Los siguientes ejercicios deben resolverse aplicando las Leyes del lgebra proposicional y no por tablas de verdad.-
Probar que las proposiciones siguientes son tautologas:
[ q . ( p q ) ] ( p ) [ ( p q ) . q ] ( p ) [ ( p ( q r ) ] [ ( p . q ) r ] [ p . ( p v q ) ] q p ( p v q )
Simplificar las siguientes proposicin utilizando leyes:
( p q ) . ( p . q ) p ( p . q ) m . ( m n ) [ t ( m . t ) | | ( p . q ) ( p q ) ]
INFERENCIA LGICA: La inferencia es el paso de un conjunto de premisas a la conclusin.
Simblicamente se lo representa as: P 1
P 2
P 3
. P n
______ C
Al unir cada una de las premisas por el operador conjuntivo y estas a la vez con la conclusin por medio del condicional, se obtiene la siguiente frmula inferencial:
P 1 . P 2 . P 3 . . P n C
Como las premisas y la conclusin estn constituidas por proposiciones, podemos decir que la inferencia es una estructura de proposiciones, donde a partir de una o ms proposiciones llamadas premisas se obtiene otra proposicin llamada conclusin:
Ejemplos:
1. Vicente viajar al norte del pas o se quedar en la capital. Por lo tanto, Si Vicente viaja al norte del pas entonces no se quedar en la capital.
2. Si Juan gana el concurso de poesa entonces obtendr una beca. Juan gan el concurso de poesa. Luego Juan obtendr una beca.
La conclusin se puede distinguir de sus premisas porque generalmente van precedidas por alguno de los trminos como por lo tanto, luego, en consecuencia, de ah que, etc. y las premisas podemos distinguirlas casi siempre por los signos de puntuacin como el punto seguido o por el sentido que tiene el enunciado. VALIDEZ Y VERDAD La validez se refiere a la forma de pensamiento, mientras que la verdad se obtiene del anlisis del contenido del pensamiento. En todo razonamiento o inferencia hay que distinguir su validez de su verdad.
El razonamiento o la inferencia son vlidos cuando la conjuncin de premisas implica a la conclusin; y, si esto no sucede, la inferencia es invlida.
La validez o invalidez de una inferencia depende nicamente de su forma lgica, y la forma lgica depende de la funcin que desempean las conectivas en la estructura del enunciado inferencial.
Si una inferencia vlida tiene su premisa o conjunto de premisas verdaderas, entonces se puede asegurar que la conclusin es necesariamente verdadera; pero si la premisas o conjunto de premisas no son verdaderas, as la inferencia sea vlida, lgicamente no se puede saber la verdad o falsedad de la conclusin. Entonces, el nico caso que se puede saber la verdad de la conclusin es cuando la inferencia es vlida y tiene premisas verdaderas.
MTODOS PARA DETERMINAR LA VALIDEZ DE UNA INFERENCIA LGICA
Analizar la validez o invalidez de una inferencia consiste en decidir si la frmula de la inferencia es vlida o no, para esto conocemos dos mtodos:
1. POR LA TABLA DE VALORES
Se sugiere seguir los siguientes pasos:
a. Simbolizar las premisas y la conclusin: b. Obtener la formula inferencial c. Aplicar la tabla de valores. Si el resultado es tautolgico, la conjuncin de premisas implica a la conclusin, y por tanto la inferencia es vlida, pero si el resultado no es tautolgico, la inferencia no es vlida. Ejemplos:
1. Vicente viajar al norte del pas o se quedar en la capital. Por lo tanto, Si Vicente viaja al norte del pas entonces no se quedar en la capital. a. Simbolizamos:
p v q _____________ p q
b. Obtenemos la formula inferencial:
( p v q ) ( p q )
c. Elaboramos la tabla de valores:
El esquema no es tautolgico, luego la premisa no implica a la conclusin y la inferencia no es vlida,
p q ( p v q ) ( p q ) V V F F V F V F V F F V V V V V V F V V 2. Si Juan gana el concurso de poesa entonces obtendr una beca. Juan gan el concurso de poesa. Luego Juan obtendr una beca.
a. Simbolizando tenemos:
p q p __________ q
b. Obtenemos la formula inferencial:
[( p q ) . p ] q
c. Elaboramos la tabla de valores:
c. Elaboramos la tabla de valores:
El esquema es tautolgico, luego la conjuncin de premisas implica a la conclusin y la inferencia es vlida.
p q [( p q ) . p ] q V V F F V F V F V V V F F V V F V V F V POR EL MTODO ABREVIADO Es un procedimiento que evita estar construyendo la tabla de valores de verdad para determinar la validez de la inferencia.
Este mtodo consiste en suponer la conjuncin de premisas verdaderas y la conclusin falsa, nica posibilidad que invalidad la implicacin.
P 1 . P 2 . P 3 . . P n C
V V V V F Ejemplo:
1. Vicente viajar al norte del pas o se quedar en la capital. Por lo tanto, Si Vicente viaja al norte del pas entonces no se quedar en la capital.
a. Simbolizamos: p v q _____________ p q
b. Obtenemos la formula inferencial:
( p v q ) ( p q )
c. Suponemos valores, a las premisas verdaderas y la conclusin falsa
( p v q ) ( p q )
V F Como cada una de las variables (p, q), cumplen una sola funcin veritativa, decidimos que la inferencia no es vlida. Esto es, se ha demostrado que la premisa es verdadera y la conclusin es falsa. 2. Si Juan gana el concurso de poesa entonces obtendr una beca. Juan gan el concurso de poesa. Luego Juan obtendr una beca.
a. Simbolizando tenemos:
p q p __________ q b. Obtenemos la formula inferencial: [(p q) . p] q
c. Suponemos valores, a las premisas verdaderas y la conclusin falsa: [(p q) . p] q
V V F d. Comprobamos: [( p q ) . p ] q
F F V V F
Como la variable p tiene dos valores: verdadero y falso a la vez. Por lo tanto, hay implicacin y la inferencia es vlida. Reglas de inferencia: Para inferir un razonamiento a partir de otros se requiere de un proceso en el que se aplican propiedades o leyes fijadas de antemano y que no hayan sido obtenidas de casos particulares o para casos particulares.
Estas leyes dan la certeza de que solo es posible obtener conclusiones ciertas de premisas ciertas.
MODUS PONENDO PONENS ( REGLA DE SEPARACIN): Su abreviatura es PP. Simblicamente tenemos:
p q (1) p (1) _______ q (1)
Su frmula inferencial es: [ ( p q ) . p | q
Si una proposicin condicional es verdadera y si verdadero el antecedente, entonces necesariamente ser verdadero el consecuente.
Ejemplo:
Premisa 1: Si l est en el partido de ftbol, entonces l est en el estadio. Premisa 2: El est en el partido de ftbol Conclusin: El est en el estadio.
Se simboliza de la siguiente manera el ejercicio anterior
p q (1) p (1) _______ q (1) Simblicamente tenemos:
p q (1) p (1) _______ q (1)
Su frmula inferencial es: [ ( p q ) . p | q
Si una proposicin condicional es verdadera y si verdadero el antecedente, entonces necesariamente ser verdadero el consecuente.
Ejemplo:
Premisa 1: Si l est en el partido de ftbol, entonces l est en el estadio. Premisa 2: El est en el partido de ftbol Conclusin: El est en el estadio.
Se simboliza de la siguiente manera el ejercicio anterior
p q (1) p (1) _______ q (1) Utilizando Modus Ponendo Ponens sacar una conclusin de cada uno de los conjuntos de premisas siguientes. Escribir la conclusin en la lnea (3)
1) p v q r 2) p v q 3)
1) p r 2) p 3)
1) r 2) r q . p
Poner una C junto a cada ejemplo en el que la conclusin es correcta segn el Modus Poniendo Ponens. Poner una I junto a cada conclusin incorrecta.
1. Premisas: s y s t: conclusin: t 2. Premisas: t v y t: conclusin v 3. Premisas: p q y q: conclusin r 4. Premisas: s y r s 5. Premisas: r y r s DOBLE NEGACIN. La regla de doble negacin es una regla simple que permite pasar de una premisa nica a la conclusin.
Simblicamente tenemos:
p (1) p (1) ________ _______ p (1) p (1)
Ejemplo:
No ocurre que Mara no es estudiante Simbolizando el ejemplo anterior tenemos:
p (1) ________ p (1)
La conclusin es que Mara es estudiante.
Ejercicios: A. Qu conclusin podemos sacar de cada una de las proposiciones siguientes por la doble negacin: 1. Todos los mamferos son animales de sangre caliente 2. El granito es un tipo de mineral gneo 3. No ocurre que un quinto no es el veinte por cierto
B. Demostrar que las conclusiones son consecuencia de las premisas dadas: 1. Demostrar: t 2. Demostrar: b (1) s t (1) a (2) s (2) a b (3) (3) (4) (4)
MODUS TOLLENDO TOLLENS. Su abreviatura es TT.
Simblicamente tenemos:
p q ( 1) q (1) p (1) Su frmula es: [ ( p q ) . q ] p Si una proposicin condicional es verdadera y si es verdadera la negacin del consecuente, entonces necesariamente ser verdadera la negacin del antecedente. Ejemplo:
Premisa 1: Si tiene luz propia, entonces el astro es una estrella Premisa 2: El astro no es una estrella. Conclusin: Por tanto no tiene luz propia Se simboliza de la siguiente manera el ejercicio anterior
p q P q P p TT 1, 2
Ejercicios: Qu conclusin se puede deducir de cada uno de los conjuntos de premisas siguientes utilizando TT? Escribir las conclusiones es castellano.
Si la luz fuera simplemente un movimiento ondulatorio continuo, entonces la luz ms brillante dar lugar siempre a una emisin de electrones con mayor energa que los originados por luz ms tenue. La luz ms brillante no siempre emite electrones con mayor energa que los originados.
Si un ngulo de un tringulo es mayor de 90 grados, entonces la suma de los otros dos ngulos es menor de 90 grados. La sima de los otros dos ngulos no es menor de 90 grados.
Si el arriendo se mantiene vlido, entonces el dueo es responsable de las reparaciones. El dueo no es responsable de las reptaciones.
Deducir una conclusin de cada uno de los conjuntos de premisas siguientes, aplicando la regla del Modus Tollendo Tollens.
1. (1) q r 2. (1) q r 3. (1) ( p v q) r (2) r (2) r (2) r (3) (3) (3)
Demostrar que las conclusiones son consecuencia de las premisas dadas. Indicar la demostracin completa.
Demostrar: c Demostrar: r . s Demostrar: (1) b (1) p q (1) f (2) a b (2) q (2) e f (3) a c (3) p r . s
MODUS TOLLENDO PONENS. Su abreviatura es: MTP Simblicamente tenemos:
p v q P q (1)
p v q q p (1) Sus frmulas son:
| (p v q ) . p | q | (p v q ) . q | p
Si una proposicin disyuntiva es verdadera y si es verdadera la negacin de una de sus componentes, entonces necesariamente ser verdadera la otra componente de la disyuncin. Ejemplo:
Supngase que se tiene como premisa:
O esta sustancia contiene hidrgeno o contiene oxgeno La segunda premisa dice: Esta sustancia no contiene oxgeno
Por medio del Modus Tollendo Ponens se puede concluir: Esta sustancia contiene oxgeno
Para aclarar la forma de esta inferencia, se puede simbolizar el ejemplo:
p: Esta sustancia contiene hidrgeno q: Esta sustancia contiene oxgeno
La demostracin de la conclusin es:
p v q P p P q TP 1, 2 TAUTOLOGA SIMPLIFICATIVA Simblicamente tenemos:
p . q p
p . q q Su frmula es: (p . q) p (p . q) q
Si una conjuncin de proposiciones es verdadera entonces necesariamente ser verdadera cada una de sus componentes.
Ejemplo: Apruebo los talleres y apruebo el mdulo 2
Premisa 1: apruebo los talleres Premisa 2: apruebo el mdulo 2 Conclusin: 1) apruebo los talleres Conclusin: 2) apruebo el mdulo 2
TAUTOLOGA ADJUNCIN Simblicamente tenemos:
p q p . q
Su frmula es: | ( p ) . ( q ) | ( p . q)
Si dos proporciones cualesquiera son verdaderas, entonces necesariamente ser verdadera la conjuncin que con dichas proposiciones se forme.
Ejemplo:
Sal bien en el examen y tengo 10
p: sal bien en el examen q: tengo 10 ( p . q ) : sal bien en el examen y tengo 10 TAUTOLOGA ADICIN Simblicamente tenemos:
p p v q
Su frmula es: p | p v q]
Si una proposicin cualesquiera es verdadera, entonces necesariamente ser verdadera la disyuncin que se forme con dicha proposicin y cualquier otra.
Ejemplo:
Estudio con responsabilidad o pierdo el mdulo p: estudio con responsabilidad q: pierdo el mdulo
p v q: estudio con responsabilidad o pierdo el mdulo. SILOGISMO HIPOTTICO (LEY TRANSITIVA). SILOGISMO DISYUNTIVO (LEY DEL DILEMA). CONMUTATIVA SIMPLIFICACION DISYUNTIVA REGLA DE LA BICONDICIONAL CONJUNCIN NEGATIVA DISYUNCIN EXCLUSIVA PROCESOS DE DEDUCCIN MTODOS DE DEMOSTRACIN
DA 3 APLICACIONES DEL TEOREMA DE CIRCUITO.
CIRCUITOS LGICOS El valor de verdad de una proposicin puede asociarse al pasaje de corriente en un circuito elctrico controlado por un interruptor. En efecto, para representar un interruptor mediante una proposicin p, se tiene:
Es decir, el interruptor est cerrado (pasa corriente) si V(p) = V, y est abierto (no pasa corriente) si V(p) = F. De aqu establecemos una identificacin entre las proposiciones y los interruptores de un circuito elctrico. Las operaciones proposicionales (conjuncin, disyuncin, etc.) pueden representarse mediante circuitos con tantos interruptores como proposiciones componentes. Considerando las clases de instalaciones: en serie y en paralelo, es factible disear esquemas de circuitos elctricos para representar a proposiciones compuestas o viceversa.
CIRCUITOS EN SERIE: Consideremos dos interruptores p y q conectados en serie: p q
Se observa que este circuito admite poso de corriente cuando los dos (interruptores p y q estn cerrados, en cualquier otro caso no hay paso de corriente. De aqu tenemos el comportamiento de la conjuncin de las proposiciones p . q. Por tanto:
a) p . q: representa un circuito cerrado en serie, que deja posar corriente solo si los interruptores p y q estn cerrados a la vez. Diremos que solo en este estado p . q es verdadera.
b) p . q: representa un circuito abierto en serie que deja pasar corriente. Diremos entonces que en este estado p . q es falsa.
p q p q
p . q p . q Circuitos en paralelo: Consideremos ahora dos interruptores instalados en paralelo:
p q
Se observa en el circuito que hay paso de corriente cuando uno de los interruptores o ambos estn cerrados; no hay paso de corriente cuando los dos interruptores estn abiertos. Tenemos, entonces, el comportamiento de la disyuncin de las proposiciones p y q. La falsedad de p v q, es decir, el hecho de que no pase corriente, solo se verifica en el caso de la falsedad simultnea de p v q; Por tanto: p v q: representa un circuito cerrado en paralelo que deja pasar corriente si por lo menos uno de los interruptores elctricos est cerrado. Diremos que solo en este estado p v q es verdadero. b) p v q: representa un circuito abierto en paralelo que no deja pasar corriente, polo que en este estado p v q es falsa. p p
q q
p v q p v q
Las representaciones anteriores nos permiten disear o simbolizar redes de circuitos elctricos conectados en serie y en paralelo, o tambin simplificar circuitos muy complicados haciendo uso de las ya conocidas equivalencias notables. Ejemplo:
Disertar circuitos lgicos de las siguientes proposiciones:
a) (p v q) . r b) p q c) p q Solucin:
a) Vemos que (p v q) . r es la conjuncin de p v q y r, que deben estar conectados en serie:
Pero, p v q se representa por: (1) p q
Luego sustituyendo en (1), tendremos la representacin pedida, esto es: p r q
b) Segn la condicional: p q p v q
Luego, la representacin de p q, es la disyuncin (conexin en paralelo) de pv q. Esto es: p
q
Hallar la proposicin
p q p
p q q p q
p q p
q r p r Construir el circuito lgico ms simple equivalente a: