Sei sulla pagina 1di 31

CAPTULO I

I. LGICA PROPOSICIONAL
1.1 RESEA HISTRICA
Una de las actividades ms 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 lgica nace como disciplina en Grecia, fue el filsofo Aristteles (Siglo IV a.c.), quien escribi un tratado sobre lgica, en la que expona sistemticamente la teora de la inferencia (relacin entre la verdad de dos proposiciones) en su gran libro llamado Organn, el mrito de Aristteles aparte de reunir todos los otros trabajos de otros filsofos como Parmnedes, Jenfanes y Platn 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 proposicin, por ejemplo de las proposiciones verdaderas Todos los hombre son mortales, Manuel es un hombre se puede derivar otra tercera proposicin de que Manuel es mortal. Despus de Aristteles, los filsofos megricos entre los que deben mencionarse a Crisipo, Filn y Diodoros Kronos, hicieron nuevos descubrimientos pertenecientes a los que hoy se llama lgica coligativa que debido al prestigio de Aristteles no alcanz difundirse y pasaron completamente desapercibidos. Durante la Edad Media, algunos filsofos medioevales como Petrus Hispanicus, Juan Buridn, Alberto de Sajonia y Pedro Abelardo redescubrieron los tipos de inferencia coligativa que haban descubierto los megricos; pero estos, avanzaron ms de tal manea que sus aportes aun todava se estudian en la lgica actual; sin embargo, tuvieron dificultades al no encontrar un lenguaje adecuado(smbolos), 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 lgica cay en receso, destacando tan solamente uno de los filsofos ms geniales de la historia Guillermo Godofredo Leibniz quien redescubri todo lo que haban descubierto los megricos y avanz ms al darse cuenta de la imposibilidad de progresar en el estudio de las inferencias sin disponer de un lenguaje especial parecido al de la matemtica. Despus de la muerte de Leibniz, los filsofos ingleses Georges Boole y Augustus de Morgan (18501860), volvieron a descubrir todo lo que haba descubierto Leibniz y avanzaron un poco ms al deducir que la razn humana es siempre la misma a travs de la historia fundamentando tal afirmacin con la comparacin de los descubrimientos de los megricos, los medioevales y el mismo Leibniz; tanto Boole como Morgan adems 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 dcada del presente siglo era tal la cantidad de tipos de inferencia que se haban descubierto, que era necesario una sistematizacin. Esta difcil sistematizacin fue realizada por los filsofos Bertrand Russell y Alfredo Whitehead(19101913) y fue publicada en la obra Principia Matemtica, sin embargo fue el matemtico lgico 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 deduccin con exactitud era necesario crear un mtodo especial que en la actualidad se denomina metaciencia o metalingustica.

A pesar de estas dificultades, la moderna lgica formal logra aclarar de manera casi completa el concepto de deduccin y ofrece mtodos que permiten analizar, con exactitud y una amplitud, las inferencias que se realizan en la prctica de la matemtica, de la ciencia en general, de la filosofa y de la vida cotidiana. La lgica, en particular la Lgica Matemtica o Lgica Simblica tiene mltiples aplicaciones; estas son: En electrnica: los circuitos elctricos, en estadstica: La formalizacin de modelos, en Informtica: Las operaciones que realiza el computador fundamento lgico matemtico, en la medicina ( Neurofisiologa): modelacin de redes neuronales y en lingstica: la lingstica estructural y semitica entre otros.

1.2 DEFINICIONES BSICAS

ETIMOLOGA.- El trmino lgica proviene de la palabra griega que significa razn; se considera al filsofo griego ARISTTELES; como el creador y padre de la lgica. DEFINICIN.- La lgica es la ciencia que estudia los actos del pensar-concepto, juicio, razonamiento, demostracin-desde el punto de vista de su estructura, haciendo abstraccin del contenido concreto de los pensamientos y tomando slo el procedimiento general de conexin entre las partes del contenido dado. En este contexto la lgica como ciencia que estudia el pensamiento, con el fin de establecer la verdad, llega a esta utilizando el pensamiento. LGICA 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 proposicin que concuerda con la realidad objetiva, una proposicin verdadera es la expresin de un juicio verdadero. La realidad objetiva no es verdadera ni falsa. Sino que simplemente existe. ENUNCIADO.- Es una oracin (*) o secuencia de oraciones, en trminos matemticos palabras con lo que se enuncia un teorema que se va ha demostrar; el corolario como una consecuencia de un teorema, la expresin analtica de los problemas a resolverse; etc.

1.3 PROPOSICIN
Es un enunciado en un determinado lenguaje, el mismo que es examinado en relacin con las estimaciones de su veracidad (verdadera o falsa) o de su modalidad (probable, posible, imposible, neutra, etc.). Para el propsito de nuestro estudio, una proposicin es un enunciado constituido por un conjunto de palabras o trminos matemticos, que representan un sentido completo, sin ambigedades y que pueden ser falsas o verdaderas pero no ambas.
(*) Oracin es un conjunto de palabras que expresan un sentido completo.

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

B; entonces A B = A. B; entonces A B = A.

h) 2n = n 2, para algn n IN. i) Si A

j) 2n = n 2, para algn n IN. k) Si las maanas son pasajeras, entonces nuestra existencia tambin lo es. l) Si estudio diariamente Matemtica Bsica, entonces aprobar el curso; lo cual traer una satisfaccin a mis familiares. ll) Para toda matriz A Mmn se cumple que A = AT. No son proposiciones.a) Ir directamente al teatro. b) Dios mo aydame !. c) Por qu es importante el curso de Matemtica Bsica ?. ch) Qu hora es ?. d) Por favor, enve su informe a la brevedad posible. e) Cundo se resolver algebraicamente una ecuacin de quinto grado ?. f) x y = y x La razn del porqu f ) no es una proposicin 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 nmeros reales

entonces x - y = y - x es una proposicin falsa y si x y y asumen algunos valores reales entonces x - y = y x, es una proposicin verdadera. Por consiguiente f ) es una ambigedad. Son ambigedades.a) Se remunera demasiado a los maestros. b) Los mdicos son personas acaudaladas. c) Las matemticas son divertidas. d) Los rboles son ms importantes que las ecuaciones matemticas. e) Hizo fro en Tingo Mara en el mes de Mayo de 1952.

NOTACIN
Para el estudio de las proposiciones y sus relaciones en forma ms sencilla se hace necesario su denotacin o representacin; en tal sentido, a cada una de las proposiciones que constan de un solo enunciado se les denota con las letras del alfabeto espaol: p, q, r, s, t, .....; etc. De nuestros ejemplos, la proposicin Julio Csar fue un General Romano, queda denotado (representado) por la letra p; es decir: p: Julio Csar fue un General Romano. Y las dems proposiciones de los ejemplos presentados y que constan de un solo enunciado, quedan denotadas, por cualesquiera de las letras sealadas para su notacin; sin embargo, al asumir la notacin p, esta puede representar a cualesquiera de las proposiciones de un solo enunciado. Teniendo en cuenta la definicin de una proposicin en la que esta puede ser verdadera o falsa, es posible establecer el valor de verdad de una proposicin, el mismo que se esquematiza mediante la siguiente tabla: p V F Esta tabla recibe el nombre de tabla de verdad de una proposicin.

1.4 CLASES DE PROPOSICIONES


Hay dos clases de proposiciones: Las que estn constituidas por un solo enunciado se denominan simples o atmicas y las que estn formadas por varios enunciados se llaman compuestas o moleculares. Ejemplos.-

a) La recta A es paralela a la recta B; es una proposicin simple. b) No se otorgarn aumentos a los docentes universitarios en caso de enfermedad o desempleo; es una proposicin compuesta. c) A por B es igual a cero, si y solo si, A es igual a cero o bien B es igual a cero; es una proposicin compuesta. Las proposiciones compuestas son tambin combinaciones de proposiciones simples, las mismas que se obtienen relacionndolos proposiciones simples mediante la utilizacin de los conectivos lgicos, a los cuales se estudian a continuacin.

1.5 CONECTIVOS LGICOS


Los principales conectivos lgicos que permiten construir proposiciones compuestas son los siguientes: CONJUNCIN.- Es aquel conectivo lgico identificado mediante la conjuncin y que permite combinar dos proposiciones simples a fin de obtener una proposicin compuesta. Simblicamente se denota la conjuncin de los enunciados p y q mediante: p q.

Una proposicin compuesta obtenida con la utilizacin del conectivo lgico conjuncin enuncia dos hechos que son descritos respectivamente por sus dos proposiciones componentes Ejemplos.- Si p = Est lloviendo y q = Hace fro

Entonces p q - Si

Est lloviendo y hace fro.


y q = Marcos es Abogado

p = Alfredo es Matemtico pq

Entonces,

Alfredo es Matemtico y Marcos Abogado.

El valor de verdad de la conjuncin pq, se establece con la utilizacin de la siguiente regla: REGLA N 1.- Si p es verdadero y q es verdadero entonces p q es verdadero; en los dems casos, p q es falso. 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

DISYUNCIN.- Es aquel conectivo lgico que permite combinar proposiciones simples mediante la disyuncin o con el fin de obtener proposiciones compuestas. Simblicamente se
denota la disyuncin de los enunciados p y q mediante: p

Ejemplo.Si p = Jos estudia Matemtica Bsica en la Universidad y q = Jos estudia lenguaje en la Universidad . entonces p q Jos estudia Matemtica Bsica o lenguaje en la Universidad. La Disyuncin se clasifica en: Disyuncin Inclusiva.- Cuando se combinan las proposiciones p y q con la palabra o incluyente o dbil; es decir, cuando de alguna manera se cumplen ambas alternativas; se denota mediante: p q. Ejemplo.Sean p = El nmero 10 es un nmero par q = El nmero 10 es divisible por 2 Entonces p q y

El nmero 10 es par o divisible por 2.

Una proposicin disyuntiva inclusiva enuncia una alternativa de hechos tal que el cumplimiento de uno de ellos no excluye el cumplimiento del otro. El valor de verdad de la disyuncin inclusiva se obtiene con la utilizacin de la siguiente regla: REGLA N 2 : La disyuncin inclusiva es verdadera si al menos una de las proposiciones componentes es verdadera en los dems casos es falsa. Mediante Tabla de Verdad: p V V F F q V F V F p

V V V F

Disyuncin Exclusiva.- Cuando se combinan las proposiciones p y q; mediante la palabra o excluyente o fuerte, esto es cuando se cumple una de las alternativas de la proposicin compuesta. Se denota mediante: p q. Ejemplo.Sean p = Csar Vallejo fue Poeta. y q = Csar Vallejo fue Ingeniero Entonces p q

Csar Vallejo fue poeta o ingeniero

La proposicin disyuntiva exclusiva enuncia una alternativa de hechos, tal que el cumplimiento de uno de ellos excluye el cumplimiento del otro. El valor de verdad de la disyuncin exclusiva se obtiene utilizando la siguiente regla: REGLA N 3.- La disyuncin 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). Su tabla de verdad es: p V V F F q V F V F p F V V F q

NEGACIN.- Dado un enunciado p , se puede formar otro enunciado, que se llama negacin de p; escribiendo Es falso que , No es cierto que.. , No. , antes de p. O tambin cuando es posible insertar en la proposicin p, la palabra no ; simblicamente se denota la negacin de p por: ~ p Ejemplo.Si p = Jauja fue la primera capital del Per. Entonces ~ p = Jauja no fue la primera capital del Per. El valor de verdad de este conectivo lgico negacin, se determina con la utilizacin de la siguiente regla: REGLA N 4.- Si p es verdadero entonces p es falso; si p es falso entonces p es verdadero. Su tabla de verdad asume la forma: p V F ~ p

F V V F

CONDICIONAL o IMPLICACIN.- Muchos enunciados especialmente en matemtica son de la forma: Si p, entonces q ; tales enunciados se denominan condicionales se les denota por: p q Ejemplo.Si 8 es divisible por 2, entonces 8 es nmero par. Al condicional p q , se le puede tambin leer como: -) p implica q -) q solamente si p -) p es suficiente para q -) q es necesario para p

El conectivo lgico Si entonces.. ( ) significa que se trata de un enunciado de dos hechos, pero no conjuntos sino dependientes. El primer enunciado, el antecedente describe un hecho de cuyo cumplimiento depende que se cumpla un segundo hecho descrito por el segundo enunciado, el consecuente. El valor de verdad del enunciado condicional p q , satisface la siguiente regla: REGLA N 5.- El condicional p q es falso a menos que p sea verdadero y q sea falso; en los dems casos es verdadero. La siguiente tabla de verdad expresa lo manifestado en la regla anterior. p V V F F q V F V F p q V F V V

BICONDICIONAL O DOBLE IMPLICACIN.-Otros enunciados de suma importancia en la matemtica son de la forma: p si y solamente si q , p equivalente a q ; tales enunciados se denominan bicondicionales o equivalentes y se les denota mediante: p q Ejemplo.Un nmero es divisible por 2, si y solo s, es par. Una proposicin bicondicional enuncia el cumplimiento conjunto o el incumplimiento conjunto de dos hechos. El valor de siguiente regla: verdad del enunciado bicondicional se consigue con la utilizacin de la

REGLA N 6.- Si p y q tienen el mismo valor , entonces p q es verdadero, en los dems casos p q , es falso. Dicha regla se puede esquematizar mediante la siguiente tabla. p V V F F q V F V F p V F F V q

1.6 TABLA DE VERDAD DE PROPOSICIONES COMPUESTAS


Como ya se mencion anteriormente, las proposiciones compuestas en su forma simblica, son aquellas en las que se pueden encontrar varias proposiciones simples entrelazadas mediante los conectivos lgicos y los de signos de agrupacin. Ejemplos:

p ( q ~ r ), y

~(p

q) ~p

~q,

a.b = 0

a=0

b=0

[~ ( 3 > 2 ) ~ ( 2 > 3 ) ] ( 2 = 3 ) Interesa desarrollar la tabla de verdad de estas proposiciones compuestas; en efecto, para este desarrollo hay que utilizar el valor de verdad de cada uno de los conectivos lgicos de acuerdo a los requerimientos de los ejercicios a resolver, teniendo en cuenta para esto las jerarquas de desarrollo de los parntesis, corchetes y llaves, en forma similar al desarrollo de los signos de agrupacin manipulados en el lgebra elemental y la jerarqua de los conectivos lgicos. A continuacin se presenta mediante un ejemplo, el desarrollo del valor de verdad de una proposicin compuesta. Ejemplo.- Hallar la tabla de verdad de la siguiente proposicin. [p Solucin.-

( q ~ r) ]

[(~p

r) ~q]

En este ejemplo hay que desarrollar inicialmente las negaciones de r, p y q; seguidamente la implicacin o la disyuncin de los parntesis; luego la disyuncin y la doble implicacin de los corchetes y finalmente la conjuncin. 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.- Para

desarrollar y caracterizar la tabla de verdad de las proposiciones compuestas hay que tener en cuenta las siguientes observaciones: a) El nmero de combinaciones del desarrollo del lado izquierdo inferior de la tabla est dado por 2n combinaciones; donde n es el nmero total de proposiciones diferentes en la proposicin compuesta cuya tabla de verdad se desea hallar. N c = 2n , n nmero de proposiciones diferentes

Para facilitar la escritura de estas combinaciones si se tienen dos proposiciones diferentes habrn entonces cuatro combinaciones, cuya escritura se consigue iniciando con dos verdaderos y dos falsos, para luego continuar con un verdadero y un falso.

Si se tienen 3 proposiciones diferentes entonces se tendrn 8 combinaciones cuya escritura se inicia con cuatro verdaderos y cuatro falsos, luego con dos verdaderos y dos falsos y finalmente con un verdadero y un falso. Y de existir 4 proposiciones diferentes entonces habr 16 combinaciones los cuales se escriben iniciando con 8 verdaderos y 8 falsos, luego 4 verdaderos y 4 falsos, seguidamente con 2 verdaderos y 2 falsos y finalmente con 1 verdadero y 1 falso. b) La jerarqua de los conectivos lgicos y de los signos de coleccin en orden creciente: ~ , , , y y ,( ),[ ] y { } En la jerarqua de los signos de agrupacin que agrupan conectivos lgicos debe respetarse la jerarqua de los signos de agrupacin y en el caso de existir dos o ms signos de agrupacin iguales el desarrollo de la tabla de verdad es por cualesquiera de ellos. c) Si el resultado final del desarrollo de la tabla de verdad de un determinado ejercicio, contiene veracidad y falsedad combinadamente; entonces dicha proposicin recibe el nombre de inconsistencia o contingencia. d) Si el resultado final al desarrollar la tabla de verdad de una proposicin compuesta, contiene slo veracidad; entonces dicha proposicin es una tautologa. e) Si el resultado final al desarrollar la tabla de verdad de una proposicin compuesta, contiene solamente falsedad, entonces dicha proposicin es una contradiccin. Ejemplos de tautologa, contradiccin 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 Tautologa

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 )]

Contradiccin

(~ p

q ) p q

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 LGICAS


Las siguientes proposiciones compuestas son tautologas las mismas que son utilizadas con mayor frecuencia en las demostraciones de muchas relaciones matemticas(teoremas, corolarios; etc.); por esta razn se denominan leyes lgicas. Dentro de stas, las ms importantes son las siguientes: a) Leyes de Idempotencia: - p p p - p p p b) Leyes Conmutativas : - p q q p - p q q p - p q q p c) Leyes Asociativas : - (p q) r p (q r) - (p q) r p (q r) - ( p q ) r p ( q r ) d) Leyes Distributivas: - p (q r) (p q) (p r) - p (q r) (p q) (p r) - p (q r) (p q) (p r) - 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)

F ; ~F V

V F

g) Leyes de Morgan:

~(p q) ~p ~q ~(p q) ~p ~q ~ (~ p ~ q ) p q ~(~p ~q) p q

h) Leyes del Condicional: - p q ~p q - ~(p q) p ~q - p q ~q ~p i) Leyes de Bicondicional : - (p q)(p q)(q p) - (p q)(pq) ( ~p ~q) - ( p q ) ~ ( ( p ~ q) ( q ~ p )). j) Leyes de Absorcin : - p (p q) p - p (~p q) pq - p (p q) p - p ( ~ p q ) p q. Todas las leyes lgicas presentadas, son tautologas, las que se pueden comprobar construyendo sus correspondientes tablas de verdad. Para el desarrollo de ejercicios, problemas, demostraciones; etc. en algunos casos es necesario tener en cuenta las siguientes leyes lgicas ( tautologas ) : [( p q ) r] [p ( q r )] ( p q ) ~ [( p ~ q ) F ] [( p r ) ( q r )] [( p Ley de exportacin. Ley de reduccin al absurdo.

q ) r]

[( p q ) ( p r )] [ p ( q r )] La veracidad o falsedad de una proposicin tambin es representado por 1 y 0 respectivamente o por el paso de corriente o su interrupcin a travs de un circuito electrnico o en la generalidad considerando los estados bivalentes que asume la existencia de los fenmenos, considerando a uno de estos estados con el nmero 1 y al otro con el nmero 0. Por ejemplo la tabla de verdad de la conjuncin queda representada por. 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

0 0 0 1 0

Circuito en Serie Para la disyuncin 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

Los conectivos lgicos conjuncin y disyuncin son utilizados en electrnica especficamente a los circuitos de corriente elctrica, la conjuncin es identificado como un circuito en serie y la disyuncin como un circuito en paralelo, sus valores de verdad se identifican como el paso o no paso de corriente elctrica.

1.8 CUANTIFICADORES O CUANTORES


Una manera de conseguir que una proposicin se convierta en una idea verdadera o falsa en su generalizacin es anteponiendo a esta proposicin un cuantificador o cuantor. La misin del cuantificador o cuantor es indicar los valores que asume la variable en un determinado conjunto. As la proposicin x es verde se puede convertir en la proposicin verdadera algn x es verde o en la proposicin falsa todo x es verde. Los cuantificadores o cuantores se clasifican en: Tabla No 1.- Lista de cuantificadores. Nombre Cuantificador existencial indefinido Cuantificadores existenciales definidos Cuantificador existencial limitado Cuantificador Universal libre Cuantificador universal limitado
Fuente: elaboracin propia

Smbolo 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

En el texto se utilizan los cuantificadores o cuantores de acuerdo a las caractersticas de las proposiciones compuestas que contienen a estos cuantores y tambin de acuerdo a los conjuntos de referencia de la variable. CUANTIFICADOR O CUANTOR EXISTENCIAL Sea p( x ) una proposicin sobre un conjunto A(conjunto de referencia); entonces las expresiones: ( x A ); p ( x ) o x ; p( x ) o x ; p(x) Son proposiciones que se leen Existe un x en A, tal que se cumple p( x ) o simplemente para algn x; p( x ) . Al smbolo: ( la primera letra girada del vocablo ingls, exists-existe) que se lee: Existe o Para algn o Para al menos un; se le denomina cuantificador existencial. Ejemplo.Determinar el valor de verdad de los siguientes enunciados que contienen al cuantificador existencial, tomando como referencia al conjunto A = { 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 }. a) x A / x + 7 = 9 Solucin.a) Es verdadero dado que x puede asumir el valor de 2 del conjunto de referencia. b) Es verdadero dado que x puede ser cualquier valor de los siguientes nmeros: 1, 2, 4, 5, 6, 7, 8, 9 del conjunto de referencia. c) Falso, dado que si x asume cualquier valor de A, no se cumple la condicin de la desigualdad; es decir el resultado que se obtiene al remplazar los posibles valores que asume la variable x del conjunto de referencia, nunca sern menores o iguales que -10. CUANTFICADOR O CUANTOR UNIVERSAL Sea p( x ) una proposicin sobre un conjunto A, entonces las expresiones:( x A); p( x ) x ; p( x ) x ; p( x ). b) x A / x 1 2 c) x A / x 2 - 10

Son enunciados o proposiciones que se leen Para todo elemento x de A; se cumple o no se cumple p( x ) . Al smbolo, (la primera letra girada del vocablo ingls all-todo) que se lee Para todo, se le denomina cuantificador universal. Ejemplo.Determinar el valor de verdad de los siguientes enunciados, donde el conjunto de variacin de x es el conjunto: A = { 0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 }.

a) x A ; x + 6 = 3 Solucin.-

b) X A ; x + 1 0

c) X A ;

1 <1 x

a) Falso, dado que si x toma cualquier valor del conjunto A, la igualdad no se cumple, en particular si x =1 1 + 6 = 3 7 = 3; lo cual no es cierta. b) Verdadero para todo x perteneciente al conjunto A; Dado que al asumir x cualquier valor delconjunto de referencia A, la condicin x + 1 0 se verifica. c) Falso; dado que si x = 1, la condicin del ejercicio se convierte en 1 < 1, lo cual no es cierto. Es posible tambin conseguir que una proposicin se covierta en verdadera o falsa en su generalizacin, anteponiendo a esta proposicin ms de un cuantificador o cuantor, cuyas misiones son indicar los valores correspondientes que asumen las variables en un determinado conjunto de referencia. Ejemplo.Si U = R (conjunto de referencia); determinar el valor de verdad del los siguientes enunciados: a) x, y / x2 + y2 = 25. b) X , y / x2 y < 10 c) X,y / xy = 2. Solucin.a) De acuerdo a los cuantificadores del enunciado, tanto x como y pueden asumir cualquier valor de los nmeros reales, en particular si asumen x = 3 y y = 4, se cumple la igualdad que condiciona a la proposin; por tanto, el enunciado es verdadero. b) De acuerdo a los cuantificadores del enunciado, x asume todos los valores de los reales y y cualquier valor de los nmeros reales, para cualquier valor que asuma x siempre sera posible encontrar un y R, de tal manera que se cumpla la igualdad que condiciona a la proposin. Por ejmeplo si x = 10 entonces y puede ser 200; es decir: (10) 2 -200 = -100 < 10; por tanto, el enunciado es verdadero. c) Como los cuantificadores o cuantores son los universales entonces tanto x como y estn obligados a sumir todos los valores de los nmeros reales. Si por ejemplo x = 4 y y = 3; entonces (3)(4) = 12; osea que no cumple con la condicin que define a la proposicin; por consiguiente el enunciado es falso.

1.9 EJERCICIOS RESUELTOS


En la generalidad los problemas o ejercicios que se presentan como propuestos en este captulo, se resuelven teniendo en cuenta las metodologas utilizadas en la solucin de cada uno de los siguientes: A) Entre las siguientes expresiones verbales separar aquellas que son proposiciones y establecer (si es posible); cuales son verdadearas o falsas. a) El gran poeta Csar Vallejo naci en el ao de 1825. b) El peruano Adolfo Suarez fue campen mundial olmpico de billar.

c) Vuelen en aeronaves de la NASA! d) 2 Q. e) Para los conjunto A y B se cumple la siguiente inclusin: A A B . f) Hay civilizaciones extratrerrestres. g) 2CO + O2 = 2CO3. h) La adicin de los ngulos interiores de todo tringulo es igual a 180o. Solucin.Para solucionar esta pregunta, basta recoradar la definicin de una proposicin.En este contexto: a, b, d, e y g son proposiciones y de estas a,b,e y g son verdaderas y d es falsa, c no es proposicin.f es una ambiguedad. B) Sean, p: Vive feliz simblicas en forma verbal. a) p q b) ~ p ~ q y q: Est sano ; c) ~ (~ p ) expresar las siguientes proposiciones d) ~ p ~ q .

ch) p

~q

Solucin.La metodologa que se sigue para solucionar el presente ejercicio es combinar con sentido completo los enunciados verbales de cada una de sus representaciones simblicas de acuerdo a como estn combinadas o relacionadas en la proposicion compuesta que debe expresarse en forma verbal. En efecto. a) Vive feliz y est sano b) Si no vive feliz; 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 lgica matemtica q = El es feliz Expresar por enunciados verbales los siguientes enunciados simblicos: a) p q b) ~ p ~ q Solucin.La metodologa que se sigue para solucionar este ejercicio es similar al del ejercicio anterior; es decir, combinar con sentido completo los enunciados verbales de cada una de sus representaciones simblicas de acuerdo a como estn combinadas o relacionadas en la proposicion compuesta que debe expresarse en forma verbal. c) ~ (~ p ) ch) p d) ~ p ~ q e) ~ p ~ q ~ ( p

~q

q)

a) El estudia lgica matemtica y es feliz b) Si l no estudia lgica matemtica, entonces no es feliz c) El estudia lgica matemtica (no es cierto que l no estudia lgica matemtica). ch) El estudia lgica matemtica pero no es feliz. d) El no estudia lgica matemtia si y solo si, no es feliz. e) Si l no estudia lgica matemtica y no es feliz; entonces no es cierto que estudia lgica matemtica o es feliz. D) Sean: p = Dalia habla Ingles y q = Dalia habla Francs Dos proposiciones simples. Escribir cada uno de los siguientes enunciados verbales en forma simblica. a) Dalia habla Ingls Francs. b) Dalia habla Francs y Alemn. c) Dalia habla Ingls pero no Francs. ch) Dalia no habla Francs no habla Ingls. d) No es cierto que Dalia no habla Francs ni Ingls. e) No es cierto que Dalia no habla Ingls. Solucin.La metodologa que se sigue para resolver este ejercicio, es representar a cada una de las proposiciones que conforman los enunciados verbales, con las letras de notacion: p, q, r, s, etc. para luego combinarlas adecuadamente mediante el uso de los conectivos lgicos y los signos de agrupacin; de manera que la representacion simblica denote el sentido del enunciado. a) p

c) p ~ q ch) ~ q

d) ~ (~ q ~ p ) ~p e) ~ (~ p )

b) p ~ q

E) Sean p = Albert lee la Repblica q = Albert lee el Comercio r = Albert lee el Bocn Escribir en forma simblica las siguientes proposiciones ( Enunciados Verbales). a) Albert lee la Repblica y el Comercio pero no el Bocn. b) Albert lee la Repblica y el Comercio, o no lee la Repblica y el Bocn. c) No es cierto que Albert lee la Repblica pero no el Comercio. ch) No es cierto que Albert lee el Comercio o el Bocn pero no la Repblica. d) Si Albert lee la Repblica entonces no lee el Comercio; pero si no lee el Comercio, entonces tampoco lee el Bocn. e) No es cierto que Albert ni lee el Comercio ni el Bocn pero lee la Repblica. f) Si Albert no lee la Repblica ni el Bocn entonces no lee el Comercio y la Prensa. g) Si Albert no lee los tres diarios entonces lee la Crnica. Solucin.La misma metodologa del ejercicio anterior. a) ( p q ) r b) ( p q ) ~ ( p r )

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 repblica, lo cual significa que puede leer cualquier diario, en particular la Prensa. F) Escribir las siguientes proposicones mediante sus equivalencias simblicas. a) El conjunto A es igual al conjunto B si y slo si el conjunto A est contenido en el conjunto B y el conjunto B est contenido en el conjunto A. b) La solucin de una ecuacin de cuarto grado implica la transformacin de dicha ecuacin en dos ecuaciones de segundo grado; motivo por el cual, es conveniente conocer la solucin algebraica de una ecuacin de segundo grado. c) Si las maanas fuesen pasajeras como nuestra existencia; entonces se compararian con el correr de los rios en invierno y si las noches fuesen oscuras como la muerte; entonces se compararian con los malos tiempos de la vida. ch) Si todos los das resuelvo ejercicios de lgica proposicional; entonces aprobar el curso de matemtica bsica y si ocurre esto; pasar al segundo ciclo, por tanto mis padres estarn contentos y me aumentarn la mensualidad. d) Si no es verdad que, siempre que n sea par, siempre que
n sea impar, n es par. 2 n 2

es impar; entonces debe cumplirse que,

e) Si el costo de las utilidades crece o se niega la requisicin de fondos adicionales, entonces compraremos una nueva computadora si, y solo si, podemos mostrar que los recursos de computo son, en efecto, insuficientes. Solucin.Para escribir estos enunciados verbales en forma simblica, se denotan mediante las letras p, q, r, s, etc. ( notacin simblica de las proposiciones), a las proposiciones diferentes que intervienen en el enunciado verbal, para luego con estas denotaciones relacionarlos mediante los conectivos lgicos, de tal manera que simbolice correctamente el enunciado verbal propuesto; es decir, que va ha ser posible escribir a partir de la simbologa escrita su enunciado verbal. 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. r p (qr)

b) p = La solucin de una ecuacin de cuarto grado implica la transformacin de dicha ecuacin en dos ecuaciones de segundo grado. q = Es conveniente conocer la solucin algebraica de una ecuacin se segundo grado. p q c) Si las maanas fuesen pasajeras como nuestra existencia; entonces se compararan p q con el correr de los rios en invierno y si las noches fuesen oscuras como la muerte r s t entonces se compararan con los malos tiempos de la vida. u [ ( p q ) r ] [ ( s t ) u] ch) Si todos los das resuelvo ejercicios de lgica proposicional, entonces aprobar el p cursos de matemtica bsica y si ocurre esto, pasar al segundo ciclo; por tanto, mis q r padres estarn contentos y me aumentarn la mensualidad. 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 requisicin de fondos adicionales, p q entonces compraremos una nueva computadora , si y solo si , podemos mostrar que r los recursos de computo son, en efecto, insuficientes. s [(p ~ q) r] s. G ) Juan hizo las siguientes afirmaciones: a) Yo amo a Luisa b) Si yo amo a Luisa, entonces tambin amo a Vernica. Dado que Juan dijo la verdad o minti en ambos casos, determine si en verdad Juan ama a Luisa. Solucin.Si Juan dijo la verdad entonces se cumplen las afirmaciones a y b por tanto Juan ama a Luisa. Supongamos que Juan minti; entonces de acuerdo a la afirmacin a) el no ama a Luisa, por lo que debe cumplirse la afirmacin b), la cual tambien resulta ser una contradiccin, dado que no

ama a Luisa; en concesecuencia solamente queda que, Juan debe haber dicho la verdad. Es posible determinar formalmente que en realidad Juan ama a Luisa. Sean p = Juan ama a Luisa y q = Juan ama a Vernica

Segn la tabla de verdad del conectivo lgico implicacin, Juan ama a Luisa en tanto p y p q, sean verdaderas, pero que no ama a Luisa cuando ambas sean falsas. H) Cierto pas est habitado por personas que siempre dicen la verdad que siempre mienten, y que respondern preguntas slo con si o no . Un turista llega a una bifurcacin en el camino, una de cuyos ramos conduce a la capital y la otra no. No hay un letrero que diga que camino seguir, pero hay una persona, el seor Z, parado en la bifurcacin. Qu nica pregunta deber hacerle el turista para determinar que camino seguir?. Solucin.- Sean p: El seor Z siempre dice la verdad q : El camino a la izquierda conduce a la capital p q: La respuesta ante la pregunta del turista. Supongamos que el seor Z siempre dice la verdad, esto es la proposicin p es verdadera, ms an, su respuesta debe ser verdadera, esto es, p q es verdadera, en consecuencia q debe ser verdadera, por lo que el camino a la izquierda conduce a la capital. Supongamos que el seor Z siempre miente, entonces la proposicin p es falsa, adems la respuesta es una mentira, esto es, p q es falsa; en consecuenciaa de acuerdo a la tabla de verdad del conectivo lgico doble implicacin q debe ser verdadera, entonces en ambos casos se puede concluir que el camino a la izquierda conduce a la capital sin importar si el seor Z siempre dice la verdad o siempre miente. I) En cierta ciudad hay 2 consultorios mdicos, el letrero de uno de ellos dice: La medicina cientfica no es econmica y del otro : La medicina econmica no es cientfica . Ambos letreros dicen lo mismo?. Solucin.- Sean p: La medicina es cientfica q : La medicina es econmica 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. 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

Como el resultado final de la tabla de verdad es una tautologa o sea que las proposiciones (p ~ q) y (q ~ p) son equivalentes; entonces ambos letreros dicen lo mismo. J) A la pregunta de cul de tres estudiantes estudiaba lgica fue obtenida una respuesta correcta: Si la estudiaba el primero , tambin lo hacia el tercero, pero no era cierto que si la estudiaba el segundo lo hacia asi mismo el tercero. Quin estudiaba lgica?. Solucin.Sean p: El primero estudiaba lgica, r: El tercero estudiaba lgica. q: El segundo estudiaba lgica y

La respuesta correcta en forma simblica es de la forma: ( p r )

~ (q r)

Como la respuesta es correcta entonces el conectivo logico conjuncion es verdadero, y para que ocurra esto ( p r ) y ~ ( q r ) deben ser verdaderos. Ahora como ~ ( q r ) es verdadero entonces la implicacion es falsa por lo que q es verdadero y r es falso. Asi mismo como ( p r ) es verdadero y adems r es falso, entonces necesariamente p debe ser falso. En consecuencia solamente queda que q es verdadero; por lo que estudiaba logica el segundo estudiante. K ) Determinar el valor de verdad de los siguientes enunciados. a) Si 5 < 3, entonces 3 < -5 b) Si 3 < 5, entonces 3 < -5 c) Si 2 + 2 4, entonces no es verdad que 3 + 3 = 7 si y solo s 1 + 1= 2. Solucin.a) El enunciado en mencin se puede identificar como la proposicin compuesta p q y desarrollando su tabla de verdad, se concluye lo siguiente: p q V F F Por lo que este enunciado es falso. b) En forma similar que a) se tiene. p q V F El enunciado es 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.

L) Hallar la tabla de verdad de cada una de las siguientes proposiciones compuestas:

a) ~ p ~ q Solucin.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. a) ~ { [ ( p ~ q ) ( p ~ q ) ( q ~ p ) ] p } b) { [ ( p q ) r ] [ r ( q Solucin.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

Contingencia N ) Construir la tabla de verdad de la siguiente proposicin compuesta y caracterizarla. (p q) [ ( q r) ( p r)] Solucin.-

p V V V V F F F F

( 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 proposicin es una tautologa O) Simplificar la siguiente expresin: [ ( p q )

(p~q)]

(~p ~q)

Solucin.Utilizando las leyes lgicas y las equivalencias lgicas 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 expresin ~ { [ (~ p ~ q )

(p(~p

q )) ] ~ ( p

q)}

Solucin.Utilizando las leyes lgicas se tiene ~ { [ (~ p ~ q )

((p~p)

(pq))] ~(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 absorcin )

~ { [ (~ 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 )}

[(p q) p]q [ p ( p q )] q pq

p (~ p q) p q ( Ley Asociativa) ( Ley Conmutativa) (Ley de absorcin) p ( p q) p la proposicin:

Q) Si p es la proposicin: x = 2 , q es la proposicin: x = 4 y r es x 2 6 x + 8 = 0, se pide demostrar que: p q r. Demostracin.p q r , significa que p r q r. En efecto primeramente se demuestra: p r. Como la proposicin p, es x = 2 , entonces x 2 = 4 y - 6 x = -12. Remplazando en r se tiene: x 2 6 x + 8 = 0 4 12 + 8 = 0 0=0 O sea que p r. De la misma forma se demuestra que q r. R) Disear los circuitos para: a) p

b) q p a)

c) ( p

q) ~(pq)

d) ~ q b)

Solucin.p q p

q c) ~p ~q q RR )Determinar la frmula para los siguientes circuitos: A B a) C A B A C` A b) ~q d) p

c) C

A ch)

A B B A B

C Solucin.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 lgico que representa el siguiente esquema molecular: (~ p ) ( p ~ q ) Solucion.~ 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 ( pq) ( ~ 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 absorcin ). ( Ley distributiva). ( Ley del complemento ) ( Ley de identidad ).

Luego el circuito es de la forma: ~p q T) Sea U = { 1, 2, 3 } el conjunto de referencia, determinar el valor de verdad de: a) x; x + 3 < 5 b) x; x 2 + 1 = 2 Solucin.a) Aqu el cuantificador universal x, indica que x necesariamente debe asumir todos los valores de U y si al remplazar estos valores en la condicin del enunciado se verifica la desigualdad, entonces el enunciado ser verdadero en caso contrario ser falso; en efecto: .

Para

x = 1, 1+3<5 x = 2, 2 + 3 < 5, Por lo tanto el enunciado es falso.

y y

4 < 5; es cierto 5 < 5; no es cierto.

b) Aqu el cuantificador existencial x, est indicando que x puede asumir cualquier valor de U y basta que se cumpla la condicin x 2 + 1 = 2, para uno de estos valores para decir que dicho enunciado sea verdadero y si no se cumple para todos los elementos de U, entonces se dir que dicho enunciado es falso. En efecto: Supongamos que x = 1, entonces 1 2 + 1 = 2 2 = 2; es cierto Esto es suficiente para afirmar que el enunciado b) es verdadero. U) Determinar el valor de verdad de los referencia los nmeros reales: U = IR a) x, x 2 = x b) x; 2x = x c) x; x 2 + 3x 2 = 0 Solucin.a) Falso, dado que si x = 5; entonces 25 siguientes enunciados, siendo el conjunto de

d) x; x 3 < x e) x, x 2 2x + 5 = 0 f) x; 2x + 3x = 5x

5.

b) Verdadero dado que x puede asumir el valor cero. c) La ecuacin x 2 + 3x 2 = 0 tiene por solucin a los nmeros reales, por lo tanto el enunciado es verdadero. d) Verdadero dado que para todo nmero real la desigualdad x 3 < x, se cumple. e) La ecuacin x 2 2x + 5 = 0, tienen por soluciones a 1 + 2i , 1 2i ; los cuales son nmeros complejos, por tanto no existe ningn nmero real que satisfaga dicha ecuacin, entonces ste enunciado es falso. f) Verdadero por excelencia. V) Si el conjunto de referencia U = IR, determinar el valor de verdad de los siguientes enunciados: a) x, y ; x 2 + y 2 25 b) x, y ; x 2 + y 2 = 25 c) x, y ; x + 2y = 10
3 + 17 3 17 , 2 2

; que son

Solucin.En primera instancia en ste ejercicio aparecen en forma combinada dos cuantificadores, y , esto implica que tanto x como y, van ha asumir los valores del conjunto de referencia U, indistintamente.

a) Es falso; dado que si x = 10, y = 5, entonces 125 25 (imposible). b) Verdadero, para x = 5 , y = 0. c) Verdadero, dado que se cumple para x = 4, y = 3.

1.10 EJERCICIOS PROPUESTOS


A ).- Entre los siguientes enunciados separar aquellas que son proposiciones, que no son proposiciones y que son ambiguedades y establecer(si es posible) en el caso de ser proposicin su veracidad o falsedad. a) El gran amauta Jos Carlos Maritegui falleci el 16 de Abril de 1930. b) Una campeona mundial de boxeo es la peruana Kina Malpartida. c) Vuelan mariposas en el atardecer de la selva. d) El nmero 3 no es divisor de 174. e) Para los conjuntos arbitrarios A y B es cierta la siguiente igualdad: A B = A B . f) 2CO2 + O = CO3. g) IR . h) Hay vida extra terrestre en el planeta marte. i) Sonaron campanas fnebres en el atardecer de tu fallecimiento. B).- Sean las proposiciones p: Doris es Ingeniera y q: Doris es Feliz ; con proposiciones escriba usted, en forma simblica los siguientes enunciados verbales: a). Doris es Biloga pero feliz b). Doris ni es Ingeniera ni es feliz c). Doris es Ingeniera pero es infeliz d). Doris es Lingista o si no ella es tanto Ingeniera como infeliz C).- Sean p: Luis lee la Crnica y q : Luis lee el Diario y r: Luis lee el comercio; escriba usted cada uno de los siguientes enunciados verbales en forma simblica: a). Luis lee la Crnica o el Diario pero no el comercio b). Si Luis lee la Crnica; entonces no lee el Diario ni el Comercio c). Luis lee la Crnica; si solo si, lee el Diario pero siempre en cuanto no lea el Comercio ni la Repblica. d). No es cierto que Luis lee el Comercio ni la Crnica el diario pero no la crnica. e). No es cierto que si Luis lee la Crnica entonces no lee el diario ni el Comercio; pero s lee la Repblica y el Extra. CH).- Sean p : Dalia habla Francs q : Dalia habla portugus estas

Escribir mediante un enunciado verbal sencilla los siguientes enunciados simblicos: a) p

b) ( p

~q)

c) ( ~ p q ) ( q p)

d) (p ~ q)

( q ~ p)

e) ~ ( p q ) ~ (q p) g) ~ [~ (p q ~ p ~ q ) ]

f) ~ ( ~ p ~ q) q

D).- 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 ) }. j) { [ ( p q ) r ] [ ( r (q

p)]}

k) ( p q ) [( q r ) ( p r )]. E).- Demuestre que p ( p q ) p; construyendo la tabla de verdad apropiada. F).- Determinen cual de los cuatro estudiantes dio el examen si se sabe que: a) Si dio el primero, el segundo tambin. b) Si dio el segundo, el tercero tambin o bien el primero no lo dio. c) Si no lo dio el cuarto, lo dio el primero, pero el tercero no. d) si el cuarto lo dio, el primero tambin. G).- Para una expedicin polar de ocho pretendientes A, B, C, D, E, F, G y H . hay que elegir seis Especialistas: bilogo, hidrlogo, sinptico, radista, mecnico y medico. Las funciones del bilogo pueden ser realizadas por E y G, las del hidrlogo, B y F. Las del sinptico F y G, las del radista, C y D, las del mecnico, C y H, las del mdico, A y D., aunque algunos de los pretendientes tienen dos especialidades, en la expedicin cada uno puede realizar solo una funcin. Quin y en calidad de qu ha de incluirse en la expedicin si F no puede ir sin B, D sin H y sin C, C no puede ir simultneamente con G, y A no puede ir junto con B?. H).- En cierta ciudad hay 2 consultorios matemticos el letrero de uno de ellos dice: La nica forma de aprender matemtica es mediante la prctica constante y del otro : Sin la prctica constante es imposible aprender matemtica . Ambos letreros dicen lo mismo?. I).- Vctor, Romn, Yuri, Sergio ocuparon en la olimpiada de matemtica los cuatro primeros puestos. Cuando le preguntaron acerca de la distribucin de los puestos dieron las tres siguientes respuestas: - Sergio primero, Romn segundo. - Sergio segundo, Vctor tercero. - Yuri segundo, Vctor cuarto. Cmo se distribuyeron los puestos afirmaciones era verdadera?.

si

en

cada una de las respuestas solo una de las

J).- Demuestre que ~ ( p

q)

( ~ p q ) ~ p; Construyendo la tabla de verdad apropiada.

K).- Demuestre que (~ p q ) p; Construyendo su tabla de verdad apropiada L).- Demuestre que (~ q p ) ( q ~ p ); Construyendo su correspondiente tabla de verdad. M).- Determinar el valor de verdad de los siguientes enunciados: a) Si 2 < 3; entonces - 2 > - 3 b) Si 8 < 6; entonces 8 > - 6 c) No es verdad que 2 + 3 = 5 2 + 3 5 d) Si 4 + 1= 3 y 3 + 1 = 5; entonces 4 + 6 = 12 y 3 + 9 = 12. e) No es verdad que si 3 + 5 = 2 y 4 + 2 3; 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; entonces 4 + 6 = 12 y 2 + 7 = 9 N).- Verificar que todas las leyes lgicas, dadas en clases tericas son tautologas. ).- Representar mediante diagramas los siguientes circuitos elctricos. 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 )].

[ s ( p

q ) ].

O).- Representar simblicamente 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

P).- El comit consta de tres miembros, construye el circuito elctrico que muestre los resultados de una votacin; cada miembro del comit vota oprimiendo un botn; el bombillo se enciende solo si la proposicin rene la mayora de votos. Q).- Determinar los esquemas equivalentes ms 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 elctrico: p ~p . ~p q q ~q RR).- Determinar el valor de verdad de los siguientes enunciados que contienen cuantificadores; teniendo en cuenta que el conjunto de referencia es el de los nmeros reales: a) x; 2 x = x b) x; 8x 2 - 9x + 6 = 3 c) x; x 3 + x 2- x = 0 d) x; ( x 2 + 6x 1 ) 2 = 4 e) x; x / x 2 + y > 1 f) x; y / x 2- 12y < 10 g) x;y / x 2 y 2 > 10 h) x; y / x 2+ y -5 > 0 i) x / x 4 + 1 = 0 j) x, y /
x+ y >3 3

q)

k) x,y, z / x + y + z < 0 l) x, y, z /
x + y + z >1

m) x ,y, z / n) z,y, x /

x+z y < 10 3

1 1 1 + + = 2x x y z

S).- Hallar el equivalente simblico lgico y determinar su valor de verdad de los siguientes enunciados matemticos. El conjunto de referencia es el conjunto de los nmeros reales. a) x / ( x + 7 > 1

x5< 3)

b) x / ( x + 3 > 1 x + 6 < 1 ) c) ( x / x + 10 > 1 ) ( x / x + 0.5 = x )

d) ( x / x x ) ( x / x 2 + 3 = 2 ) e) [ ( x / x + 3 > 2x ) ( x / x + 3 > 1)

( x / x + 5 > 10 ) ].

Potrebbero piacerti anche