Una equivalencia lgica es aquella expresin que tiene como
conector lgico principal al Biimplicador y que cumple con el
requisito de tener un esquema Tautolgico. Ejemplos de Equivalencias Lgicas:
Expresin Matriz Principal Esquema p p 11 Tautolgico (p . q) (p v q) 1111 Tautolgico (p . q) (p v q) 1111 Tautolgico (p . q) r p (q r) 11111111 Tautolgico (p + q) p q 11111111 Tautolgico
Debido a que sera muy tedioso utilizar las tablas de verdad para determinar si una expresin es o no equivalente a otra, o para determinar la equivalencia de una expresin; se utilizan estructuras ya demostradas llamadas EQUIVALENCIAS NOTABLES, entre las que siguen:
1. Doble Negacin: Consiste en agregar o quitar simultneamente pares de negaciones, las cuales deben afectar a la misma variable o a la misma frmula.
Ejemplos: 1) p = p 2) p = p 3) p = p 4) p = p 5) p . q = p . q 6) p . q = (p . q) 7) p . q = ( p . q)
2. Ley de DMorgan: Consiste en cambiar las negaciones de una frmula conjuntiva o disyuntiva as como de sus componentes.
Ejemplos: 1) p . q = (p v q) 2) p v q = (p . q) 3) (p . q) = p v q 4) p . q = (p v q) 5) p . q = (p v q) 6) (p v q) = p . q 7) (p v q) = p . q
Extensin de la Ley de DMorgan: Debido a que los operadores: / y + son interpretaciones de los operadores v y ., respectivamente; tambin se cumple la Ley de DMorgan con dichos operadores.
Ejemplos: 1) p + q = (p / q) 2) p / q = (p + q) 3) (p + q) = p / q 4) p + q = (p / q)
3. Conmutacin: Consiste en intercambiar la posicin de las componentes de una frmula que tenga como operador principal a: . v v + /
Ejemplos: 1) p . q = q . p 2) p q = q p 3) (p q) v r = r v (p q) 4) p v q = q v p
4. Contraposicin: El equivalente se obtiene cambiando los signos de las componentes e intercambiando la posicin de las mismas en una frmula con operador principal: v
Ejemplos: 1) p q = q p 2) P q = q p 3) p q = q p 4) p v q = q v p
5. Asociacin: Se utiliza slo para cambiar los signos de agrupacin ms no la posicin ni las negaciones de los componentes. Se cumple con: . v v En todo momento slo debe usarse un tipo de operador para asociar Ejemplos: 1) (p . q) . r = p . (q . r) 2) p (q r) = (p q) r 3) p v (q v r) = (p v q) v r 4) (p + q) v (r v s) = [(p + q) v r] v s
Excepcin de la Ley de Asociacin: Es posible combinar los operadores: v; en cualquier cantidad y proporcin Ejemplos: 1) p v (q r) = (p v q) r 2) (p q) v (r s) = [(p q) v r] s
6. Idempotencia: Se utiliza con: . v Consiste en repetir una proposicin todas las veces que se quiera pues siempre equivale a una sola vez. Ejemplos: 1) p . p = p 2) p . p . p = p 3) p . p . p . . p = p 4) p v p = p 5) p v p v p v v p = p 6) p . p = p 7) (p q) . (p q) . (p q) = (p q)
7. Identidad: Consiste en relacionar una variable con una tautologa (1) o con una contradiccin (0) En todo momento se pueden obtener estas equivalencias utilizando tablas de verdad Ejemplos: 1) p . 1 = p 2) p . 0 = 0 3) p v 1 = 1 4) p v 0 = p 5) p 1 = 1 6) p 0 = p 7) p 1 = p 8) p 0 = p 9) p v 1 = p 10) p v 0 = p 11) p 1 = p 12) p 0 = 1
8. Complemento: Se utiliza con: . v Consiste en relacionar una proposicin con la negacin de dicha proposicin. Ejemplos: 1) p . p = 0 2) p v p = 1
9. Otras Relaciones: Son aquellas que tienen una estructura similar a la Idempotencia y a la Ley del Complemento, pero utilizando otros operadores: v
Ejemplos: 1) p p = 1 2) p p = p
3) p p = 1 4) p v p = 0
10. Absorcin: Es una relacin conjuntiva, o disyuntiva, de una proposicin con la disyuncin, o conjuncin, de dicha proposicin con otra(s) variable(s) Ejemplos: Cuando la variable se repite exactamente, se tiene como equivalencia dicha variable:
Ejemplos: 1) p . (p v q) = p 2) p v (p . q) = p 3) p . (p v q) = p 4) p v (p . q) = p 5) p . (p v q v r v s) = p 6) p v (p . q . r . s) = p
Cuando la variable que se repite cambia de signo, se tiene como equivalencia lo que est fuera ms lo que no se repite.
Ejemplos: 1) p . (p v q) = p . q 2) p v (p . q) = p v q 3) p . (p v q v r v s) = p . (q v r v s) 4) p v (p . q) = p v q
11. Definicin del Implicador: Se utiliza con: Tiene dos definiciones: p q = p v q p q = (p . q)
Ejemplos: 1) p q = p v q 2) p q = p v q 3) p q = p v q 4) p q = p v q 5) p q = p v q 6) p q = p v q
12. Relacin entre Biimplicador y Disyuntor Excluyente: Tiene dos (02) casos. 1) Al agregar o quitar dos (02) negaciones, en cualquier lugar, el operador NO cambia.
Ejemplos: 1) p v q = p v q 2) p v q = (p v q) 3) p v q = (p v q) 4) p q = p q 5) p q = (p q) 6) p q = (p q)
2) Al agregar o quitar una (01) negacin, en cualquier lugar, el operador SI cambia.
Ejemplos: 1) p v q = p q 2) p v q = (p q) 3) p v q = p q 4) p q = p v q 5) p q = (p v q) 6) p q = p v q
13. Definicin del Biimplicador: Tiene dos definiciones bsicas: 1) p q se utiliza para indicar que p es causa para q pero tambin q es causa para p, es decir, p implica a q y q implica a p Formalmente: p q = (p q) . (q p)
2) p q es verdadera si p y q son verdaderas, o, p y q son falsas Formalmente: p q = (p . q) v (p . q)
Ejemplos: 1) p q = (p q) . (q p) 2) p q = (p q) . (q p) 3) p q = (p . q) v (p . q) 4) p q = (p . q) v (p . q)
14. Definicin del Disyuntor Excluyente: Tiene dos definiciones bsicas: 1) p v q se utiliza para indicar que frente a dos opciones, slo puede se puede elegir a una de ellas Formalmente: p v q = (p v q) . (p . q)
2) p v q es verdadera si p es verdadera y q es falsa, o, p es falsa y q es verdadera Formalmente: p v q = (p . q) v (p . q)
Ejemplos: 1) p v q = (p v q) . (p . q) 2) p v q = (p v q) . (p . q) 3) p v q = (p . q) v (p . q) 4) p v q = (p . q) v (p . q) 5)
PRCTICA DE CLASE
I.- SIMPLIFICACIN:
1. Dado el esquema: [(A / B)] A; su equivalente es: A) A A B) A A C) A . A D) A v A E) A A
2. Dado el esquema: (A B) + (A B); tiene como equivalente a: A) A . B B) A v B C) A B D) A v B E) A B
3. Dado el esquema: [(A v D) . (B . A)] D ; tiene como equivalente a: A) A . A B) A A C) A v A D) A . A E) A A
4. El esquema: (A B) A. Equivale a: 1) (A B) A 2) (A B) A 3) [(A B) A] 4) [(A B) A] 5) (A B) (B A) Son ciertas: A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5 D) 1, 4 y 5 E) 1, 3 y 4
5. La frmula: A (B . C); es equivalente a: 1) (A v B) v (A v C) 2) (A v B) . (A v C) 3) (A v C) . (A v B) 4) (A v B) . (A v C) 5) (B A) . (C A) Son ciertas: A) 1, 2 y 4 B) 2, 3 y 5 C) Slo 2 y 4 D) 1, 4 y 5 E) 2, 3 y 4
6. El esquema: [(A B) B] A Equivale a: A) [(A B) A] B B) [(A B) B] A C) [(A B) B] A D) [(A B) B] A E) Ninguna
7. La simplificacin del esquema, es: (A . B) v {[(C D) v (C / D)] + (A B)} A) A . C B) A v B C) B . A D) A v B E) A B
8. Dado el esquema: A B, una de sus equivalencias es: 1) (A + B) + (B + A) 2) (A + B) + (A + B) 3) (A + B) + (A + B) 4) [(A + B) + (A + B)] 5) [ (A + B) + (A + B)] Son ciertas: A) 1 y 3 B) 2 y 4 C) 3 y 5 D) 1 y 4 E) 2 y 5 9. Dado el esquema: A v B, una de sus equivalencias es: 1) [(A B) (A B)]
2) (A B) (A B) 3) [(A B) (A B)] 4) [(A B) (B A)] 5) (B A) (A B) Son ciertas: A) 1, 2 y 4 B) 2, 3 y 5 C) 1, 4 y 5 D) 2, 3 y 4 E) 1, 3 y 5
10. El esquema: [(A B) B] A Equivale a: A) [(A B) A] B B) [(A B) B] A C) [(A B) B] A D) [(A B) B] A E) Ninguna
11. Un equivalente del esquema molecular: [A (A . B)] . B es: A) A B) B C) C . C D) A . B E) A v B
12. La frmula proposicional: p . q . r . s . t Cuntas equivalencias por conmutacin tiene en total? A) 31 B) 4 C) 32 D) 119 E) 120
13. La frmula proposicional: p {q [r (s t)]} Cuntas equivalencias por mutacin tiene en total? A) 23 B) 24 C) 31 D) 120 E) 32
14. Del siguiente esquema:
Aplicando leyes del lgebra boolena equivale a: A)a v -bvc B)avb C)avc D)bv -c E)NA
15. Dado el siguiente esquema: ; equivale A) a+a B)b C)a+(b.b) D)b E) abc
16. La frmula: (A . B) + (A / B), equivale por Idempotencia a: A) (A . B) . B B) A + B C) A + B D) (A . B) E) A
II.- EQUIVALENCIAS:
1. La proposicin: Newton no cre la teora de la relatividad pero Galilei afirm la redondez o el movimiento de la Tierra. Aplicando la ley distributiva equivale a: A) Newton no cre la teora de la relatividad o Galilei afirm la redondez de la Tierra, de igual modo Newton no cre la teora de la relatividad o Galilei afirm el movimiento de la Tierra. B) Galilei afirm la redondez de la Tierra o su movimiento, sin embargo Newton no cre la teora de la relatividad. C) Newton no cre la teora de la relatividad pero Galilei afirm la redondez de la Tierra, a menos que Newton no cre la teora de la relatividad pero Galilei afirm el movimiento de la Tierra. D) Galilei afirm la redondez o el movimiento de la Tierra. E) Newton no cre la teora de la relatividad pero Galilei afirm el movimiento de la Tierra.
2. La proposicin: La gramtica es un arte o nicamente es una ciencia. Equivale a decir: 1) Es falso que, si la gramtica es un arte entonces es una ciencia, salvo que sea falso que, si la gramtica es una ciencia entonces es un arte. 2) La gramtica es un arte o una ciencia de igual modo la gramtica no es un arte o no es una ciencia. 3) La gramtica es arte pero no una ciencia, excepto que la gramtica no sea arte pero sea ciencia. 4) Es falso que, o la gramtica no es un arte o es una ciencia. 5) La gramtica no es un arte excepto que solamente no sea una ciencia. Son ciertas: A) 1, 3 y 5 B) 2, 3 y 4 C) 1, 2 y 3 D) Todas E) Todas 5
3. La proposicin: Es innegable que el Per tiene divisas pero tiene inversin Es equivalente a: 1) Es falso que el Per no tenga divisas o no tenga inversin. 2) El Per tiene inversin as como que divisas. 3) Es imposible que si el Per tiene divisas, no tiene inversin. 4) Es incierto que en cuanto el Per tenga divisas es obvio que tiene inversin. 5) Es falso que si el Per no tiene divisas entonces tiene inversin. Son inciertas, excepto: A) 1, 2 y 3 B) Slo 2 y 3 C) 3, 4 y 5 D) Slo 3 y 4 E) Slo 4
4. Dada la proposicin: Si Fobos es uno de los satlites de Marte, Titn es uno de los satlites de Saturno Equivale, por Contraposicin a: A) Fobos no es uno de los satlites de Marte salvo que Titn sea uno de los satlites de Saturno. B) Titn es uno de los satlites de Saturno porque Fobos es uno de los satlites de Marte. C) Dado que Fobos no es uno de los satlites de Marte, Titn no es uno de los satlites de Saturno. D) Porque Titn no es uno de los satlites de Saturno, Fobos no es uno de los satlites de Marte. E) Si Titn no es uno de los satlites de Marte, Fobos no es uno de los satlites de saturno.
5. Dado: Las materias primas peruanas son vendidas a los Estados Unidos Equivale a: 1) Es innegablemente falso que las materias primas peruanas no sean vendidas a los Estados Unidos. 2) Es imposible que las materias primas no se vendan a los Estados Unidos. 3) Las materias primas peruanas no se venden a los Estados Unidos. 4) Es cierto que las materias primas peruanas no se venden a los Estados Unidos. 5) Las materias primas se venden en todo el extranjero. Son ciertas: A) Slo 1 y 2 B) Slo 2 y 3 C) Slo 3 y 4 D) Slo 4 y 5 E) Slo 1 y 5
6. Son equivalencias de: (A B) 1) A B 2) A v B 3) A v B 4) A B 5) (A v B) Son no ciertas, excepto: A) 1, 2 y 5 B) 2, 3 y 4 C) 2, 3 y 4 D) 1, 4 y 5 E) 1, 2 y 3
7. Dada la siguiente proposicn: Para negociar acciones de bolsa, es necesario un amplio dominio financiero. Equivale de decir: A) Las acciones de bolsa se negocian siempre y cuando haya capacidad financiera. B) Es mentira que, se negocian las acciones de bolsa y no haya amplio dominio financiero. C) Porque se negocian las acciones de bolsa, hay anlisis eonmico D) Se negocian las acciones de bolsa o slo es objetable que haya amplio dominio financiero. E) Slo si se negocian acciones de bolsa, hay un amplio dominio financiero. ) ( a c b a c b a b a b a a + + + + )+ a ( ) ( a c b a + +
8. Dada la siguiente proposicin: "Porque Espaa es una comunidad de naciones, tiene manifestaciones separatistas" Su equivalente por contraposicin, es: A) Es falso que Espaa sea una comunidad de naciones y no tenga manifestaciones separatistas. B) Si Espaa no es una comunidad de naciones por lo tanto no tiene manifestaciones separatistas. C) Dado que Espaa no tiene manifestaciones separatistas, no es una comunidad de naciones. D) Espaa no es una comunidad de naciones salvo que tenga manifestaciones separatistas. E) Es inobjetablemente falso que siempre que Espaa sea una comunidad de naciones implica que tiene manifestaciones separatistas.
9. Ca(OH)2 es la frmula del hidrxido de calcio o nicamente lo es del xido de calcio Su esquema es equivalente a: 1) (A v B) v (B v A) 2) (A B) 3) (A B) 4) (B v A) 5) (A . B) . (A v B) Son ciertas: A) 2, 3 y 4 B) Slo 2 y 4 C) 1, 3 y 5 D) Slo 1 y 5 E) Todas
10. La proposicin: Porque los humanos no son auttrofos, es imposible que sean invertebrados y bien o tambin no sean auttrofos Equivalente a: A) Los humanos son hetertrofos. B) Los humanos son auttrofos. C) Los humanos son vertebrados. D) Los humanos son invertebrados. E) Los humanos son auttrofos e invertebrados.
11. La intensin y la extensin en lgica son inversamente proporcionales cuando nos referimos a conceptos subordinados Equivale a: 1) A v B 2) (A . B) 3) B v A 4) (A . B) v C 5) (A . B) v C Son indudablemente falsas: A) 2, 4 y 5 B) 1, 3 y 5 C) 1, 4 y 5 D) 1, 2 y 3 E) Slo 1 y 3
12. La proposicin: Las drogas no slo destruyen al organismo, tambin a la familia Es equivalente a: 1) Es falso que, las drogas no destruyen el organismo a no ser que no destruyen la familia. 2) Es absurdo que las drogas no destruyen el organismo o es falso que no destruyen la familia. Aunque las drogas destruyen la familia. 3) Las drogas destruyen la familia a pesar que al organismo tambin. 4) Las drogas destruyen el organismo. 5) Las drogas destruyen el organismo a no ser que tambin la familia. A) 1, 2 y 3 B) 1, 2 y 4 C) Slo 1 y 3 D) Todas E) Ninguna 13. Las equivalencias de: El derecho a la vida no solamente va contra el homicidio sino tambin en contra de todo aquello que prive el desenvolvimiento de la vida misma Son: 1) Es falso que, si el derecho a la vida va contra el homicidio entonces no va en contra de todo aquello que prive el desenvolvimiento de la vida misma 2) Es falso que el derecho a la vida no va contra el homicidio y es falso que vaya en contra de todo aquello que prive el homicidio 3) Va contra todo aquello que prive el desenvolvimiento de la vida, el derecho a la vida; de la misma forma contra el homicidio 4) Es falso que, no va en contra aquello que prive el desenvolvimiento de la vida, el derecho a la vida; o no va contra el homicidio 5) Es falso que, el derecho a la vida no va contra el homicidio o necesariamente no va contra aquello que prive el desenvolvimiento de la vida misma Son ciertas: A) 1, 3 y 4 B) 3, 4 y 5 C) 1, 2 y 5 D) Todas E) 1, 4 y 5
14. El estado no slo protege la paternidad responsable sino tambin fundamentalmente establece que entre los hijos no hay distincin alguna Es equivalente a: 1) Es falso que, si el estado protege la paternidad responsable, entonces fundamentalmente establece que los hijos tienen distincin alguna. 2) Si el estado protege la paternidad responsable, entonces fundamentalmente establece que los hijos tienen distincin alguna. 3) Es falso que el estado protege la paternidad responsable y es cierto que fundamentalmente establece que los hijos tienen distincin alguna. 4) Es absurdo que, el estado no protege la paternidad responsable a no ser que fundamentalmente establece que los hijos no tienen distincin alguna. 5) Es absurdo que, el estado no protege la paternidad responsable a no ser que fundamentalmente establece que los hijos tienen distincin alguna. Son ciertas: A) 1 y 5 B) 1, 4 y 5 C) 1, 2 y 3 D) Todas E) 2, 3 y 4
15. La proposicin: El patio est desaseado a menos que tambin sucio. Por lo tanto, en vista que est sucio, no est aseado o bien est desaseado, equivale a: A) Jams el patio no esta desaseado B) Es un falso que el patio no est sucio pero est aseado C) El patio est sucio del mismo modo como desaseado D) Si el patio est sucio, as pues no est aseado E) Que el patio est aseado implica que no est sucio. Son ciertas: A) 3 y 5 B) 2 y 4 C) 1 y 4 D) 1 y 3 E) 4 y 5
COMPETENCIA
* A continuacin se te presentan ejercicios, RESULVELOS TU SOLO en el menor tiempo posible y con mxima eficacia.
3. La frmula proposicional: B ] ) A B ( ) B A ( [ +
Equivale a: A) B B) B C) B B D) A E) A B
4. La proposicin: Los animales son vertebrados siempre y cuando tengan sistema seo Equivale a: F) Los animales tienen sistema seo y son vertebrados, a menos que, ni son vertebrados ni tienen sistema seo. G) Tienen sistema seo o no son vertebrados, as como, son vertebrados o no tienen sistema seo los animales. H) Si tienen sistema seo, son vertebrados; tal como; si son vertebrados, tienen sistema seo, los animales. I) Los animales son vertebrados o no tienen sistema seo, as como, tienen sistema seo o no son vertebrados. J) Los animales ni son vertebrados ni tienen sistema seo, salvo que, son vertebrados y tienen sistema seo. Son indudablemente ciertas: A) Slo 1, 2 y 3 B) Slo 2, 3 y 4 C) Slo 1, 2 y 5 D) Todas E) Ninguna
3. La proposicin: Los peces no son animales vertebrados es necesario para que cualquier pez no sea animal vertebrado equivale a: A) Los peces son animales vertebrados B) Los peces no son animales vertebrados
C) Los peces son animales vertebrados slo si no son animales vertebrados D) Slo si los peces son animales vertebrados, no son animales vertebrados E) Los animales son animales vertebrados o no son animales vertebrados
4. La proposicin: Si el cloro y el yodo son elementos, el agua y el amonaco son compuestos equivale a: A) Slo si el amonaco es compuesto; el agua es compuesto si el cloro y el yodo son elementos B) Slo si el cloro es elemento; luego el yodo tambin es elemento por lo tanto el agua y el amonaco son compuestos C) Porque el yodo es elemento; el agua y el amonaco son compuestos porque el cloro es elemento D) El agua y el amonaco no son compuestos porque el cloro y el yodo no son elementos E) El agua y el amonaco son elementos porque el yodo y el cloro son compuestos
5. La proposicin: No slo no ocurre que la Lgica no estudia la materia ni la energa sino que tampoco estudia la energa equivale a: K) La lgica estudia la energa porque no estudia la materia L) Es innegable que la lgica estudia la materia tanto como que no estudia la energa M) Si no es cierto que la lgica estudia la materia es obvio que estudia la energa N) No ocurre que si la lgica estudia la materia luego estudia la energa O) La lgica no estudia la materia pero si la energa. Son ciertas: A) 3 y 4 B) 2 y 4 C) 2 y 3 D) 1 y 5 E) 1 y 3
6. La expresin: Lo falso no equivale a lo verdadero equivale P) Es mentira que lo falso equivale a lo verdadero Q) Es mentira que lo falso no equivale a lo no verdadero R) Lo falso equivale a lo no verdadero S) Lo no falso no equivale a lo no verdadero T) Lo no falso equivale a lo verdadero Son inciertas: A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5 D) 1, 4 y 5 E) Ninguna 6. Al simplificar la siguiente proposicin: [ (p&q) q]vq; aplicando las leyes del lgebra booleana obtenemos: 1) p 2) p 3)q 4) q 5)q+(p.p) Son ciertas: A) 1,2 B)2,3,4 C)1,3 D)3,5 E)NA
7. Del siguiente esquema: C) A B)( (A + + + A; aplicando las leyes del lgebra booleana, equivale a:
A) AC+A B) AB C) A+B D) AC E)A
8. Al simplificar, equivalentemente, la frmula: [(p q) . (p r)] [(p q) v (p r)]
Se tiene: A) p (q . r) B) p (q v r) C) p (q . r) D) p (q v r) E) p (q . r)
5. La frmula: - p | q Es equivalente a:
A) -q p B) q - p C) - q - p D) ( -q p) E) ( -q -p)
6. La frmula: - ( -p -q) Es equivalente a: A) p + -q B) - ( -p + q) C) - (p q) D) - ( -q -p) E) - p + -q