You are on page 1of 31

CAPÍTULO I

I. LÓGICA PROPOSICIONAL
1.1 RESEÑA HISTÓRICA
Una de las actividades más importantes que desarrolla todo ser humano, es la de realizar deducciones a partir de ciertos enunciados o premisas y con estos establecer conclusiones y proyecciones. La lógica nace como disciplina en Grecia, fue el filósofo Aristóteles (Siglo IV a.c.), quien escribió un tratado sobre lógica, en la que exponía sistemáticamente la teoría de la inferencia (relación entre la verdad de dos proposiciones) en su gran libro llamado Organón, el mérito de Aristóteles aparte de reunir todos los otros trabajos de otros filósofos como Parmínedes, Jenófanes y Platón fue el de haber descubierto el silogismo, que consiste en una inferencia muy particular que; a partir de la verdad de dos proposiciones, llegar a la verdad de una tercera proposición, por ejemplo de las proposiciones verdaderas “Todos los hombre son mortales”, “Manuel es un hombre” se puede derivar otra tercera proposición de que “Manuel es mortal”. Después de Aristóteles, los filósofos megáricos entre los que deben mencionarse a Crisipo, Filón y Diodoros Kronos, hicieron nuevos descubrimientos pertenecientes a los que hoy se llama lógica coligativa que debido al prestigio de Aristóteles no alcanzó difundirse y pasaron completamente desapercibidos. Durante la Edad Media, algunos filósofos medioevales como Petrus Hispanicus, Juan Buridán, Alberto de Sajonia y Pedro Abelardo redescubrieron los tipos de inferencia coligativa que habían descubierto los megáricos; pero estos, avanzaron más de tal manea que sus aportes aun todavía se estudian en la lógica actual; sin embargo, tuvieron dificultades al no encontrar un lenguaje adecuado(símbolos), ya que es muy complicado relacionar proposiciones con nuestro lenguaje corriente debido a la gran cantidad de palabras que se utilizan. Durante el Renacimiento y la Edad Moderna la lógica cayó en receso, destacando tan solamente uno de los filósofos más geniales de la historia Guillermo Godofredo Leibniz quien redescubrió todo lo que habían descubierto los megáricos y avanzó más al darse cuenta de la imposibilidad de progresar en el estudio de las inferencias sin disponer de un lenguaje especial parecido al de la matemática. Después de la muerte de Leibniz, los filósofos ingleses Georges Boole y Augustus de Morgan (1850–1860), volvieron a descubrir todo lo que había descubierto Leibniz y avanzaron un poco más al deducir que la razón humana es siempre la misma a través de la historia fundamentando tal afirmación con la comparación de los descubrimientos de los megáricos, los medioevales y el mismo Leibniz; tanto Boole como Morgan además crearon un lenguaje especial para el estudio de las inferencias denominado lenguaje formalizado y a partir de este lenguaje se descubrió una cantidad inmensa de nuevos tipos de inferencias. En la primera década del presente siglo era tal la cantidad de tipos de inferencia que se habían descubierto, que era necesario una sistematización. Esta difícil sistematización fue realizada por los filósofos Bertrand Russell y Alfredo Whitehead(1910–1913) y fue publicada en la obra “Principia Matemática”, sin embargo fue el matemático lógico David Hilbert quien mostró que a los trabajos de Russell y Whitehead les faltaba el rigor en el empleo del lenguaje ya que para poder estudiar la inferencia o deducción con exactitud era necesario crear un método especial que en la actualidad se denomina “metaciencia” o “metalinguística”.

A pesar de estas dificultades, la moderna lógica formal logra aclarar de manera casi completa el concepto de deducción y ofrece métodos que permiten analizar, con exactitud y una amplitud, las inferencias que se realizan en la práctica de la matemática, de la ciencia en general, de la filosofía y de la vida cotidiana. La lógica, en particular la Lógica Matemática o Lógica Simbólica tiene múltiples aplicaciones; estas son: En electrónica: los circuitos eléctricos, en estadística: La formalización de modelos, en Informática: Las operaciones que realiza el computador fundamento lógico matemático, en la medicina ( Neurofisiología): modelación de redes neuronales y en lingüística: la lingüística estructural y semiótica entre otros.

1.2 DEFINICIONES BÁSICAS

ETIMOLOGÍA.- El término lógica proviene de la palabra griega “ λ ο γ ι κ α “ que significa razón; se considera al filósofo griego ARISTÓTELES; como el creador y padre de la lógica. DEFINICIÓN.- La lógica es la ciencia que estudia los actos del pensar-concepto, juicio, razonamiento, demostración-desde el punto de vista de su estructura, haciendo abstracción del contenido concreto de los pensamientos y tomando sólo el procedimiento general de conexión entre las partes del contenido dado. En este contexto la lógica como ciencia que estudia el pensamiento, con el fin de establecer la verdad, llega a esta utilizando el pensamiento. LÓGICA VERDAD

PENSAMIENTO JUICIO.- Un juicio es un pensamiento en cuya base está el convencimiento de que cierta cosa sea enteramente conocido VERDAD.- Es un juicio o proposición que concuerda con la realidad objetiva, una proposición verdadera es la expresión de un juicio verdadero. La realidad objetiva no es verdadera ni falsa. Sino que simplemente existe. ENUNCIADO.- Es una oración (*) o secuencia de oraciones, en términos matemáticos palabras con lo que se enuncia un teorema que se va ha demostrar; el corolario como una consecuencia de un teorema, la expresión analítica de los problemas a resolverse; etc.

1.3 PROPOSICIÓN
Es un enunciado en un determinado lenguaje, el mismo que es examinado en relación con las estimaciones de su veracidad (verdadera o falsa) o de su modalidad (probable, posible, imposible, neutra, etc.). Para el propósito de nuestro estudio, una proposición es un enunciado constituido por un conjunto de palabras o términos matemáticos, que representan un sentido completo, sin ambigüedades y que pueden ser falsas o verdaderas pero no ambas.
(*) Oración es un conjunto de palabras que expresan un sentido completo.

Ejemplos.Son proposiciones.a) Julio César fue un General Romano. b) 2 + 2 = 5. c) 25001 + 3, es un número primo. ch) El número 10 es par y el número 13 es impar. d) 3 ≤ 5. e) 2n + n, es un número par para todo n ∈ IN. f) No es verdad que 5 sea un número entero par o 7 un número entero primo. g) Si A

⊂ B; entonces A ∩ B = A. ⊂ B; entonces A ∩ B = A.

h) 2n = n 2, para algún n ∈ IN. i) Si A

j) 2n = n 2, para algún n ∈ IN. k) Si las mañanas son pasajeras, entonces nuestra existencia también lo es. l) Si estudio diariamente Matemática Básica, entonces aprobaré el curso; lo cual traerá una satisfacción a mis familiares. ll) Para toda matriz A ∈ Mmn se cumple que A = AT. No son proposiciones.a) Ir directamente al teatro. b) ¡ Dios mío ayúdame !. c) ¿ Por qué es importante el curso de Matemática Básica ?. ch) ¿ Qué hora es ?. d) Por favor, envíe su informe a la brevedad posible. e) ¿ Cuándo se resolverá algebraicamente una ecuación de quinto grado ?. f) x – y = y – x La razón del porqué f ) no es una proposición es que no se especifica los valores que pueden asumir tanto x como y; por ejemplo tanto si x como y asumen valores de los números reales

x es una proposición falsa y si x y y asumen algunos valores reales entonces x . r. al asumir la notación p. q.y = y . De nuestros ejemplos... 1. Y las demás proposiciones de los ejemplos presentados y que constan de un solo enunciado.y = y – x. b) Los médicos son personas acaudaladas.a) Se remunera demasiado a los maestros. a cada una de las proposiciones que constan de un solo enunciado se les denota con las letras del alfabeto español: p. Por consiguiente f ) es una ambigüedad. Teniendo en cuenta la definición de una proposición en la que esta puede ser verdadera o falsa.. por cualesquiera de las letras señaladas para su notación.4 CLASES DE PROPOSICIONES Hay dos clases de proposiciones: Las que están constituidas por un solo enunciado se denominan simples o atómicas y las que están formadas por varios enunciados se llaman compuestas o moleculares. c) Las matemáticas son divertidas. t. Ejemplos. queda denotado (representado) por la letra p.. etc. quedan denotadas. esta puede representar a cualesquiera de las proposiciones de un solo enunciado. Son ambigüedades. es una proposición verdadera. la proposición Julio César fue un General Romano. es decir: p: Julio César fue un General Romano. e) Hizo frío en Tingo María en el mes de Mayo de 1952. . sin embargo.- .. NOTACIÓN Para el estudio de las proposiciones y sus relaciones en forma más sencilla se hace necesario su denotación o representación. en tal sentido.entonces x . el mismo que se esquematiza mediante la siguiente tabla: p V F Esta tabla recibe el nombre de tabla de verdad de una proposición. d) Los árboles son más importantes que las ecuaciones matemáticas. es posible establecer el valor de verdad de una proposición. s.

≡ Alfredo es Matemático y Marcos Abogado.. 1.. Simbólicamente se denota la conjunción de los enunciados p y q mediante: p∧ q. es una proposición compuesta.a) La recta A es paralela a la recta B. si y solo si. El valor de verdad de la conjunción p∧q. Una manera de representar mediante una tabla de verdad la regla No 1 es la siguiente: p q p ∧ q V F F F V V V F F V F F . es una proposición simple..Si p es verdadero y q es verdadero entonces p ∧ q es verdadero. se establece con la utilización de la siguiente regla: REGLA Nº 1.Si p = Está lloviendo y q = Hace frío Entonces p ∧ q . b) No se otorgarán aumentos a los docentes universitarios en caso de enfermedad o desempleo.Es aquel conectivo lógico identificado mediante la conjunción “y” que permite combinar dos proposiciones simples a fin de obtener una proposición compuesta. Una proposición compuesta obtenida con la utilización del conectivo lógico conjunción enuncia dos hechos que son descritos respectivamente por sus dos proposiciones componentes Ejemplos. c) A por B es igual a cero. Las proposiciones compuestas son también combinaciones de proposiciones simples. A es igual a cero o bien B es igual a cero. p ∧ q es falso. las mismas que se obtienen relacionándolos proposiciones simples mediante la utilización de los conectivos lógicos. y q = Marcos es Abogado p = Alfredo es Matemático p∧q Entonces. es una proposición compuesta.5 CONECTIVOS LÓGICOS Los principales conectivos lógicos que permiten construir proposiciones compuestas son los siguientes: CONJUNCIÓN. a los cuales se estudian a continuación.Si ≡ Está lloviendo y hace frío. en los demás casos.

entonces p ∨ q ≡ José estudia Matemática Básica o lenguaje en la Universidad. se denota mediante: p ∨ q. cuando de alguna manera se cumplen ambas alternativas.. La Disyunción se clasifica en: Disyunción Inclusiva.Sean p = El número 10 es un número par q = El número 10 es divisible por 2 Entonces p ∨ q y ≡ El número 10 es par o divisible por 2.. Simbólicamente se denota la disyunción de los enunciados p y q mediante: p ∨ q Ejemplo. esto es cuando se cumple una de las alternativas de la proposición compuesta.DISYUNCIÓN. Mediante Tabla de Verdad: p V V F F q V F V F p ∨ V V V F q Disyunción Exclusiva.Sean p = César Vallejo fue Poeta.Si p = José estudia Matemática Básica en la Universidad y q = José estudia lenguaje en la Universidad . El valor de verdad de la disyunción inclusiva se obtiene con la utilización de la siguiente regla: REGLA Nº 2 : La disyunción inclusiva es verdadera si al menos una de las proposiciones componentes es verdadera en los demás casos es falsa.Es aquel conectivo lógico que permite combinar proposiciones simples mediante la disyunción “o” con el fin de obtener proposiciones compuestas. Ejemplo.Cuando se combinan las proposiciones p y q con la palabra “o” incluyente o débil.Cuando se combinan las proposiciones p y q. y q = César Vallejo fue Ingeniero Entonces p ∆ q ≡ César Vallejo fue poeta o ingeniero . es decir. Ejemplo. Una proposición disyuntiva inclusiva enuncia una alternativa de hechos tal que el cumplimiento de uno de ellos no excluye el cumplimiento del otro. mediante la palabra “o” excluyente o fuerte.. Se denota mediante: p ∆ q.

” ..Muchos enunciados especialmente en matemática son de la forma:“ Si p. Al condicional p ⇒ q . entonces 8 es número par. se puede formar otro enunciado.. “ No es cierto que…. Entonces ~ p = Jauja no fue la primera capital del Perú. tales enunciados se denominan condicionales se les denota por: p ⇒ q Ejemplo. tal que el cumplimiento de uno de ellos excluye el cumplimiento del otro. antes de p.Si p = Jauja fue la primera capital del Perú.La proposición disyuntiva exclusiva enuncia una alternativa de hechos.Si p es verdadero entonces ∼ p es falso.La disyunción exclusiva es verdadera cuando solamente una de las proposiciones componentes es verdadera y es falsa cuando ambas componentes tienen el mismo valor (dos verdaderas o dos falsas). escribiendo “ Es falso que…” .Si 8 es divisible por 2. Su tabla de verdad asume la forma: p V F ~ p F V V F CONDICIONAL o IMPLICACIÓN. se determina con la utilización de la siguiente regla: REGLA Nº 4. “ No…. O también cuando es posible insertar en la proposición p. la palabra “ no ” .. El valor de verdad de este conectivo lógico negación. si p es falso entonces ∼ p es verdadero. simbólicamente se denota la negación de p por: ~ p Ejemplo..” . que se llama negación de p.Dado un enunciado p . entonces q ” . El valor de verdad de la disyunción exclusiva se obtiene utilizando la siguiente regla: REGLA Nº 3. Su tabla de verdad es: p V V F F q V F V F p ∆ F V V F q NEGACIÓN. se le puede también leer como: -) p implica q -) q solamente si p -) p es suficiente para q -) q es necesario para p ..

“ p equivalente a q ”. p V V F F q V F V F p ⇔ V F F V q 1. es falso. El valor de siguiente regla: verdad del enunciado bicondicional se consigue con la utilización de la REGLA Nº 6. las proposiciones compuestas en su forma simbólica.Si p y q tienen el mismo valor . en los demás casos es verdadero. el antecedente describe un hecho de cuyo cumplimiento depende que se cumpla un segundo hecho descrito por el segundo enunciado. p V V F F q V F V F p ⇒ q V F V V BICONDICIONAL O DOBLE IMPLICACIÓN. satisface la siguiente regla: REGLA Nº 5. El valor de verdad del enunciado condicional p ⇒ q . son aquellas en las que se pueden encontrar varias proposiciones simples entrelazadas mediante los conectivos lógicos y los de signos de agrupación. pero no conjuntos sino dependientes. El primer enunciado.. entonces p ⇔ q es verdadero.. Una proposición bicondicional enuncia el cumplimiento conjunto o el incumplimiento conjunto de dos hechos.-Otros enunciados de suma importancia en la matemática son de la forma: “p si y solamente si q” .” ( ⇒ ) significa que se trata de un enunciado de dos hechos.Un número es divisible por 2. La siguiente tabla de verdad expresa lo manifestado en la regla anterior.6 TABLA DE VERDAD DE PROPOSICIONES COMPUESTAS Como ya se mencionó anteriormente.El conectivo lógico “ Si ……entonces…. tales enunciados se denominan bicondicionales o equivalentes y se les denota mediante: p ⇔ q Ejemplo. Dicha regla se puede esquematizar mediante la siguiente tabla. es par. Ejemplos: .. en los demás casos p ⇔ q . el consecuente.El condicional p ⇒ q es falso a menos que p sea verdadero y q sea falso. si y solo sí.

N c = 2n .Hallar la tabla de verdad de la siguiente proposición. donde n es el número total de proposiciones diferentes en la proposición compuesta cuya tabla de verdad se desea hallar.. cuya escritura se consigue iniciando con dos verdaderos y dos falsos. corchetes y llaves. para luego continuar con un verdadero y un falso.p ⇒ ( q ⇒ ~ r ). luego la disyunción y la doble implicación de los corchetes y finalmente la conjunción. A continuación se presenta mediante un ejemplo.- ∨ ( q ⇒ ~ r) ] ∧ [(~p ∨ r) ⇔ ~q] En este ejemplo hay que desarrollar inicialmente las negaciones de r. para este desarrollo hay que utilizar el valor de verdad de cada uno de los conectivos lógicos de acuerdo a los requerimientos de los ejercicios a resolver. teniendo en cuenta para esto las jerarquías de desarrollo de los paréntesis.Para desarrollar y caracterizar la tabla de verdad de las proposiciones compuestas hay que tener en cuenta las siguientes observaciones: a) El número de combinaciones del desarrollo del lado izquierdo inferior de la tabla está dado por 2n combinaciones.b = 0 ⇔ a=0 ∨ b=0 [~ ( 3 > 2 ) ⇔ ~ ( 2 > 3 ) ] ⇒ ( 2 = 3 ) Interesa desarrollar la tabla de verdad de estas proposiciones compuestas. Ejemplo.. en forma similar al desarrollo de los signos de agrupación manipulados en el álgebra elemental y la jerarquía de los conectivos lógicos. a. p y q. el desarrollo del valor de verdad de una proposición compuesta. en efecto. n número de proposiciones diferentes Para facilitar la escritura de estas combinaciones si se tienen dos proposiciones diferentes habrán entonces cuatro combinaciones. seguidamente la implicación o la disyunción de los paréntesis. . p q V V V V F F F F V V F F V V F F r V F V F V F V F [p ∨ ( q ⇒ ~ r )] ∧ [( ~ p V V V V F F F F V V V V F V V V V V F F V V F F F V V V F V V V ∨ F V F V F V F V r ) ⇔ ~ q] F V V F F F V V F F F F V V V V V F V F V V V V V F V F V F V F F V V F F F V V F F V V F F V V OBSERVACIONES. [p Solución. y ~(p ∧ q) ⇔ ~p ∨ ~q.

[ ] y { } En la jerarquía de los signos de agrupación que agrupan conectivos lógicos debe respetarse la jerarquía de los signos de agrupación y en el caso de existir dos o más signos de agrupación iguales el desarrollo de la tabla de verdad es por cualesquiera de ellos.( ). ⇒ y ⇔ y —. entonces dicha proposición recibe el nombre de inconsistencia o contingencia. b) La jerarquía de los conectivos lógicos y de los signos de colección en orden creciente: ~ . ∧ .∨ .Si se tienen 3 proposiciones diferentes entonces se tendrán 8 combinaciones cuya escritura se inicia con cuatro verdaderos y cuatro falsos. e) Si el resultado final al desarrollar la tabla de verdad de una proposición compuesta. contradicción y contingencia: p V V F F V F q V F V F V ~(p ∧q) ⇔ ~ p F V V V F F V V V ∨ F V ~q F V F F V F F Tautología V V V p V V F F q V F V F ~ [(p F F F F ∧ V F F F q) ⇔ (q V V V V ∧ V F F F p )] Contradicción p q (~ p ∧ q ) ⇔ p∨ q . d) Si el resultado final al desarrollar la tabla de verdad de una proposición compuesta. entonces dicha proposición es una tautología. luego con dos verdaderos y dos falsos y finalmente con un verdadero y un falso. seguidamente con 2 verdaderos y 2 falsos y finalmente con 1 verdadero y 1 falso. contiene solamente falsedad. entonces dicha proposición es una contradicción. contiene sólo veracidad. Ejemplos de tautología. contiene veracidad y falsedad combinadamente. c) Si el resultado final del desarrollo de la tabla de verdad de un determinado ejercicio. luego 4 verdaderos y 4 falsos. Y de existir 4 proposiciones diferentes entonces habrá 16 combinaciones los cuales se escriben iniciando con 8 verdaderos y 8 falsos.

p ∨ p ⇔ p . por esta razón se denominan leyes lógicas. Dentro de éstas.(p ∨ q) ∨ r ⇔ p ∨ (q ∨ r) .p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r) .p ∧ q ⇔ q ∧ p .p ∧(q ∨ r) ⇔ (p ∧q) ∨ (p ∧ r) . corolarios.(p ∧q) ∧ r ⇔ p ∧(q ∧ r) .p ∧ p ⇔ p b) Leyes Conmutativas : .( p ⇔ q )⇔ r ≡ p ⇔ ( q ⇔ r ) d) Leyes Distributivas: . etc.p ⇔ q ≡ q ⇔ p c) Leyes Asociativas : .). ~F ⇔ V ⇔ V ⇔ F g) Leyes de Morgan: .p ∨ q ⇔ q ∨ p .p ⇒ (q ∨ r) ≡ (p ⇒ q) ∨ (p ⇒ r) e) Leyes de Identidad: p∨ F p∨ V p ∧ V p ∧ F ⇔ ⇔ ⇔ ⇔ p V p F f) Leyes del Complemento: p ∨ ~p p ∧~p ~V ⇔ ~(~p) ⇔ p F .p ⇒ (q ∧ r) ≡ (p ⇒ q) ∧(p ⇒ r) .V V F F V F V F F F V V F V F F V V F F F F V V V V V F Contingencia o Inconsistencia 1.7 LEYES LÓGICAS Las siguientes proposiciones compuestas son tautologías las mismas que son utilizadas con mayor frecuencia en las demostraciones de muchas relaciones matemáticas(teoremas. las más importantes son las siguientes: a) Leyes de Idempotencia: .

Para el desarrollo de ejercicios. Ley de reducción al absurdo. problemas. demostraciones.( p ⇔ q ) ≡ ~ ( ( p ∧ ~ q) ∨ ( q ∧ ~ p )).~(p ⇒ q) ≡ p ∧~q . en algunos casos es necesario tener en cuenta las siguientes leyes lógicas ( tautologías ) : [( p ∧ q ) ⇒ r] ≡ [p ⇒ ( q ⇒ r )] ( p ⇒ q ) ≡ ~ [( p ∧ ~ q ) ⇒ F ] [( p ⇒ r ) ∧ ( q ⇒ r )] ≡ [( p Ley de exportación.(p ⇔ q)≡(p∧q) ∨ ( ~p ∧~q) .p ∨ ( ~ p ∧ q ) ≡ p ∨ q.- ~(p ∨ q) ⇔ ~p ∧ ~q ~(p ∧q) ⇔ ~p ∨ ~q ~ (~ p ∧ ~ q ) ⇔ p ∨ q ~(~p ∨ ~q) ⇔ p ∧ q h) Leyes del Condicional: . j) Leyes de Absorción : . las que se pueden comprobar construyendo sus correspondientes tablas de verdad. etc.p ∨ (p ∧q) ≡p . son tautologías.p ∧(~p ∨ q) ≡p∧q . p V V F q V F V p ^ q V F F p 1 1 0 q 1 0 1 p ^ q 1 0 0 1 1 1 0 .p ⇒ q ≡ ~p ∨ q . ∨ q ) ⇒ r] [( p ⇒ q ) ∧ ( p ⇒ r )] ≡ [ p ⇒ ( q ∧ r )] La veracidad o falsedad de una proposición también es representado por 1 y 0 respectivamente o por el paso de corriente o su interrupción a través de un circuito electrónico o en la generalidad considerando los estados bivalentes que asume la existencia de los fenómenos. Por ejemplo la tabla de verdad de la conjunción queda representada por. considerando a uno de estos estados con el número 1 y al otro con el número 0. Todas las leyes lógicas presentadas.p ∧(p ∨ q) ≡ p .p ⇒ q ≡ ~q ⇒ ~p i) Leyes de Bicondicional : .(p ⇔ q)≡(p ⇒ q)∧(q ⇒ p) .

la conjunción es identificado como un circuito en serie y la disyunción como un circuito en paralelo.V F F 0 0 0 0 0 1 0 Circuito en Serie Para la disyunción su tabla de verdad quede expresada en la siguiente forma: p V V F F q V F V F p v q V V V F p 1 1 0 0 q 1 0 1 0 p 1 1 1 0 0 ☼ 1 1 ☼ 0 Circuito en paralelo ∨ q 1 0 1 ☼ 0 Los conectivos lógicos conjunción y disyunción son utilizados en electrónica específicamente a los circuitos de corriente eléctrica. Nombre Cuantificador existencial indefinido Cuantificadores existenciales definidos Cuantificador existencial limitado Cuantificador Universal libre Cuantificador universal limitado Fuente: elaboración propia Símbolo Lectura ∃ x Hay al menos un x tal que (∃ x ) n Hay exactamente n x tales que (∃ x ) U Existen x en U tales que (∀ x) Todo x es tal que (∀ x ) U Todo x del conjunto U es tal que . La misión del cuantificador o cuantor es indicar los valores que asume la variable en un determinado conjunto. Los cuantificadores o cuantores se clasifican en: Tabla No 1. 1. Así la proposición “x es verde” se puede convertir en la proposición verdadera “algún x es verde” o en la proposición falsa “todo x es verde”..8 CUANTIFICADORES O CUANTORES Una manera de conseguir que una proposición se convierta en una idea verdadera o falsa en su generalización es anteponiendo a esta proposición un cuantificador o cuantor. sus valores de verdad se identifican como el paso o no paso de corriente eléctrica.Lista de cuantificadores.

9 del conjunto de referencia. 6 . se cumple o no se cumple p( x ) ” . 3 . p( x ) ”. Al símbolo. p( x ) ∀x . es decir el resultado que se obtiene al remplazar los posibles valores que asume la variable x del conjunto de referencia. 3 . 9 }.En el texto se utilizan los cuantificadores o cuantores de acuerdo a las características de las proposiciones compuestas que contienen a estos cuantores y también de acuerdo a los conjuntos de referencia de la variable. 7 }. ∀ (la primera letra girada del vocablo inglés all-todo) que se lee “ Para todo”. 6.Determinar el valor de verdad de los siguientes enunciados que contienen al cuantificador existencial. tomando como referencia al conjunto A = { 1 . CUANTFICADOR O CUANTOR UNIVERSAL Sea p( x ) una proposición sobre un conjunto A. Al símbolo: ∃( la primera letra girada del vocablo inglés. dado que si x asume cualquier valor de A. 6 . 1 . a) ∃ x ∈ A / x + 7 = 9 Solución. CUANTIFICADOR O CUANTOR EXISTENCIAL Sea p( x ) una proposición sobre un conjunto A(conjunto de referencia). c) Falso. 2 . b) Es verdadero dado que x puede ser cualquier valor de los siguientes números: 1. donde el conjunto de variación de x es el conjunto: A = { 0 .Determinar el valor de verdad de los siguientes enunciados. Ejemplo. nunca serán menores o iguales que -10. 2. p( x ) ó ∀ x . no se cumple la condición de la desigualdad. p( x ) o ∃ x . entonces las expresiones:( ∀ x ∈ A). ó b) ∃ x ∈ A / x – 1 ≠ 2 c) ∃ x ∈ A / x – 2 ≤ . p(x) Son proposiciones que se leen “ Existe un x en A. 2 . se le denomina cuantificador existencial. tal que se cumple p( x ) ” o simplemente “ para algún x. 5. 8 . 7 . 8. se le denomina cuantificador universal. 4.10 Son enunciados o proposiciones que se leen “ Para todo elemento x de A. 5 . 4 . 4 .a) Es verdadero dado que x puede asumir el valor de 2 del conjunto de referencia. 7. Ejemplo. entonces las expresiones: ( ∃ x ∈ A ). p ( x ) o ∃ x . p( x ). 5 . exists-existe) que se lee: “ Existe” o “ Para algún “ o “ Para al menos un”. .

tanto x como y pueden asumir cualquier valor de los números reales. x asume todos los valores de los reales y y cualquier valor de los números reales.a) ∀x ∈ A . Por ejmeplo si x = 10 entonces y puede ser 200. en particular si asumen x = 3 y y = 4. 1 <1 x a) Falso. x + 1 ≥ 0 c) ∀X ∈ A . osea que no cumple con la condición que define a la proposición.Si U = R (conjunto de referencia). la condición del ejercicio se convierte en 1 < 1. en particular si x =1 ⇒ 1 + 6 = 3 ⇒ 7 = 3. anteponiendo a esta proposición más de un cuantificador o cuantor.- b) ∀X ∈ A . . dado que si x = 1. de tal manera que se cumpla la igualdad que condiciona a la proposión. Solución. cuyas misiones son indicar los valores correspondientes que asumen las variables en un determinado conjunto de referencia. b) Verdadero para todo x perteneciente al conjunto A. Dado que al asumir x cualquier valor delconjunto de referencia A. por tanto. entonces (3)(4) = 12. por tanto. es decir: (10) 2 -200 = -100 < 10. determinar el valor de verdad del los siguientes enunciados: a) ∃ x. b) ∀X . el enunciado es verdadero. dado que si x toma cualquier valor del conjunto A. la condición x + 1 ≥ 0 se verifica.∃ y / x2 – y < 10 c) ∀X. el enunciado es verdadero. Si por ejemplo x = 4 y y = 3.∀y / xy = 2. para cualquier valor que asuma x siempre sera posible encontrar un y ∈ R. se cumple la igualdad que condiciona a la proposión. c) Falso. la igualdad no se cumple. b) El peruano Adolfo Suarez fue campeón mundial olímpico de billar. lo cual no es cierta. Ejemplo. por consiguiente el enunciado es falso.9 EJERCICIOS RESUELTOS En la generalidad los problemas o ejercicios que se presentan como propuestos en este capítulo. 1. lo cual no es cierto.a) De acuerdo a los cuantificadores del enunciado. se resuelven teniendo en cuenta las metodologías utilizadas en la solución de cada uno de los siguientes: A) Entre las siguientes expresiones verbales separar aquellas que son proposiciones y establecer (si es posible).∃ y / x2 + y2 = 25. c) Como los cuantificadores o cuantores son los universales entonces tanto x como y están obligados a sumir todos los valores de los números reales. b) De acuerdo a los cuantificadores del enunciado. x + 6 = 3 Solución. cuales son verdadearas o falsas. a) El gran poeta César Vallejo nació en el año de 1825. Es posible también conseguir que una proposición se covierta en verdadera o falsa en su generalización.

La metodología que se sigue para solucionar el presente ejercicio es combinar con sentido completo los enunciados verbales de cada una de sus representaciones simbólicas de acuerdo a como estén combinadas o relacionadas en la proposicion compuesta que debe expresarse en forma verbal. entonces no está sano c) Vive feliz ch) Vive feliz o no está sano d) No vive feliz si y solo si no está sano C) Sean p = El estudia lógica matemática q = El es feliz Expresar por enunciados verbales los siguientes enunciados simbólicos: a) p ∧ q b) ~ p ⇒ ~ q Solución. p: “ Vive feliz ” simbólicas en forma verbal. b.b. f) Hay civilizaciones extratrerrestres. c no es proposición. es decir. h) La adición de los ángulos interiores de todo triángulo es igual a 180o. a) Vive feliz y está sano b) Si no vive feliz.La metodología que se sigue para solucionar este ejercicio es similar al del ejercicio anterior.Para solucionar esta pregunta. combinar con sentido completo los enunciados verbales de cada una de sus representaciones simbólicas de acuerdo a como estén combinadas o relacionadas en la proposicion compuesta que debe expresarse en forma verbal. e y g son proposiciones y de estas a. e) Para los conjunto A y B se cumple la siguiente inclusión: A ⊂ A B . Solución. c) ~ (~ p ) ch) p d) ~ p ⇔ ~ q e) ~ p ∧ ~ q ⇒ ~ ( p ∨ ~q ∨ q) . B) Sean. d.c) ¡Vuelen en aeronaves de la NASA! d) 2 ∈ Q. En efecto.En este contexto: a.f es una ambiguedad.e y g son verdaderas y d es falsa. a) p ∧ q b) ~ p ⇒ ~ q y q: “ Está sano” . c) ~ (~ p ) expresar las siguientes proposiciones d) ~ p ⇔ ~ q . basta recoradar la definición de una proposición. ch) p ∨ ~q Solución. g) 2CO + O2 = 2CO3.

ch) El estudia lógica matemática pero no es feliz. a) ( p ∧ q ) ∧ ∼ r b) ( p ∧ q ) ∨ ~ ( p ∧ r ) . e) Si él no estudia lógica matemática y no es feliz. c) Dalia habla Inglés pero no Francés. entonces no es feliz c) El estudia lógica matemática (no es cierto que él no estudia lógica matemática). s. b) Dalia habla Francés y Alemán. f) Si Albert no lee la República ni el Bocón entonces no lee el Comercio y la Prensa. e) No es cierto que Albert ni lee el Comercio ni el Bocón pero lee la República. pero si no lee el Comercio.a) El estudia lógica matemática y es feliz b) Si él no estudia lógica matemática. de manera que la representacion simbólica denote el sentido del enunciado. ch) Dalia no habla Francés ó no habla Inglés. Solución. no es feliz. D) Sean: p = Dalia habla Ingles y q = Dalia habla Francés Dos proposiciones simples. c) No es cierto que Albert lee la República pero no el Comercio. a) Dalia habla Inglés ó Francés. a) p ∨ q c) p ∧ ~ q ch) ~ q d) ~ (~ q ∧ ~ p ) ~p e) ~ (~ p ) b) p ∧ ~ q ∨ E) Sean p = Albert lee la República q = Albert lee el Comercio r = Albert lee el Bocón Escribir en forma simbólica las siguientes proposiciones ( Enunciados Verbales). Solución.La misma metodología del ejercicio anterior. entonces tampoco lee el Bocón. e) No es cierto que Dalia no habla Inglés. g) Si Albert no lee los tres diarios entonces lee la Crónica. q. b) Albert lee la República y el Comercio. d) No es cierto que Dalia no habla Francés ni Inglés. etc. es representar a cada una de las proposiciones que conforman los enunciados verbales. d) Si Albert lee la República entonces no lee el Comercio. a) Albert lee la República y el Comercio pero no el Bocón. r. entonces no es cierto que estudia lógica matemática o es feliz. con las letras de notacion: p. d) El no estudia lógica matemátia si y solo si. ch) No es cierto que Albert lee el Comercio o el Bocón pero no la República. para luego combinarlas adecuadamente mediante el uso de los conectivos lógicos y los signos de agrupación. Escribir cada uno de los siguientes enunciados verbales en forma simbólica. o no lee la República y el Bocón.La metodología que se sigue para resolver este ejercicio.

en efecto. c) Si las mañanas fuesen pasajeras como nuestra existencia. r p ⇔ (q∧r) . entonces compraremos una nueva computadora si. en particular la Prensa. es decir. s. lo cual significa que puede leer cualquier diario. es conveniente conocer la solución algebraica de una ecuación de segundo grado. d) Si no es verdad que. que va ha ser posible escribir a partir de la simbología escrita su enunciado verbal. a las proposiciones diferentes que intervienen en el enunciado verbal. siempre que n sea impar. entonces se compararian con el correr de los rios en invierno y si las noches fuesen oscuras como la muerte. a) El conjunto A es igual al conjunto B si y solo si el conjunto A está contenido en el p q conjunto B y el conjunto B está contenido en el conjunto A. por tanto mis padres estarán contentos y me aumentarán la mensualidad. b) La solución de una ecuación de cuarto grado implica la transformación de dicha ecuación en dos ecuaciones de segundo grado.Para escribir estos enunciados verbales en forma simbòlica. entonces se compararian con los malos tiempos de la vida. a) El conjunto A es igual al conjunto B si y sólo si el conjunto A está contenido en el conjunto B y el conjunto B está contenido en el conjunto A. siempre que n sea par. podemos mostrar que los recursos de computo son. F) Escribir las siguientes proposicones mediante sus equivalencias simbólicas. y solo si. r. Solución. se denotan mediante las letras p. entonces debe cumplirse que. e) Si el costo de las utilidades crece o se niega la requisición de fondos adicionales. ( notación simbólica de las proposiciones). insuficientes. motivo por el cual. q. n es par. ch) Si todos los días resuelvo ejercicios de lógica proposicional. de tal manera que simbolice correctamente el enunciado verbal propuesto.c) ~ ( p ∧ ~ q ) ch) ~ [ ( q ∨ r ) ∧ ~ p ] d) ( p ⇒ ~ q ) ∧ (~ q ⇒ ~ r ) e) ~ [ (~ q ∧ ~ r ) ∧ p ] f) (~ p ∧ ~ r ) ⇒ ( ~ q ∧ ~ p ) g) ~ [( p ∧ q ) ∧ r ] ⇒ ~ q En el ejrcicio f) ∼ p significa que no lee la república. entonces aprobaré el curso de matemática básica y si ocurre esto. 2 n 2 es impar. etc. para luego con estas denotaciones relacionarlos mediante los conectivos lógicos. pasaré al segundo ciclo.

en efecto. mis q r padres estarán contentos y me aumentarán la mensualidad. p ⇒ q c) Si las mañanas fuesen pasajeras como nuestra existencia. G ) Juan hizo las siguientes afirmaciones: a) Yo amo a Luisa b) Si yo amo a Luisa.Si Juan dijo la verdad entonces se cumplen las afirmaciones a y b por tanto Juan ama a Luisa. la cual tambien resulta ser una contradicción.b) p = La solución de una ecuación de cuarto grado implica la transformación de dicha ecuación en dos ecuaciones de segundo grado. q = Es conveniente conocer la solución algebraica de una ecuación se segundo grado. Solución. entonces también amo a Verónica. Dado que Juan dijo la verdad o mintió en ambos casos. pasaré al segundo ciclo. dado que no . podemos mostrar que r los recursos de computo son. si y solo si . entonces de acuerdo a la afirmación a) el no ama a Luisa. por lo que debe cumplirse la afirmación b). determine si en verdad Juan ama a Luisa. p q entonces compraremos una nueva computadora . Supongamos que Juan mintió. s t [(p ⇒ q)∧ r] ⇒ (s ⇒ t) d) Sean: p = n es par q= Entonces: n es impar 2 ~[(p ⇒ q) ⇒ (q ⇒ p)] e) Si el costo de las utilidades crece o se niega la requisición de fondos adicionales. entonces se compararían p q con el correr de los rios en invierno y si las noches fuesen oscuras como la muerte r s t entonces se compararían con los malos tiempos de la vida. u [ ( p ∧ q ) ⇔ r ] ∧ [ ( s ∧ t ) ⇔ u] ch) Si todos los días resuelvo ejercicios de lógica proposicional. por tanto. insuficientes. entonces aprobaré el p cursos de matemática básica y si ocurre esto. s ⇒ ⇔ [(p ∨ ~ q) r] s.

Juan ama a Luisa en tanto p y p ⇒ q. más aún. esto es. entonces la proposición p es falsa. y que responderán preguntas sólo con “si” o “no” . en concesecuencia solamente queda que.Sean p: “ La medicina es científica “ q : “ La medicina es económica” El primer letrero se puede escribir como: p ⇒ ~ q El segundo letrero se puede escribir como: q ⇒ ~ p Mediante una tabla de verdad la equivalencia de lo que dicen los letreros. Un turista llega a una bifurcación en el camino. esto es la proposición p es verdadera. además la respuesta es una mentira. Juan debe haber dicho la verdad. Solución. el letrero de uno de ellos dice: “ La medicina científica no es económica” y del otro : “ La medicina económica no es científica” . H) Cierto país está habitado por personas que siempre dicen la verdad ó que siempre mienten.. parado en la bifurcación.¿ Ambos letreros dicen lo mismo?. en consecuencia q debe ser verdadera. ¿ Qué única pregunta deberá hacerle el turista para determinar que camino seguir?. una de cuyos ramos conduce a la capital y la otra no. pero hay una persona. Supongamos que el señor Z siempre miente.ama a Luisa. Es posible determinar formalmente que en realidad Juan ama a Luisa.Sean p: El señor Z siempre dice la verdad q : El camino a la izquierda conduce a la capital p ⇔ q: La respuesta ante la pregunta del turista. el señor Z. pero que no ama a Luisa cuando ambas sean falsas. sean verdaderas. No hay un letrero que diga que camino seguir. Supongamos que el señor Z siempre dice la verdad. Solución. por lo que el camino a la izquierda conduce a la capital. esto es. p ⇔ q es falsa. p ⇔ q es verdadera. en consecuenciaa de acuerdo a la tabla de verdad del conectivo lógico doble implicación q debe ser verdadera. Sean p = Juan ama a Luisa y q = Juan ama a Verónica Según la tabla de verdad del conectivo lógico implicación. I) En cierta ciudad hay 2 consultorios médicos. p V V F F q V F V F (p ⇒ ~q) ⇔ V F F V V V F V F F V V V V V V (q ⇒ ~p) V F V F F V V V F F V V .. entonces en ambos casos se puede concluir que el camino a la izquierda conduce a la capital sin importar si el señor Z siempre dice la verdad o siempre miente. su respuesta debe ser verdadera.

entonces –3 < -5 c) Si 2 + 2 ≠ 4. r: El tercero estudiaba lógica. b) En forma similar que a) se tiene. por lo que estudiaba logica el segundo estudiante. Solución. K ) Determinar el valor de verdad de los siguientes enunciados.a) El enunciado en mención se puede identificar como la proposición compuesta p ⇒ q y desarrollando su tabla de verdad. J) A la pregunta de cuál de tres estudiantes estudiaba lógica fue obtenida una respuesta correcta: Si la estudiaba el primero . se concluye lo siguiente: p ⇒ q V F F Por lo que este enunciado es falso. a) Si 5 < 3.Como el resultado final de la tabla de verdad es una tautología o sea que las proposiciones (p ⇒ ~ q) y (q ⇒ ~ p) son equivalentes. entonces –3 < -5 b) Si 3 < 5. q: El segundo estudiaba lógica y La respuesta correcta en forma simbólica es de la forma: ( p ⇒ r ) ∧ ~ (q ⇒ r) Como la respuesta es correcta entonces el conectivo logico conjuncion es verdadero.Sean p: El primero estudiaba lógica. L) Hallar la tabla de verdad de cada una de las siguientes proposiciones compuestas: . también lo hacia el tercero. En consecuencia solamente queda que q es verdadero. Asi mismo como ( p ⇒ r ) es verdadero y además r es falso. ¿Quién estudiaba lógica?. pero no era cierto que si la estudiaba el segundo lo hacia asi mismo el tercero. entonces ambos letreros dicen lo mismo. entonces no es verdad que 3 + 3 = 7 si y solo sí 1 + 1= 2. y para que ocurra esto ( p ⇒ r ) y ~ ( q ⇒ r ) deben ser verdaderos. p ⇒ q V F El enunciado es falso. Solución. Ahora como ~ ( q ⇒ r ) es verdadero entonces la implicacion es falsa por lo que q es verdadero y r es falso. entonces necesariamente p debe ser falso. c) Del mismo modo que a y b se tiene : p ⇒ ~ (q ⇔ r) F V F: F V V F Por lo tanto el enunciado es verdadero.

a) ~ { [ ( p ⇔ ~ q ) ⇒ ( p ⇒ ~ q ) ∧ ( q ⇒ ~ p ) ] ∧ p } b) { [ ( p ∧ q ) ⇔ r ] ⇔ [ r ⇔ ( q Solución. (p ⇒ q) ⇒ [ ( q ⇒ r) ⇒ ( p ⇒ r)] Solución.a) p V V F F q ∨ p)]} ~ p)] ∧ p } V V V V F F F F ~ {[ ( p ⇔ ~ q ) ⇒ ( p ⇒ ~ q ) ∧ ( q ⇒ V F F V V V F V F F F V V V V V V F F V V V F V F F V V V F F F V V F V F V F F V F V F V V V V V F V V Contingencia b) p V V V V F F F q r {[ ( p ∧ q ) V V F F F F F ⇔ V F F V F V F r ] ⇔ [ V F V F V F V V V F F F F V r ⇔ ( q v p )]} V F V F V F V V F V F V F F V V V V V V F V V V F F V F F V V V F F V F F F F V F V F V F Contingencia N ) Construir la tabla de verdad de la siguiente proposición compuesta y caracterizarla.a) ~ p ∧ ~ q Solución.- .a) p q V F V V F b) p ⇒ (~ p ~ p ∧ ~ q b) F F F V F V F F F F F V p ∨ q) q c) ~ (~ p ⇔ q) p ⇒ (~p ∨ q) c) p q F F ~ (~ p ⇔ V V F q ) V V V V V V V F V V V V F F F V V V V F F F F V V F F V V F F V V F V F F V F V F F F V V V V F V F M) Construir la tabla de verdad de las siguientes proposiciones compuestas y caracterizarla.

Utilizando las leyes lógicas se tiene ~ { [ (~ p ∧ ~ q ) ∨ ((p∧~p) ∨ (p∧q))] ⇒ ~(p ∨ q ) } ( Ley Distributiva) (Ley del Complemento) ( Ley de Identidad) ( Ley del condicional ) ~ ( p ⇒ q) ⇔ p ∧ ~ q (Ley del Complemento) ( Ley de Morgan) ( Ley Conmutativa) ( Ley de absorción ) ~ { [ (~ p ∧ ~ q ) ∨ ( F ∨ ( p ∧ q ) ) ] ⇒ ~ ( p ~ { [ (~ p ∧ ~ q ) ∨ ( p ∧ q )] ⇒ ~ ( p ∨ q ) } [ (~ p ∧ ~ q ) ∨ ( p ∧ q ) ] ∧ ~ [ ~ ( p ∨ q )] [ (~ p ∧ ~ q ) ∨ ( p ∧ q )] ∧ ( p ∨ q ) [ ~ ( p ∨ q ) ∨ ( p ∧ q )] ∧ ( p ∨ q ) ( p ∨ q ) ∧ [ ~ ( p ∨ q ) ∨ ( p ∧ q )] ( p ∨ q) ∧ ( p ∧ q ) ∨ q )} .Utilizando las leyes lógicas y las equivalencias lógicas adicionales se tiene: [p∧(q (p ∧V) p ∨ ~ q )] ∨ ( ~ p ∧ ~ q )] ( Ley Distributiva) ( Ley del Complemento) ( Ley de Identidad) ∨ (~p∧~q) ∨ (~p ∧ ~q) (p ∨ ~p) ∧ (p V∧(p ∨ ~q) p ∨ ~q) ( Ley Distributiva) ( Ley del Complemento) ( Ley de Identidad) ∨ ~q P) Simplificar la siguiente expresión ~ { [ (~ p ∧ ~ q ) ∨ (p∧(~p ∨ q )) ] ⇒ ~ ( p ∨ q)} Solución.p V V V V F F F F q r ( p ⇒ q ) ⇒ [ ( q ⇒ r ) ⇒ ( p ⇒ r) ] V V F F V V V V V V V V V V V V V F V V V F V V V V V F V V V V V F V F V V V V V V V F F V F F V V V F F V F F La proposición es una tautología O) Simplificar la siguiente expresión: [ ( p ∧ q ) ∨ (p∧~q)] ∨ (~p ∧~q) Solución.

p ∨ q ⇒ r . R) Diseñar los circuitos para: a) p ∨ q b) q ∧ p a) c) ( p ∨ q)∧ ~(p∧q) d) ~ q b) Solución. q es la proposición: “ x = 4 ” y r es x 2 – 6 x + 8 = 0.p q p q c) ~p ~q q RR )Determinar la fórmula para los siguientes circuitos: A B a) C A B A’ C` A b) ~q d) p ` ’ . significa que p ⇒ r ó q ⇒ r. De la misma forma se demuestra que q ⇒ r.[(p ∨ q)∧ p]∧q [ p ∧ ( p ∨ q )] ∧ q p∧q p ∧ (~ p ∨ q) ⇔ p ∧ q ( Ley Asociativa) ( Ley Conmutativa) (Ley de absorción) p ∧ ( p ∨ q) ⇔ p la proposición: Q) Si p es la proposición: “ x = 2 ” . Como la proposición p. entonces x 2 = 4 y .6 x = -12. es x = 2 . se pide demostrar que: p ∨ q ⇒ r. Demostración. Remplazando en r se tiene: x 2 – 6 x + 8 = 0 ⇒ 4 –12 + 8 = 0 0=0 ⇒ O sea que p r. En efecto primeramente se demuestra: p ⇒ r.

x + 3 < 5 b) ∃ x. x 2 + 1 = 2 Solución. indica que x necesariamente debe asumir todos los valores de U y si al remplazar estos valores en la condición del enunciado se verifica la desigualdad. ( Ley del complemento ) ( Ley de identidad ).a) A ∧ ( A ∨ B ) b) ( A ∧ B ) ∨ C ∨ ( A´ ∧ C` ) c) ( A ∨ B ) ∧ ( A´ ∨ B´ ) ch) [ B ∧ ( A ∨ C ) ] ∨ ( A´∧ C´ ) S) Determinar el circuito lógico que representa el siguiente esquema molecular: (~ p ) ⇔ ( p ⇒ ~ q ) Solucion. . ( Ley distributiva). determinar el valor de verdad de: a) ∀ x.c) C A ch) A B B A’ B’ A C´ Solución. 2.~ p ⇔ (~ p ∨ ~ q ) ~ p ⇔ ~ (p∧ q) { ~ p ∧ [ ~ ( p ∧ q )] } ∨ { ~ (~ p ) ∧ [ ~ ( ~ ( p ∧ q) ] } ~ p ∧ [ ~ ( p ∧ q ) ] ∨ [ ( p ∧ ( p ∧ q) ] ~ p ∧ (~ p ∨ ~ q ) ∨ [ ( p ∧ p) ∧ q ] ~ p ∨ ( p∧q) ( ~ p ∨ p) ∧ (~ p ∨ q ) V ∧ (~ p ∨ q ) ~ p∨ q ( Ley Condicional) ( Ley de Morgan) ( Ley Bicondicional) ( Ley del Complemento) (Ley de Morgan y Asociativa) ( Ley de absorción ). Luego el circuito es de la forma: ~p q T) Sea U = { 1. 3 } el conjunto de referencia. entonces el enunciado será verdadero en caso contrario será falso.a) Aquí el cuantificador universal ∀x. en efecto: .

d) Verdadero dado que para todo número real la desigualdad x – 3 < x. V) Si el conjunto de referencia U = IR. determinar el valor de verdad de los siguientes enunciados: a) ∀ x. entonces se dirá que dicho enunciado es falso. e) La ecuación x 2 – 2x + 5 = 0.a) Falso.Para x = 1. no es cierto. para uno de estos valores para decir que dicho enunciado sea verdadero y si no se cumple para todos los elementos de U.En primera instancia en éste ejercicio aparecen en forma combinada dos cuantificadores. Por lo tanto el enunciado es falso. por lo tanto el enunciado es verdadero. entonces 25 siguientes enunciados. dado que si x = 5. esto implica que tanto x como y. por tanto no existe ningún número real que satisfaga dicha ecuación. . ∃ y ∀ . x – 3 < x e) ∃ x. f) Verdadero por excelencia. los cuales son números complejos. van ha asumir los valores del conjunto de referencia U. ∃ y . x + 2y = 10 3 + 17 3 − 17 . y y 4 < 5. entonces 1 2 + 1 = 2 ⇒ 2 = 2. En efecto: Supongamos que x = 1. entonces éste enunciado es falso. siendo el conjunto de d) ∀ x. indistintamente. que son Solución. 2x + 3x = 5x ≠ 5. ∃ y . 1 – 2i . x 2 + y 2 = 25 c) ∃ x. 1+3<5 x = 2. 2x = x c) ∃ x. x 2 – 2x + 5 = 0 f) ∀ x. se cumple. b) Aquí el cuantificador existencial ∃ x. está indicando que x puede asumir cualquier valor de U y basta que se cumpla la condición x 2 + 1 = 2. tienen por soluciones a 1 + 2i . es cierto 5 < 5. ∃ y . 2 2 . c) La ecuación x 2 + 3x – 2 = 0 tiene por solución a los números reales. 2 + 3 < 5. x 2 = x b) ∃ x. b) Verdadero dado que x puede asumir el valor cero. x 2 + y 2 ≤ 25 b) ∃ x. U) Determinar el valor de verdad de los referencia los números reales: U = IR a) ∀ x. x 2 + 3x – 2 = 0 Solución. es cierto Esto es suficiente para afirmar que el enunciado b) es verdadero.

c) Verdadero. No es cierto que si Luis lee la Crónica entonces no lee el diario ni el Comercio. con proposiciones escriba usted.Sean p : “ Dalia habla Francés ” q : “ Dalia habla portugués ” estas Escribir mediante un enunciado verbal sencilla los siguientes enunciados simbólicos: a) p ∨ q b) ( p ∨ ~q) ∨ p c) ( ~ p ⇒ q ) ∧ ( q ⇒ p) d) (p ⇔ ~ q) ∨ ( q ⇔ ~ p) e) ~ ( p ⇔ q ) ∧ ~ (q ⇔ p) g) ~ [~ (p ∧ q ⇒ ~ p ∧ ~ q ) ] f) ~ ( ~ p ∧ ~ q) ⇒ q . Luis lee la Crónica.a) Es falso. Doris ni es Ingeniera ni es feliz c).Sean las proposiciones p: “ Doris es Ingeniera ” y q: “ Doris es Feliz ”.. si solo si.. lee el Diario pero siempre en cuanto no lea el Comercio ni la República. d). b) Verdadero. Luis lee la Crónica o el Diario pero no el comercio b). c) Vuelan mariposas en el atardecer de la selva.. que no son proposiciones y que son ambiguedades y establecer(si es posible) en el caso de ser proposición su veracidad o falsedad. para x = 5 . a) El gran amauta José Carlos Mariátegui falleció el 16 de Abril de 1930. y = 0. e) Para los conjuntos arbitrarios A y B es cierta la siguiente igualdad: A ∪ B = A ∪ B . No es cierto que Luis lee el Comercio ni la Crónica ó el diario pero no la crónica. Si Luis lee la Crónica. entonces no lee el Diario ni el Comercio c).Entre los siguientes enunciados separar aquellas que son proposiciones. d) El número 3 no es divisor de 174. Doris es Bióloga pero feliz b). Doris es Ingeniera pero es infeliz d). CH). 1. b) Una campeona mundial de boxeo es la peruana Kina Malpartida. f) 2CO2 + O = CO3. i) Sonaron campanas fúnebres en el atardecer de tu fallecimiento.. Doris es Lingüista o si no ella es tanto Ingeniera como infeliz C). escriba usted cada uno de los siguientes enunciados verbales en forma simbólica: a). y = 3. en forma simbólica los siguientes enunciados verbales: a). entonces 125 ≤ 25 (imposible). dado que se cumple para x = 4. dado que si x = 10.10 EJERCICIOS PROPUESTOS A ).Sean p: ” Luis lee la Crónica” y q : ” Luis lee el Diario” y r: “Luis lee el comercio”. pero sí lee la República y el Extra. e). h) Hay vida extra terrestre en el planeta marte. B). y = 5. g) π ∈ IR .

el primero también. ¿Cómo se distribuyeron los puestos afirmaciones era verdadera?. H). aunque algunos de los pretendientes tienen dos especialidades. pero el tercero no. ¿Quién y en calidad de qué ha de incluirse en la expedición si F no puede ir sin B.Yuri segundo.. el segundo también. C y D.En cierta ciudad hay 2 consultorios matemáticos el letrero de uno de ellos dice: “ La única forma de aprender matemática es mediante la práctica constante” y del otro : “ Sin la práctica constante es imposible aprender matemática” . .¿ Ambos letreros dicen lo mismo?.Para una expedición polar de ocho pretendientes A. Cuando le preguntaron acerca de la distribución de los puestos dieron las tres siguientes respuestas: . lo dio el primero. Las del sinóptico F y G. hay que elegir seis Especialistas: biólogo. Román. C. las del radista. Yuri. hidrólogo. C no puede ir simultáneamente con G.Construir la tabla de verdad de las siguientes proposiciones compuestas y caracterizarlas: a) ( p ⇒ q ) ⇔ (q ⇒ p ) c) (~ p ⇒ ~ q ) ⇔ ( q ⇒ p) b) ( p ∧ q ) ⇒ ~ ( q ∧ p ) ∧ q d)(p ⇒ q) ⇔ (q ⇒ r) ⇒ p e) [ p ⇒ ( q ∧ ~ r ) ] ⇔ [ ( p ⇒ q ) ⇒ ( p f) ( p ⇔ q ) ⇔ ( p ⇒ q ) ∧ ( q ⇒ p ) h) [ ( p ∨ ~r)] g) ~{ [ p ⇒ ( q ∧ r ) ] ∧ [ q ⇒ ~ ( p ∧ r ) ] } ∨ q) ⇒ ~r] ∧[(~p ∨ r) ⇔ q] i) ) ~{ [ p ⇔ ~ q ) ] ⇒ ( p ⇒ ~ q ) ∧ ( q ⇒ ~ p ) ]∧ p ) }.Víctor. Román segundo.. Las funciones del biólogo pueden ser realizadas por E y G. si en cada una de las respuestas solo una de las .Demuestre que p ∧ ( p ∨ q ) ≡ p. C y H. j) { [ ( p ∧ q ) ⇔ r ] ⇔ [ ( r ⇔ (q ∨ p)]} k) ( p ⇒ q ) ⇒ [( q ⇒ r ) ⇒ ( p ⇒ r )]. b) Si dio el segundo. B y F. E).. el tercero también o bien el primero no lo dio..Determinen cual de los cuatro estudiantes dio el examen si se sabe que: a) Si dio el primero. y A no puede ir junto con B?. D sin H y sin C. D. Víctor tercero. en la expedición cada uno puede realizar solo una función. F. radista. d) si el cuarto lo dio. sinóptico. F). E. B. mecánico y medico. G).. c) Si no lo dio el cuarto.D). construyendo la tabla de verdad apropiada. Víctor cuarto. las del mecánico. las del médico.. G y H . A y D. las del hidrólogo.Sergio primero. .. I).Sergio segundo. Sergio ocuparon en la olimpiada de matemática los cuatro primeros puestos.

. Construyendo su correspondiente tabla de verdad.3 b) Si 8 < 6. M). e) No es verdad que si 3 + 5 = 2 y 4 + 2 ≠ 3. ∨ [ s ∧ ( p’ ∨ q ) ]...Demuestre que (~ p ∨ q ) ≡ p. entonces 4 + 6 = 12 y 2 + 7 = 9 N).Determinar el valor de verdad de los siguientes enunciados: a) Si 2 < 3. Construyendo su tabla de verdad apropiada L)..Demuestre que (~ q ∨ p ) ≡ ( q ⇒ ~ p ). entonces 4 + 6 = 12 y 3 + 9 = 12. Construyendo la tabla de verdad apropiada.Verificar que todas las leyes lógicas..Representar simbólicamente los siguientes circuitos: q a) p ~p p c) ~p ~q r r q e) p r q r ~q ~q ~p q d) q ~p b) ~q q p q q ~p ~q .Demuestre que ~ ( p ∨ q) ∨ ( ~ p ∧ q ) ≡ ~ p. entonces 2 + 3 = 1 Si y solo Si 4 + 1= 2 y 3 + 2 = 1 f) No es verdad que 2 + 3 = 5 y 6 + 4 = 10 si solo si 3 + 5 = 1. a) ( p ∨ q) ∧ (r ∨ ∨ s) ( p ∧ q c ∧ r )] b) [ ( p ∧ q ) ∧ r ] ∨ ( p ∧ qc ) ∨ pc c) [( p ∧ q ∧ r c ) d) [( p e) [ ( p ∨ (pc ∧ q ∧ r) ∨ ∨ q) ∧ (pc q’ ) ∧ r ] ∨ q c )] ∨ [( p ∧ q ) ∨ ( p c ∧ q c )]... entonces – 8 > . entonces . O). K).2 > .Representar mediante diagramas los siguientes circuitos eléctricos.J).6 c) No es verdad que 2 + 3 = 5 ó 2 + 3 ≠ 5 d) Si 4 + 1= 3 y 3 + 1 = 5. dadas en clases teóricas son tautologías. Ñ).

∃ y / x 2+ y -5 > 0 i) ∀x / x 4 + 1 = 0 j) ∀x.. teniendo en cuenta que el conjunto de referencia es el de los números reales: a) ∀x. ∃y.∀y / x 2 – y 2 > 10 h) ∃x. ∃z / x + y + z >1 .. ∀z / x + y + z < 0 l) ∃x. ∀y / x 2.. Q). k) ∀x.El comité consta de tres miembros. ∃x / x 2 + y > 1 f) ∃x.P). el bombillo se enciende solo si la proposición reúne la mayoría de votos.12y < 10 g) ∀x.∀y. cada miembro del comité vota oprimiendo un botón. x 3 + x 2. ∃y / x+ y >3 3 ∨ q) p . 8x 2 .9x + 6 = 3 c) ∃x. construye el circuito eléctrico que muestre los resultados de una votación. ( x 2 + 6x – 1 ) 2 = 4 e) ∀x. 2 x = x b) ∀x.Determinar el valor de verdad de los siguientes enunciados que contienen cuantificadores. ~p q q ~q RR).Determinar los esquemas equivalentes más simples a las proposiciones siguientes: a) ~ [( p ∧ q ) ⇒ ~ p ] b) { [ (~ q ) ⇒ (~ p ) ] ⇒ [ ( ~ p) ⇒ ( ~ q) ] } ∨ ~ ( p c) [ p ∧ ( ~ r ) ] ∨ [ ( ~ q ) ⇒ ~ ( p ∧ r ) ] d) ~{ ~ [ ~ ( p ∧ q ) ∨ ~ q ] ⇒ [ ~ ( p ∨ ~ q ) ] } R) Simplificar el siguiente circuito eléctrico: p ~p .x = 0 d) ∃x.

∀x / x+z − y < 10 3 1 1 1 + + = 2x x y z S).5 = x ) d) (∀ x / x ≠ x ) ⇒ ( ∃ x / x 2 + 3 = 2 ) e) [ ( ∃ x / x + 3 > 2x ) ⇒ ( ∀ x / x + 3 > 1) ∨ ( ∃ x / x + 5 > 10 ) ].m) ∃x .Hallar el equivalente simbólico lógico y determinar su valor de verdad de los siguientes enunciados matemáticos. a) ∃ x / ( x + 7 > 1 ∨ ∨ x–5< 3) b) ∀ x / ( x + 3 > 1 ∧ x + 6 < 1 ) c) ( ∃ x / x + 10 > 1 ) ( ∀ x / x + 0.∀y.∀y. ∀z / n) ∀z. El conjunto de referencia es el conjunto de los números reales. ..