UNIVERSIDAD DE LIMA

PROGRAMA DE ESTUDIOS GENERALES Departamento Acadmico de Ciencias y Humanidades FUNDAMENTOS DE MATEMTICA Ciclo Acadmico 2012-1

PRIMERA GUA DE PRCTICA

LGICA MATEMTICA
Proposicin. Valor de verdad. Funcin proposicional. Conectivos lgicos. Proposicin simple y proposicin compuesta. Frmula lgica. Tabla de verdad. Frmulas tautolgicas, frmulas contradictorias y frmulas contingentes. Frmulas lgicamente equivalentes. Equivalencias lgicas usuales. Proposiciones compuestas expresadas en trminos de las equivalencias lgicas. PRIMER GRUPO Dadas las siguientes expresiones, indique cules son proposiciones, cules son funciones proposicionales y cules no corresponde a ninguna de las dos.. a) Anbal Barca juraba por Castor y Plux. b) El 8 de diciembre del 2004, fue un da mircoles? c) El 8 de diciembre del 2004, fue un da mircoles. d) Por finMario Vargas Llosa gan el premio Nobel de Literatura! e) Joseph S. Blatter preside la FIFA desde hace ms de 15 aos y tiene ms tiempo en el cargo que Manuel Burga en la FPF. f) Existe un nmero que no es par ni es impar. g) En las evaluaciones est prohibido cometer plagio. h) i) Publio Cornelio Escipin venci al general cartagins Anbal. j) Para qu nos preocupamos si, segn el almanaque maya, el fin del mundo ser este ao. k) En su cima los Andes sostengan la bandera o pendn bicolor, que a los siglos anuncie el esfuerzo que ser libres, por siempre nos dio.1 l) Si quieres fumar cigarrillos debes salir del campus universitario de la Universidad de Lima porque ha sido declarada zona libre del humo de cigarrillos. m) El alumno desaprobado en una asignatura que es retirada del plan de estudio debe cubrir los crditos correspondientes con la asignatura o asignaturas que le seale el Programa o la Escuela.2 n) El grupo musical Los Wachiturros es de Argentina y su nico xito musical es Trate un paso. o) Si el video Stop Kony no es real entonces sus autores se han burlado de todo el mundo. p) La economa mundial tendr resultados positivos si y solo si el gobierno griego aplica disciplinadamente las medidas dadas por el Banco Mundial.
1 2

1.

Sexta estrofa del Himno Nacional del Per. Art. 29 del Reglamento General de Estudios.

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

q) r) s) t) u) v)

Lionel Messi es el mejor goleador en estos momentos y no es comparable con Cristiano Ronaldo. Para los restaurantes el Da del Ceviche es ms interesante que el Da del Pollo a la 3 Brasa. En un lugar de la Mancha, de cuyo nombre no quiero acordarme, no ha mucho tiempo que viva un hidalgo de los de lanza en astillero, adarga antigua, rocn flaco y galgo corredor.4 No solo las computadoras pueden ser vctimas del ataque de los cibercriminales sino tambin los celulares de ltima generacin.

2.

Indique cules de las expresiones identificadas como proposiciones en el ejercicio 1, son proposiciones simples y cules son proposiciones compuestas.

3.

Las siguientes expresiones son proposiciones. En cada caso indique si es una proposicin simple o una proposicin compuesta. a) Si el promedio de la velocidad a la que avanzan los autos en Lima es 14km/h entonces es menor a la que se alcanza en una bicicleta. b) Segn el RENIEC 5 en el Per hay ms de un milln de personas que se llaman Mara pero existen menos de medio milln que se llaman Rosa. c) J.R.R. Tolkien escribe que los habitantes de La Tierra Media conocan y consuman el tubrculo andino conocido en todo el mundo como papa. d) Un tringulo ABC es un tringulo rectngulo cuando y solo cuando verifica el teorema de Pitgoras. e) El Jirn de la Unin ya no es el centro de Lima. f) Como Aarn mide ms de 1,90 m entonces es considerado el ms alto del saln de clases. g) Para los restaurantes el Da del Ceviche es ms interesante econmicamente que el Da del Pollo a la Brasa. h) El nmero 4 es un nmero natural, entero, racional y real. i) Un juicio sin precedentes contra la industria tabacalera de Canad comenz el 12 de Marzo en la ciudad de Montreal contra tres grandes empresas, que enfrentan una demanda colectiva por unos 27 mil millones de dlares por no advertir a los consumidores sobre los riesgos de fumar. j) El problema de abastecimiento de agua potable en el Per es crtico y si no se toman medidas adecuadas puede agudizarse en los prximos aos. 4. Sean las proposiciones p: La Corte Interamericana de Derecho Humanos tiene su sede en Costa Rica. q: Diego Garca Sayn preside la Corte Interamericana de Derechos Humanos. r: El Per ha perdido varios casos contenciosos. Escriba en lenguaje espaol cada una de las proposiciones compuestas representadas por las siguientes frmulas lgicas:
3 4

El Da del Ceviche se celebra el 28 de Junio y el del Pollo a la Brasa, el tercer domingo de Junio. Primeras palabras de El ingenioso hidalgo Don Quijote de la Mancha 5 Registro Nacional de Identificacin y Estado Civil.

Pgina 2 de 22

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

a) ~p q r) b) ~ ( p q) ~r (~ e) ~ p ~ ( q r) f) (~p q )~r

c) ( pq )~r g) b~ (~p ~q)

d) ~ p (~q r) ~ h) ~ (~ p~ q) r

Sean las proposiciones p: El TLC con Europa beneficia al Per. q: El TLC con Europa entra en vigencia el 15 de Julio del 2012. Escriba una frmula lgica que represente cada una de las siguientes proposiciones compuestas.

5.

a) El TLC con Europa beneficia al Per o, si no entra en vigencia 15 de Julio del 2012 entonces no beneficia al Per. b) El TLC con Europa no beneficia al Per o no entra en vigencia el15 de Julio del 2012. c) Si el TLC con Europa no beneficia al Per entonces no entra en vigencia15 de Julio del 2012 si y solo si beneficia al Per y entra en vigencia el15 de Julio del 2012. d) No es cierto que el TLC con Europa no beneficia al Per y no entra en vigencia 15 de Julio del 2012

6. a)

Obtenga la tabla de verdad que le corresponde a las frmulas lgicas, calificndolas de tautologa, contradiccin (falsedad) o contingencia, segn sea el caso.

7. Indique cules de las siguientes proposiciones son verdaderas y cules son falsas. Justifique brevemente su respuesta. a) Cualquier oracin de un lenguaje natural (espaol, ingls, francs...) es una proposicin. b) En la Matemtica, las ecuaciones y las inecuaciones son funciones proposicionales. c) Algunos conectivos lgicos estn definidos por una nica palabra. d) Una proposicin lgica solamente puede presentarse mediante los lenguajes naturales. e) La letra y siempre representa al conectivo conjuncin. f) El nmero de filas de una tabla de verdad es cualquier nmero par. g) El nmero de filas de una tabla de verdad es una potencia 2 con exponente entero. h) El nmero de filas de una tabla de verdad es una potencia 2 con exponente natural.

8.
lgica. a)

En cada uno de los siguientes ejercicios, determine si se cumple la equivalencia

b) c) d)

9. frmulas:
0 1

Escriba al menos tres frmulas lgicamente equivalentes a cada una de las siguientes b) d)

a) c)

Pgina 3 de 22

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

10.

las proposiciones compuestas representadas por las frmulas lgicas y por se les asignan el valor de verdad falso y verdadero, respectivamente. Entonces determine el valor de verdad que les corresponden a las proposiciones compuestas representadas por las siguientes frmulas: a) ( q ~ p ) ( r s ) b) ( p ~ r ) ( q s ) c) ~ ( ( p s ) ( q ~ r ) ) ( t q) c) ( p q) ( r ~ s ) Nota.- La letra t es una variable proposicional cualquiera.

11.

Si a la proposicin compuesta representada por

( ~ m ( ~ p ~ q ) ) ~ ( m ~ q ) se le asigna el valor verdadero y a las representadas por las frmulas ~ m p y ~ p (r ~ s) , los valores de verdad falso, entonces a)

Determine el valor de verdad que le corresponde a las proposiciones simples representadas por las variables proposicionales: m, p, q, r, s. Halle el valor de verdad que le corresponde a las proposiciones compuestas representadas por las frmulas
i ) ( ~m ( ~ p ~ q ) ) ( m q ) ii ) ( p ( r ~ s )) ( m q )

b)

12.
a) p ~q ~(~m n) ~ ( r r ) ~m ~ q b) n m r p q n (r r) p

En cada una de las siguientes tablas: m m F V V ~(m ~ p) ~r r

~ p q

n q

~ m n

m r

F V

i) Determine los valores que les corresponden a las proposiciones simples representadas por las

variables proposicionales. ii) Escriba en cada recuadro en blanco V F, segn corresponda a verdadero o falso. 13. a) b) Dadas las siguientes proposiciones No es cierto que Juan Luis no apruebe el examen de manejo de vehculos y obtenga su brevete. Aarn juega futbol y estudia, si y solo si conoce el aforismo Mens sana in corpore sano

Pgina 4 de 22

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

c) Alif aprende ingls y francs o, aprende italiano. d) Anagal trabaja en Espaa pero vendr al Per cada ao, o al menos cada dos aos. Se pide que i. Escriba en lenguaje espaol al menos dos oraciones equivalentes lgicamente a cada una de las proposiciones dadas. ii. Escriba en lenguaje espaol la negacin de las proposiciones dadas. Sugerencia: Escriba la frmula lgica que le corresponde a cada proposicin. Luego, halle las equivalencias lgicas o niguelas, segn sea el caso. Traduzca al lenguaje espaol la frmula obtenida.

14.

Sean las frmulas lgicas y . a) Muestre que son lgicamente equivalentes entre s. b) Simbolice cada una de las de las siguientes proposiciones compuestas y luego, usando la equivalencia de la parte a), presente en lenguaje espaol, la equivalencia correspondiente. i. Si Dorian estudia en la Facultad de Psicologa de la U.Lima entonces no ser un psiclogo desocupado. ii. Alif no habla francs o estudia en la Alianza Francesa. iii. Si Aarn no prctica deporte entonces subir de peso. iv. Anagal no tiene brevete para conducir un automvil o no sabe manejarlo.

PRIMERA TAREA 15. Presente un ejemplo de: a) tres proposiciones simples) b) c) d) anteriores. 16. Indique al menos una diferencia y una semejanza entre proposicin y funcin proposicional. Dada la proposicin compuesta Si Felipe estudia solamente antes de las evaluaciones entonces es posible que no las apruebe; pero si estudia metdicamente y asiste a las asesoras, entonces las aprobar. a) Presente en lenguaje espaol, tres proposiciones lgicamente equivalentes a la proposicin dada. b) Escriba en lenguaje espaol, la negacin de la proposicin dada. Responda cada una de las siguientes preguntas, justificando brevemente cada respuesta. Pgina 5 de 22 Una funcin proposicional. Una frmula lgica contradictoria. Una expresin que no sea ninguna de las Una proposicin compuesta (debe tener al menos

17.

18.

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

a) b) c) d) e)

Todas las contradicciones son equivalentes entre s? Abel y Can no son hermanos es una proposicin simple? En qu se diferencia una proposicin de una funcin proposicional? En qu se diferencia una frmula lgica de una proposicin? La proposicin compuesta 2 es par y 4> 3 es una tautologa? f) Las frmula lgicas p q y r s son lgicamente equivalentes? g) La frmula lgica [ ( p ~ p ) ( ~ p p ) ] [ ~ p ( p ~ p ) ] es una contradiccin?

19.

p ( q ~ m ) , ~ m ~ p y ~ ( ~ r p ) representan Las frmula lgicas proposiciones compuestas cuyos valores de verdad son verdadero, verdadero y falso respectivamente. a) Determine los valores de verdad que les corresponden a las proposiciones representadas por m, p, q y r. b) Halle el valor de verdad asociado a la proposicin compuesta representada por la frmula lgica [ m ~ ( ~ q p ) ] ( ~ r q ) La oficina de Recursos Humanos de una empresa utiliza, entre otras herramientas de evaluacin, la frmula lgica ( p q ) ~ r para seleccionar postulantes a un puesto de trabajo, siendo : p: El postulante sabe utilizar Office 2007. q: El postulante sabe ingls. r: El postulante fuma. a) Determine dos frmulas lgicas equivalentes a la dada y en cada caso presntela en lenguaje espaol. b) Escriba la negacin de la frmula dada (no debe quedar el smbolo ~ delante de un parntesis), as como una frmula equivalente a esta negacin, luego presntelas en lenguaje espaol. Sean las frmulas lgicas p q y ~ q ~ p . a) Muestre que las frmulas lgicas son equivalentes. b) Simbolice cada una de las siguientes proposiciones compuestas y luego usando la equivalencia de la parte a), presente en lenguaje espaol la equivalencia correspondiente. i. Si Alif practica deportes entonces no fuma si y solo si, est en el dcimo superior de su facultad. ii. Eva y Ada no saben nadar si y solo si no asisten a la piscina. Para las siguientes tablas:

20.

21.

22.
a)

~ p q

r~ p

qm

mm
F

q~r

~ mr p~r
Pgina 6 de 22

FUNDAMENTOS DE MATEMTICA

~mm

LGICA MATEMTICA

CICLO 2012-1

~ p ~ q m p q ( q s) ~ m ~q

~ m r ~ r ) ( V

q ~ p

p F

~ ( p ~ m )

~ ( r r)

~r ~ r
b)

i)

Determine los valores que les corresponden a sus variables lgicas. ii) Escriba en cada recuadro en blanco V F segn corresponda a verdadero o falso. PRIMER RESUMEN TERICO

1. PROPOSICIN. Se llama proposicin a toda expresin alfabtica y/o numrica en la que se

afirma o niega algo, que est libre de ambigedad y o es verdadera o es falsa. OBSERVACIONES a) Una proposicin se denota mediante letras minsculas del alfabeto espaol. Generalmente se usan las letras del alfabeto espaol medio superior: p, q, r . . . b) Si la expresin no es un enunciado, es decir si no se afirma ni se niega algo, entonces no es una proposicin. Por ejemplo en las rdenes, las preguntas y las exclamaciones no se afirman ni se niegan algo. Podrn calificarse las rdenes de adecuadas o inadecuadas, las preguntas de pertinentes o impertinentes, las exclamaciones de alegra, de dolor...pero nunca de verdaderas o falsas. c) Si la expresin es ambigua tampoco es una proposicin, ya que algunos dirn que es verdadera y otros dirn que es falsa.

2.

FUNCIN PROPOSICIONAL . Una funcin proposicional es una expresin alfabtica y/o numrica que afirma o niega algo y cuyo valor de verdad depende de los valores alfabticos o numricos que pueden tomar las variables contenidas en la expresin. OBSERVACIONES a) Las funciones proposicionales se denotan en forma parecida a las proposiciones: se utilizan letras del alfabeto espaol pero acompaados de parntesis entre los cuales se colocan las variables que contienen las funciones proposicionales. b) Las funciones proposicionales pueden combinarse usando conectivos lgicos para crear nuevas funciones proposicionales. 3. CONECTIVOS LGICOS

Pgina 7 de 22

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

Los conectivos lgicos son palabras del lenguaje espaol que se utilizan para crear nuevas proposiciones a partir de proposiciones dadas. Los conectivos lgicos usuales se presentan en la siguiente tabla: Nombre del conectivo Negacin Conjuncin Disyuncin incluyente Condicional Bicondicional Palabras que la definen No es cierto que . . . ...y... ...o... Si . . . entonces . . . . . . si y slo si . . . Representacin simblica ~... ... ... . . . . . . . . . . . . ......

En los puntos suspensivos de la segunda columna se es escriben las proposiciones y en los de la tercera columna se colocan las variables proposicionales. OBSERVACIONES Los conectivos lgicos tambin tienen otras palabras que las definen. Por ejemplo,

Negacin: ni, nunca, jams . . .

Conjuncin: pero, sin embargo, ms, adems . . . Condicional: por consiguiente, de manera que, luego, es una condicin suficiente . . . Bicondicional: cuando y solo cuando, es una condicin necesaria y suficiente . . .

4. PROPOSICIONES SIMPLES Y COMPUESTAS. Una proposicin es simple si no contiene ningn

conectivo lgico. En cambio, una proposicin es compuesta si contiene al menos un conectivo lgico.

5. FRMULAS LGICAS . Una frmula lgica se denota mediante una letra mayscula del
alfabeto espaol y se definen en forma recurrente mediante las siguientes reglas: i. Una variable proposicional es una frmula lgica. ii. Si A es una frmula lgica entonces ~ A tambin es una frmula lgica. iii. Si A y B son frmulas lgicas entonces A A A B; A B B; B; tambin son frmulas lgicas. iv. Una combinacin de variables proposicionales y de conectivos lgicos es una frmula lgica si y slo si se sigue de un nmero finito de aplicaciones de las reglas anteriores. OBSERVACIN Por la primera regla, la frmula lgica ms simple es la variable proposicional.

6. TABLAS DE VERDAD.Son tablas de doble entrada que se utilizan para asignarle un valor de
verdad a una frmula lgica conforme a una adecuada combinacin de valores de verdad asociadas a las variables proposicionales. Generalmente se identifica la tabla de verdad con los valores de verdad que aparecen en su columna principal. El nmero de filas de una tabla de verdad se obtiene mediante la frmula nmero de variables proposicionales diferentes contenidos en la frmula lgica. Pgina 8 de 22 , siendo el

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

Las tablas de verdad de los conectivos lgicos usuales se presentan a continuacin p V V F F q V F V F ~p F F V V

p q
V F F F

p q
V V V F

p q
V F V V

p q
V F F V

7.

TAUTOLOGIAS, CONTRADICCIONES Y CONTINGENCIAS. Una frmula lgica es una tautologa si su tabla de verdad en la columna principal solamente contiene valores de verdad verdaderos sin importar los valores de verdad asignadas a las variables proposicionales. En cambio, una frmula lgica es una falsedad (o contradiccin) si solamente contiene valores de verdad falsos en su columna principal. Si la frmula lgica no es tautologa ni contradiccin es una contingencia. FRMULAS LGICAMENTE EQUIVALENTES. Dos frmulas lgicas A y B son lgicamente equivalentes si al combinarlas mediante una bicondicional se obtiene una frmula tautolgica. Se denota por , que se lee:la frmula A es lgicamente equivalente con la frmula B. En el caso que no se obtenga una tautologa se escribir , que se lee:la frmula A no es equivalente con la frmula B. En el caso que las frmulas lgicas tengan las mismas variables sern lgicamente equivalentes si tienen las mismas tablas de verdad.

8.

Definicin de argumento: premisas y conclusin. Indicadores de premisas y de conclusin. Simbolizacin de un argumento: como una frmula condicional y mediante un esquema. Determinacin de la validez de un argumento: usando tablas de verdad y por el mtodo indirecto. Implicacin lgica. Implicaciones lgicas notables. Determinacin de la validez de un argumento usando las implicaciones notables.

SEGUNDO GRUPO 23. De los siguientes prrafos, especifique cules son argumentos. En cada caso afirmativo indique cul es la conclusin y cules las premisas.

a)

La lucha por la supervivencia es consecuencia inevitable de la gran rapidez con que todos los seres orgnicos tienden a aumentar. A medida que se producen ms individuos de los que pueden sobrevivir, siempre debe haber la lucha por la supervivencia, sea entre

Pgina 9 de 22

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

individuos de la misma especie o entre individuos de distintas especies o bien en las condiciones fsicas de la vida.6 b) Miguel ngel fue siempre un enigma para sus contemporneos. Su dinmico mundo interno, que se trasluca siempre en su relacin con los dems, inquietaba y confunda, incluso a alguien tan poco impresionable como el Papa Julio II. c) La guerra de 1879 no fue, como piensan muchos, motivada por ambiciones territoriales chilenas, sino ms bien por intereses econmicos ingleses. Estos ltimos no haban logrado hacerse del caudal salitrero peruano, pues los grupos poderosos del Per protegan sus inversiones en este campo. Los acuerdos realizados entre empresas inglesas y el gobierno chileno, por el contrario, estipulaban entregar la consignacin del salitre a los ingleses a cambio de auxilio econmico y blico.

d)

Los primeros esclavos de origen africano llegaron al Per con las expediciones espaolas de la conquista. En la primera dcada del siglo XVI, Espaa autoriz la importacin de esclavos negros y otorg licencias para que los espaoles compitieran con los portugueses en la trata.7 e) Si los caramelos tienen azcar entonces engordan. Como ests a dieta no puedes consumir productos que engorden. Por lo tanto, si estas a dieta no debes consumir caramelos que tengan azcar. f) Cuando un abogado sospecha que su cliente es culpable, es tico que lleve a cabo una defensa muy decidida? S lo es. He aqu la razn de ello: para un abogado ser tico consiste en seguir las reglas del sistema legal. Adems, al acusado no se le podra proporcionar una defensa vigorosa si ningn abogado tico aceptara el caso y lo defendiera en forma decidida.

g)

Es necesario que la tierra y las aguas circundantes tengan la forma de proyectar la sombra de la Tierra, porque en el momento de un eclipse proyecta sobre la Luna la circunferencia de un crculo perfecto. En consecuencia, la Tierra no es plana como dijeron Empdocles y Anaxmenes y tampoco un cilindro, como seal Anaximandro sino que es perfectamente redonda.8 24. Cada uno de los siguientes prrafos contiene un argumento. Para cada uno de ellos identifique las proposiciones simples que conforman el argumento as como las premisas y la conclusin. Luego simbolcelo en forma condicional y determine su validez usando el mtodo de la tabla de verdad y el mtodo indirecto. a) En poca de lluvias siempre hay desbordes de ros, y si no se toman precauciones entonces se pierden algunas viviendas de las riberas. As en poca de lluvias siempre hay desbordes de ros y se pierden algunas viviendas de las riberas.
6 7

DARWIN, El origen de las especies. GARIBALDI, Rosa. El Dominical del diario El Comercio del 18/03/2012 8 COPRNICO, Sobre las revoluciones de las esferas celestiales.

Pgina 10 de 22

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

b) Si el tiempo est agradable entonces Teresa va a la playa, o se va a dar un paseo en bote. No

es el caso que si Teresa no va a nadar entonces el cielo est agradable. Por lo tanto, si el tiempo no est agradable entonces Teresa no va a dar un paseo en bote.

c) Si Dorian Javier estudia entonces obtiene buenas calificaciones. Si no estudia entonces se

divierte. Se sigue que, Dorian Javier obtiene buenas calificaciones o estudia. d) Alif no usa una buena carnada o, si los peces estn picando entonces l esta pescando en el lmite legal. Alif usa una buena carnada y no pesca en el lmite legal. De donde, los peces no estn picando. e) Anagal est capacitada para ocupar el puesto de Jefe de Personal. Ese puesto requiere conocer las estrategias de manejo de personal y tener experiencia en la direccin de personal. Anagal tiene una licenciatura en Psicologa Organizacional y durante dos aos estuvo al frente de manera interina en el mismo cargo.

f) Si el automvil se encuentra en excelente estado entonces vale lo que usted pide. Pero a ojos
vista, su estado no estn bueno. Parece que ha sufrido un choque. En consecuencia, el automvil no vale lo que usted pide. g) Si el catlogo de semillas es correcto, entonces si las semillas se siembran en abril entonces las flores se abren en julio. Las semillas se siembran en abril. Luego, si las flores no se abren en julio entonces el catlogo de semillas no es correcto. 25. Determine el valor de verdad que le corresponde a cada una de las siguientes proposiciones. Justifique brevemente su respuesta. a) Solamente los argumentos presentan informacin. b) Un argumento tiene como mnimo dos proposiciones. c) Los conceptos verdad de una proposicin y validez de un argumento significan lo mismo. d) En un argumento la conclusin debe ubicarse despus de las premisas. e) En un argumento siempre debe aparecer un indicador de premisa o de conclusin. f) En un argumento siempre debe aparecer al menos una conclusin. g) En un argumento siempre debe aparecer a lo ms una premisa. Sean las frmulas lgicas A : ~ [ ~ p a) A implica a B? c) C implica a la negacin de B? e) ~ ( A ~ C ) es implicada por~ B? 27. Sean las frmulas lgicas A : ( p q

26.

~q ~r

)] B: q (

r p

C: p ~ r

b) C est implicada por A? d) ( A ~ B ) implica a C?

C: ( p ~ q

~r

B: ~ [ ~ p ( ~ r q )]

~r

a) A implica a B? c) B y C son equivalentes? Pgina 11 de 22

b) B es implica por C? d) ~ A es equivalente a ( ~ B C ) ?

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

28.

Dadas las siguientes proposiciones compuestas: A: Si el cuadro fue pintado por Picasso entonces el cuadro es de valor; o si el cuadro no fue pintado por Picasso pero ha sido pintado por Dal, entonces el cuadro es de valor. B: El cuadro no fue pintado por Picasso o es de valor; o si no es de valor entonces no es cierto que no fue pintado por Picasso pero ha sido pintado por Dal. C: Si el cuadro no es de valor entonces no fue pintado por Picasso; o si no es cierto que el cuadro fue pintado por Picasso o no fue pintado por Dal, entonces el cuadro es de valor. a) A es implicada por ~B? b) ~C implica a B? c) ~A es implicada por ~ C? d) ~ A es equivalente a ~C?

29. a) b)

c) d) e)

En cada caso, seale la conclusin que se deriva de los enunciados indicando la implicacin notable que se aplica. Si los alumnos estudian, entonces aprueban sus asignaturas. Si los alumnos aprueban sus asignaturas tendrn buenas vacaciones. Luego Si el clima est muy caluroso o muy fro entonces, se suspenden las clases. Las clases no se suspenden. Se sigue .. Si los alumnos asisten a clases y a las asesoras, entonces obtienen buenas notas en los exmenes. Los alumnos no obtienen buenas notas en los exmenes. Por lo tanto Manuel Scorza es peruano. Manuel Scorza es poeta. En consecuencia.. Manuel Scorza es peruano y poeta. De donde. 30. Deduzca una conclusin de cada uno de los conjuntos de premisas. En cada caso indique la implicacin notable usada as como la equivalencia notable (si ha tenido que usarla) a) ~ Q ( ~P R ) ~Q b) ( ~P Q ) (R ~P ) ~ (P ~ Q ) c) Q ( R ~ S) R S

d) ( P ~ Q ) ~ R R 31.

e) P ~ Q P ~ S

f) ~ ( S R ) ( ~ T R ) SR

Los siguientes esquemas son demostraciones de validez para argumentos que ya han sido simbolizados. Escriba en cada parntesis la justificacin correspondiente. a) 1) ~ p q b) 1) p q 2) q r 3) ~ r ~ p 4) ~ q 5) ~ p ( ( ) ) 2) ~ ( p r ) s p s 3) p ( ) 4) p r ( ) 5) s 6) p s d) 1) ( s q ) r ( ( ) )

c) 1) ~ ( n q ) p 2) 3) 4) 5)

~ r ~( ps ) ~s n ~sr z n ( )

2) ( r q ) [ s ( p t 3) p s p t 4) s ( 5) s q (

)]
) )

Pgina 12 de 22

FUNDAMENTOS DE MATEMTICA

6) n q 7) p 8) p s 9) r

LGICA MATEMTICA

( ( ( (

) ) ) )

6) r 7) r q 8) s ( p t ) 9) p t

CICLO 2012-1

( ( ( (

) ) ) )

32.

Elabore una demostracin formal de validez para cada uno de los siguientes argumentos simbolizados. a) 1) ~ p q b) 1) p ~ ( q r ) 2) ~ p ( r t ) 3) ~ s ~ r 4) p m s ~ q 2) ( s q ) r p z 3) s

c) 1) 2) 3) 4)

( n q )p ( p s )r
s n ~s r

d)

1) 2) 3)

ps

( pq ) r ( r q ) [ p ( s t ) ]
s t

33.

Simbolice cada uno de los siguientes argumentos y luego elabore una demostracin formal de validez. a) Si Federico tom el avin estuvo en el accidente. Si estuvo en el accidente entonces no asisti a su graduacin. Federico asisti a su graduacin. En consecuencia Federico no tom el avin o viaj por tierra. b) Si la crisis econmica mundial termin el 2010 entonces el Per crecer al menos 5% durante el 2011. El Per crecer al menos 5% durante el 2011 o no ser el pas de ms alto crecimiento anual en Amrica. La crisis econmica mundial termin el 2010. Se sigue que el Per crecer 5% al menos durante el 2011. c) Si Alba estudia ciencias entonces se prepara para vivir desahogadamente, y si estudia humanidades se prepara para vivir adecuadamente. Si ella se prepara para vivir desahogadamente o se prepara para vivir adecuadamente entonces sus aos de universidad estn justificados. Pero sus aos de universidad no estn justificados. Se sigue que Alba no estudia ciencias y no estudia humanidades.

d) Aarn no trabaja o gana dinero, y si est ocioso entonces goza la vida. Si Aarn no trabaja
entonces est ocioso. Si trabaja no goza la vida y si est ocioso no gana dinero. Por lo tanto, Aarn goza la vida si y solo si no gana dinero.

e) Si Alif y Dorian viajan a Europa entonces visitan Escandinavia. Si Alif y Dorian viajan a
Europa, entonces si visitan Escandinavia entonces visitan Noruega. Si visitan Escandinavia, entonces si visitan Noruega entonces hacen un viaje a los fiordos. As, si Alif y Dorian viajan a Europa entonces hacen un viaje a los fiordos.

Pgina 13 de 22

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

f) Alejandro hace reparar su auto o compra uno nuevo. Si hace reparar su auto deber mucho dinero al taller de reparaciones. Si debe mucho dinero al taller de reparaciones tardar en salir de sus deudas. Si compra un auto nuevo entonces pedir un prstamo al banco, y si pide un prstamo al banco tardar en salir de sus deudas. Alejandro sale pronto de sus deudas o sus acreedores lo llevarn a la ruina. Se sigue que, sus acreedores lo llevarn a la ruina. g) Si Adn atrae el voto de los campesinos entonces se adjudicar las reas rurales, y si atrae el voto de los obreros entonces se adjudicar los centros urbanos. Si se adjudica tanto las reas rurales como los centros urbanos, entonces su eleccin es segura. No est seguro de su eleccin. Por consiguiente, no atrae el voto de los campesinos o no atrae el voto de los obreros. SEGUNDA TAREA 34. Sean las frmulas lgicas A: ( ~ p q ) r

B : ~ [ q ( p r )]

C: ( ~p r

a)
35.

Determine si: A implica a B

b) B es implicada por C

c) B y C son equivalentes

36.

Relacione los trminos de las dos columnas, justificando cada una de las relaciones. Tenga en cuenta que un trmino de una columna puede tener varios, uno o ningn trmino relacionado en la otra columna. A) En un argumento debe aparecer slo uno. a) Tautologa B) Ya que... b) Indicador de premisa. C) ( p p ) ( p p ) c) Implicacin D) 3,1416 d) Proposicin q) E) ( p q ) ( p e) Contradiccin F) p p f) Conclusin g) Premisa h) Indicador de conclusin. Dadas las siguientes proposiciones compuestas: A: El Estado es responsable de la economa del pas si y slo si las leyes de la reforma econmica no son aplicables a la realidad. B: No se da el caso que las leyes de la reforma econmica sean aplicables a la realidad o el Estado no sea responsable de la economa del pas. C: Si los polticos dicen la verdad entonces, el Estado es responsable de la economa del pas o las leyes de la reforma econmica no son aplicables a la realidad. Determine si: a) A implica a B b) C es implicada por B c) C es implicada por ~A d) ~B es equivalente a C Determine cules de los siguientes prrafos son argumentos. En cada caso afirmativo indique cules son las premisas y cul es la conclusin. a) Pocos negaran que un impuesto colocado especficamente sobre el privilegio de difundir ideas violara el derecho de la libre expresin. Entre otras razones, porque si el Estado puede gravar el privilegio, tambin puede fijar el monto del impuesto y, mediante ste controlar o suprimir la actividad que grava.

37.

Pgina 14 de 22

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

b) Si tu enemigo tiene hambre, dale de comer; si tiene sed, dale de beber; pues haciendo as ganars un sitio en el cielo.

c)

Todo hombre tiene derecho de arriesgar su propia vida para preservarla. Alguien ha dicho alguna vez que el hombre que se arroja de la ventana para escapar de un incendio es culpable de homicidio? Se ha hecho la misma acusacin a aquel que muri en una tormenta porque, cuando se lanz de cubierta, conoca el riesgo a que se expona?9 38. Para cada uno de los siguientes argumentos. i) Determine cules son las premisas y cul es la conclusin. ii) Simbolice el argumento en forma condicional y en forma esquemtica. iii) Determine la validez de los argumentos usando el mtodo de la tabla de verdad o el mtodo indirecto. iv) Para cada argumento vlido, elabore una demostracin formal de validez.

a)

No es cierto que si Jos estudia Derecho en la Universidad de de Lima entonces no se especializa en Derecho Tributario. Jos no postul a la Academia Diplomtica. Se sigue que si Jos no postul a la Academia Diplomtica entonces estudia Derecho en la Universidad de Lima. A Luis le encantan las matemticas. Si a Dora le agrada la historia, entonces a Luis no le encantan las matemticas. Si a Dora no le agrada la historia, entonces a Silvia le gusta escuchar msica clsica. Por lo tanto a Silvia no le gusta escuchar msica clsica. Si Alberto compra un terreno entonces construye una casa. Si Alberto compra un terreno y construye una casa entonces, compra enseres domsticos. Alberto no construye una casa o no compra enseres domsticos. Luego, Alberto no construye una casa o no compra enseres domsticos. Si las empresas de telecomunicaciones que operan en el Per han exigido todo tipo de facilidades al gobierno y no han mostrado ni un mnimo de compromiso con los peruanos entonces, el gobierno no autoriz la ampliacin de sus contratos. No es cierto que las empresas de telecomunicaciones que operan en el Per han mostrado un mnimo de compromiso con los peruanos o no han exigido todo tipo de facilidades al gobierno. Luego, el gobierno autoriz la ampliacin de sus contratos.

b)

c)

d)

SEGUNDO RESUMEN TERICO

1.

ARGUMENTO: Un argumento es un conjunto de proposiciones de tal modo que la verdad de una proposicin del conjunto est sustentada por las otras proposiciones del conjunto. Todo argumento siempre debe contener una conclusin y una o ms premisas. Conclusin: Es la proposicin que se afirma sobre la base de las otras proposiciones del argumento. Premisas: Son las proposiciones que ofrecen las razones para aceptar la conclusin. NOTAS a) Un argumento se califica de vlido o no vlido.

ROUSSEAU, El contrato social.

Pgina 15 de 22

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

b) La conclusin puede estar ubicada en cualquier parte del argumento: al principio, al medio o al final. c) Cada argumento debe contener una nica conclusin pero puede tener ms de una premisa. d) En algunos argumentos, las conclusiones siguen a ciertas palabras denominadas indicadores de conclusin. Algunos de estos indicadores de conclusin son: luego, se sigue que, por lo tanto, de donde, se concluye que, por consiguiente, as . . ., etc. e) Tambin pueden existir palabras que sealen a las premisas. Estas palabras se denominan indicadores de premisas. Algunos de estos indicadores de premisas son: ya que, puesto que, porque, debido a que, . . . f) En algunos argumentos no aparece ningn tipo de indicador. En estos casos se debe analizar cules son las proposiciones que presentan sustento para que una proposicin del argumento se cumpla. Las que presentan sustento sern las premisas y la que es sustentada, la conclusin.

2.

SIMBOLIZACIN DE UN ARGUMENTO : Un argumento puede simbolizarse de dos maneras: en forma condicional en forma esquemtica.

a) Forma Condicional: Se simboliza como la frmula condicional ( P1P2P3 . . . Pn ) C . b) Forma Esquemtica: Se simboliza mediante el esquema
P 1 P 2 . . . P n

PREMISAS

C CONCLUSIN

En las dos simbolizaciones, las P i son las formulas lgicas que representan a las premisas y C, la que representa a la conclusin.

3.

VALIDEZ DE UN ARGUMENTO. La validez de un argumento se establece aplicando diversos mtodos: el mtodo de la tabla de verdad, el mtodo indirecto y el mtodo formal. Los dos primeros mtodos se aplican cuando se desea conocer si el argumento es vlido o no es vlido. En cambio, el ltimo mtodo se aplica para verificar su validez. a) Mtodo de la Tabla de Verdad : Para utilizar este mtodo, el argumento se simboliza en forma condicional. Luego, se obtienen los valores de verdad de la columna principal. El argumento es vlido si se obtiene una tautologa pero si al menos uno de los valores de verdad es falso el argumento no es vlido. Este mtodo no es prctico cuando en el argumento aparecen ms de tres proposiciones simples. b) Mtodo Indirecto: Para aplicar este mtodo, el argumento se simboliza en forma condicional. Luego, se supone que el argumento no es vlido. Esto es, se considera que cada premisa es verdadera y la conclusin es falsa. Luego, basndose en la afirmacin anterior, se obtiene los valores de verdad que les corresponden a las diversas variables proposicionales. Si no hay ninguna contradiccin con los valores de verdad que se encuentran para las variables proposicionales, entonces la afirmacin realizada es correcta. Luego, en este caso, el argumento no es vlido. Pero si se encuentra al menos una contradiccin entres los valores de verdad de las variables proposicionales, entonces la afirmacin realizada no es correcta. Por consiguiente el argumento es vlido.

Pgina 16 de 22

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

4.

Este mtodo tambin es denominado como el mtodo de reduccin al absurdo. Puede aplicarse sin importar el nmero de proposiciones simples. c) Mtodo Formal: Este mtodo se usa para verificar que un argumento es vlido. Para aplicarlo, el argumento debe estar simbolizado en la forma esquemtica. Se habr verificado que el argumento es vlido cuando la ltima lnea que se obtenga es la que corresponde a la conclusin. En la aplicacin de este mtodo se deben utilizar las implicaciones notables y las equivalencias notables Este mtodo puede aplicarse sin importar el nmero de proposiciones simples que conformen el argumento. . IMPLICACIN LGICA. Se dice que la frmula A implica a la frmula B, si la condicional A B es una tautologa. En este caso se denotar A B, que se lee: la frmula A implica a la frmula B o la frmula B es implicada por la frmula A. Si A B no es una tautologa, escribiremos A B, que se lee: la frmula A no implica a la frmula B o la frmula B no es implicada por la frmula A.

EVALUACIONES ANTERIORES Primera Prctica Calificada Ciclo 2012-0 1. Responda cada una de las preguntas justificando brevemente. SIN LA JUSTIFICACIN ADECUADA NO SE CALIFICA LA RESPUESTA. a) Una proposicin y una funcin proposicional En qu se asemejan? En qu se diferencian? b) La frmula lgica es una tautologa? c) Una equivalencia lgica y una implicacin En qu se asemejan? En qu se diferencian? 2. Esta pregunta tiene dos partes. a) Simbolice la siguiente proposicin compuesta: No es cierto que si la Alcaldesa de Lima no es revocada entonces Lima se paraliza, o hay una nueva eleccin y la Alcaldesa es reelegida. b) Dada la frmula lgica Escriba dos frmulas lgicamente equivalentes. Presente la negacin de la frmula lgica (El smbolo de negacin no debe estar delante de un parntesis) 3. Sea el argumento: Si el presidente Ollanta viaja a Espaa entonces su esposa Nadine lo acompaa. Es falso que Nadine y el Ministro de Economa y Finanzas acompaen al presidente Ollanta. El Ministro de Economa y Finanzas acompaa al presidente Ollanta. Por lo tanto, si el presidente Ollanta viaja a Espaa entonces muchos industriales espaoles invertirn en el Per. a) Simbolice las proposiciones simples y, luego, presente las premisas y la conclusin. b) Simbolice el argumento en forma esquemtica. c) Utilice el mtodo formal para verificar que el argumento es vlido(Use las implicaciones y equivalencias notables)

Examen Parcial Ciclo 2012-0 Pgina 17 de 22

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

1. A las frmulas lgicas

, y ~ se les asocia los valores de verdad verdadero, falso y verdadero, respectivamente. Determine el valor de verdad que le corresponde a las variables proposicionales m, n, p y q.

2. Usando las implicaciones notables as como las equivalencias notables, escriba la

conclusin que le corresponde a cada uno de los conjuntos de premisas:

a) Si al show de Elton John han asistido 24000 personas, entonces los organizadores del show han perdido dinero o Elton John no es popular. Los organizadores del show no han perdido dinero y Elton John es popular. En consecuencia,.. b)Si el escritor Ivn Thays no invita Inca Kola y no invita chicha morada, entonces Gastn Acurio no le invita suspiros a la limea. No es cierto que Ivn Thays invita Inca Kola o invita chicha morada. Por lo tanto,
Primera Prctica Calificada 2011-2

1. Determine el valor de verdad de las siguientes afirmaciones. Justifique

brevemente cada respuesta.

a) La frmula lgica
naturales.

es una tautologa. simboliza al conjunto de nmeros

b) ( 2) es una proposicin simple, donde

c) La expresin Cristobal Coln al iniciar su primer viaje, pesaba 120 libras no es

una proposicin.

2. Esta pregunta tiene tres partes

a) Simbolice la siguiente proposicin compuesta: No es verdad que en 27 de los 31 estados de Mxico durante el gobierno de Felipe Caldern los asesinatos se han incrementado en un 96% y los secuestros en un 188%, o los mariachis tocan de reojo y los conserjes de los hoteles no aconsejan salir despus de las 8 de la noche. Escriba dos frmulas lgicas equivalentes a la frmula

b)

c) Presente la negacin de la frmula lgica [p ( q r)] (p r) (El smbolo de negacin no debe quedar antes de un parntesis o corchete) 3. Dadas las siguientes frmulas lgicas: A: Determine si: B: C: . C. ,

a)

La frmula A es implicada por la frmula

b) La frmula B es equivalente a la frmula A 4. Para la siguiente tabla

Pgina 18 de 22

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

~ p q n p ( mn ) p m ~n a) Determine los valores

~ nq

ms F

m ~ p

~ (pp )

V de verdad que les corresponden a las variables

proposicionales. b) Escriba en cada recuadro en blanco V F, segn corresponda a verdadero (V) o falso (F).

5. En el siguiente esquema deduzca una conclusin considerando que las frmulas que
aparecen simbolizan dos premisas. Adems indique la implicacin equivalencia(s) notables utilizadas: 1) y/o la(s)

6. Dado el siguiente argumento: Si Gadafi no se encuentra en Trpoli entonces se

encuentra en su ciudad natal, Sirte. Si el Consejo Nacional de Transicin controla el 95% de Trpoli entonces Gadafi no se encuentra en Trpoli. Gadafi se encuentra en Trpoli. En consecuencia, el Consejo Nacional de Transicin no controla el 95% de Trpoli. a) Identifique y simbolice cada una de las proposiciones simples del argumento. b) Identifique y presente simblicamente las premisas y la conclusin del argumento. c) Determine la validez del argumento aplicando el mtodo de la tabla de verdad. Segunda Practica Calificada 2011-2 1. Determine el valor de verdad de cada una de las siguientes proposiciones, justificando brevemente su respuesta. SIN LA JUSTIFICACIN ADECUADA LA RESPUESTA NO SE CALIFICA. a) Las frmulas lgicas ~ p (~ p q) y ~ [ ~ (p q) p] son equivalentes. b) Si la frmula A implica a la frmula B entonces la frmula ~ A B es una tautologa. c) Si A y B son conjuntos no vacos y se cumple que A B entonces ( A B ) A. . d) En los conjuntos numricos se cumple que Z N . 2. Dado el argumento: Si Per firm un tratado de lmites martimos con el Ecuador y no ha firmado uno similar con Chile, entonces el reclamo en la Corte de La Haya no ser favorable a Chile. El reclamo en la Corte de La Haya ser favorable a Chile y Per firm un tratado de lmites martimos con el Ecuador. Por lo tanto; Per firm un tratado de lmites martimos con el Pgina 19 de 22

FUNDAMENTOS DE MATEMTICA

Ecuador y ha firmado uno similar con Chile, o el reclamo en la Corte de La Haya ser favorable a Per. a) Simbolice adecuadamente las premisas y la conclusin. b) Simbolice el argumento en forma condicional y use el mtodo indirecto (o abreviado) para determinar su validez. c) Simbolice el argumento en forma esquemtica y use el mtodo formal para verificar su validez. Examen Parcial Ciclo 2011-2

LGICA MATEMTICA

CICLO 2012-1

1. Cada una de las frmulas lgicas: representan proposiciones compuestas verdaderas. a) Determine los valores de verdad que les corresponden a las proposiciones simples representadas por las variables proposicionales b) Halle el valor de verdad asociado a la proposicin compuesta representada por la frmula lgica . 2. El siguiente esquema representa un argumento vlido. Presente la demostracin formal de su validez (Indique las implicaciones y las equivalencias notables usadas)
1. 2. 3. 4. Primera Prctica Calificada 2011-1

1. Presente un ejemplo de una proposicin compuesta y un ejemplo de una funcin proposicional que contengan
al menos tres conectivos lgicos.

2. Determine el valor de verdad de las siguientes afirmaciones. Justifique brevemente cada respuesta. a) La expresin no es una
proposicin.

b) La frmula lgica ms simple est dada por

c) Un argumento puede ser calificado de verdadero o falso. d) Toda condicional es una implicacin.

e) En el caso que a la proposicin simbolizada por

proposicin simbolizada por

le corresponde el valor verdadero entonces a la

le corresponde el valor falso.

3. Simbolice la siguiente proposicin compuesta: Si no es cierto que Alfredo no viaj fuera de Lima por Semana
Santa y estuvo estudiando Fundamentos de Matemtica, entonces no estar nervioso el da de la primera prctica calificada o la aprobar con ms de 13 .

Pgina 20 de 22

FUNDAMENTOS DE MATEMTICA

LGICA MATEMTICA

CICLO 2012-1

a) Escriba dos frmulas lgicas equivalentes a la frmula

b) Escriba la negacin de la frmula dada en b), teniendo en cuenta que el smbolo ~ no debe quedar delante de un parntesis.

4. Para la siguiente tabla: s x s w ~r s x x

~ m m w ~ s ( p s ) ~ w ~p ~ r F

~p ( x w )

a) Determine los valores de verdad que les corresponden a las proposiciones simples representadas por las variables proposicionales. b) Escriba en cada recuadro en blanco V o F, segn corresponda a verdadero o falso.

5. Deducir una conclusin en el siguiente conjunto de premisas. Indique tanto la implicacin notable como las
equivalencias notables usadas.

6. Dado el argumento Si las empresas mineras que operan en el Per han pedido una prrroga al gobierno para
pagar sus deudas y no han firmado un compromiso con los representantes de los pueblos afectados por sus operaciones, entonces el gobierno le deniega la prrroga. No es cierto que las empresas mineras que operan en el Per no han pedido una prrroga al gobierno para pagar sus deudas o han firmado un compromiso con los representantes de los pueblos afectados por sus operaciones. Por consiguiente el gobierno le deniega la prrroga. a) Identifique las proposiciones simples del argumento. b) Identifique y represente simblicamente las premisas y la conclusin del argumento. c) Simbolice el argumento en forma condicional. d) Determine la validez del argumento aplicando el mtodo de la tabla de verdad y el mtodo abreviado.

Segunda Prctica Calificada 2011-1 1. Determine el valor de verdad de cada una de las siguientes proposiciones, justificando brevemente su respuesta. SIN LA JUSTIFICACIN ADECUADA LA RESPUESTA NO SE CALIFICA. a) Las frmulas lgicas y son equivalentes. b) Si la frmula A implica a la frmula B entonces la frmula ~ A B es una tautologa. 2. Dado el argumento:

Pgina 21 de 22

FUNDAMENTOS DE MATEMTICA

Si Per firm un tratado de lmites martimos con el Ecuador y no ha firmado uno similar con Chile, entonces el reclamo en la Corte de La Haya no ser favorable a Chile. El reclamo en la Corte de La Haya ser favorable a Chile y Per firm un tratado de lmites martimos con el Ecuador. Por lo tanto; Per firm un tratado de lmites martimos con el Ecuador y ha firmado uno similar con Chile, o el reclamo en la Corte de La Haya ser favorable a Per. a) Simbolice adecuadamente las premisas y la conclusin. b) Simbolice el argumento en forma condicional y use el mtodo indirecto (o abreviado) para determinar su validez. c) Simbolice el argumento en forma esquemtica y use el mtodo formal para verificar su validez.

LGICA MATEMTICA

CICLO 2012-1

2 de Abril del 2012

LOS PROFESORES DE LA ASIGNATURA

Pgina 22 de 22