r

VI

PROLOGO

seleccionados de una escuela elemental. La segunda version del texro se utilize en once dases de estudiantes selcccionados de la escuela elemental en 1961-62. La tercera version se utiliza experimentalmente en 1962-63 con diez dases de estudiantes seleccionados de la escuela elemental y 200 estudiantes del «College» en un proyecto patrocinado conjuntamente por el Office (If Education y la National Science Foundation. La edicion del libro fue subvencionada por la Carnegie Corporation de Nueva York. Se ha intentado escribir el libro de manera que 10 puedan utilizar los estudiantes con un margen de edad y habilidad muy amplio. La Logics, afortunadamente, es una de las materias que no requiere gran base 0 experiencia para poder llegar a un buen adiestramiento. Por esta razon, un libro de este tipo particular puede ser utilizado por una gran variedad de estudiantes. La experiencia COil las versiones citadas indica que el material que contiene es razonablemente satisfactorio para los estudiantes seleccionados de Segunda ensefianza y, por otra parte, no demasiado elemental para que no pueda ser utilizado por alumnos de primer curso de Ia Universidad. Creemos que este libro sera iitil a una gran diversidad de alumnos de Ensefianza media y a las clases de Matematicas de Selective de la Facultad. Esra en preparaci6n el Segundo curso de L6gica matemdtica para aquellas clases que dispongan de tiempo para una exposicion mas amplia de esta materia. Agradecemos a Mrs. Madeline Anderson su trabajo paciente y cornpetente de mecanografiar eI manuscrito, Manifestamos nuestro mayor reconocimiento a Mr. Frederick Binford por sus valiosas sugerencias y criticas, quien se ha hecho tambien responsable de preparar la detallada Edicion para el maestro. Mr. Richard Friedberg hizo muchos comentarios y criticas muy iitiles a1 ultimoborrador de manuscrito.
PATRICK SUPPES SHIRLEY HILL

INDICE ANALiTICO
Prefacio

1. SIMBOLIZACI6N

DE PROPOSICIONES

1 1 2 5 10 12 14 16 20 22 30

1.1 'Proposiciones 1.2 Terminos de enlace 1.3 La forma de las proposiciones moleculares ,1.4 Simbolizaci6n de proposiciones 1.5 Los rerminos de enlace y sus slmbolos

o

No Sl., entonces ... 1:6 Agrupamiento y parentesis La negacion de una proposicion molecular 1.7 Eliminaci6n de algunos parentesis 1.8 Resumen 2. INFERENCIA L6GICA

.34 37
44

Universidad de Stanford Stanford, California Enero, 1963

2.1 Introduccion 2.2 Reglas de inferencia y demostracion Modus ponendo ponens Demos traciones Dernostraciones en dos pasos Doble negacion Modus tollendo tollens Mas sobre la negaci6n Adjunci6n y simplificaci6n Disjunciones como premisas Modus tollendo ponens 2.3 Deduccion proposicional 2.4 Mas sobre parentesis 2.5 Otras reglas de inferencia Ley de adici6n Ley del silogismo hipotetico Ley del silogismo disyuntivo Ley de simplificacion disyuntiva
Leyes conmutativas

44
45 45 48 50 53 55
58 61 64 66 70 78 81 81 85

89
93

97
100

Las leyes de Morgan

VIII

tNDICE ANALlTICO
2.6 Proposiciones bicondicionales 2.7 Resumen de reglas de inferencia Tabla de reglas de inferencia 105 109 110 112 112 113 113 114 115 116 119 120 124

tNDICE ANALlTICO
7. UN SISTEMA MATEMATICO SIMPLE: AXIOMAS DE LA ADICI6N 7.1 7.2 7.3 7.4 Axioma Axioma Axioma Axioma de Ia propiedad conmutativa de la propiedad asociativa del cero de los mimeros negativos UNIVERSAL

IX

247 247

3. CERTEZA Y VALIDEZ 3.1 Introduccion 3.2 Valores de certeza y terminos de enlace de certeza funcionaI Conjuncion Negaci6n Disjuncion Proposiciones condicionales Equivalencia: proposiciones bicondicionaIes Diagrama de valores de certeza Conclusiones no validas Dernostracion condicional Consistencia Demostraci6n indirecta Resumen

251
261 264 270 270
274

8. GENERALIZACI6N

8.1 Teoremas con variables 8.2 Teoremas con cuantificadores universales fndice alfabetico

3.3 3.4 3.5 3.6 3.7 3.8

279

131
140 149

155
164 164 172 174 179

4. T ABLAS DE CERTEZA 4.1 4.2 4.3 4.4 Tablas de certeza Tautologias Inwlic:aci6n tautol6gica y equivalencia tautologica Resumen

5. T£RMINOS, PREDICAOOS Y CUANTIFICADORES UNIVERSALES 5.1 Introduccion 5.2 T erminos 5.3 Predicados 5.4 Nombres comunes como predicados 5.5 F6rmulas at6micas y variables 5.6 Cuantificadores universales 5.7 Dos formas tfpicas -6. ESPECIFICACI6N 6.1 6.2 6.3 6.4 UNIVERSAL Y LEYES DE IDENTIDAD

184 184 187 189

191
194 201 209 216 216 228 236 242

Un cuantificador Dos 0 mas cuantificadores Logica de la identidad Certezas 16gicas

consideremos las proposiciones en lengua castellana. Una proposicion atomics es una proposicion completa sin terminos de enlace. de la misma manera que se usa la lengua casrellana para explicar las reglas precisas de un juego a alguien que no ha jugado a ese juego.r CAPITULO 1 BIMB'OLIZACION DE PROPOSICIO· NES • 1. se consideran y simbolizan dos clases de proposiciones en Logics. . Efectivamente. No hay elase. Puede ayudamos a aprender una forma ere razonar que es exacta y a la vez muy util. Para empezar. Hey es saba4o. Es necesario redactar un conjunto de reglas que sean perfeetamente daras y definidas y que esten libres de las vaguedades que pueden hallarse en nuestro lenguaje corriente. Pero aunque as! sea. La Logica tiene un lenguaje exacto. el significado de esta palabra en el lenguaje de la Logica es analogo a su significado original en las Ciencias fisicas. Para realizar este trabajo se utilizardn proposiciones en Iengua castellana. unas se denominan proposiciones al6micas y otras proposiciones moleculares. vamos a intentar construir un vocabulario para este lenguaje preciso utilizando el lenguaje cuotidiano algunas veces un tanto confuse. Se utilizan terminos de enlace para formar proposiciones moleculares a partir de proposiciones atomicas. Si se juntan una o varias proposiciones at6micas con un termino de enlace. Por supuesto. Por ejemplo. la logica es algo mas que un juego. Cada proposicion tiene una forma logica a la que se Ie dara un nombre. se tiene una proposicion molecular. En primer lugar.1 Proposiciones Con el estudio de Ia Logics se persigue llegar a ser preciso y cuidadoso. En Logica. considerense dos proposiciones atomicas. En este siglo de la Ciencia se utiliza la palabra a/ornico muchas veces. at6micas son las proposiciones de forma mas simple (0 mas basicas).

que tambien acnia sobre dos proposiciones atomicas. EI termino de enlace «0» acnia sobre dos proposiciones atomicas. Son «El viento arrastrara las nubes» y «Llovera hoy con seguridad». Esta proposicion molecular se ha construido con dos proposicrones atomicas y el termino de enlace «y».. no deben subestimarse.. Recuerdese que cada proposidon que contiene un termino de enlace es molecular. que se estudiaran algunas reglas muy precisas para el uso de esta c1ase de terrninos. L 2.. «si . (Cu:iles son? Ya se ha dado un ejemplo de proposicion que utiliza el termino de enlace «y». Gran parte de 10 que se tratara en el estudio de la Logics se refiere a la manera cuidadosa de como se han de utilizar estos terrninos de enlace. Se puede decir que el terrnino de enlace «no» cada vez actiia sobre una sola proposicion atomics y que los otros terminos de enlace acnian sobre dos proposiciones atornicas a la vez. entonces». La rmisica es muy suave 0 la puerta esta cerrada. pero en Logica los denominaremos.2 PRIMER CURSO DE LoGICA MATEMATICA Ambas proposiciones son atornicas.. se puede decir Hoy es sabado y no hay c1ase. . Se dan a continuacion algunos ejemplos de proposiciones moleculares que utilizan los terminos de enlace considerados. Enlazan proposiciones. Se ha aiiadido a las proposiciones atornicas para construir una proposicion molecular. Los tres terrninos de enlace considerados. El gran oso negro andaba perezosamente por el camino de abajo. Hay otros. 3. En la grarnatica castellana se les da a veces otros nombres. Otra es: El terreno es muy rico y hay suficiente lluvia. porque indica efectivamente cual es el papel que desempeiian. «0». Este nombre sera facil de recordar. Cuando analizamos una proposicion molecular la descomponemos en las mas pequefias proposiciones atornicas completas. Forman proposiciones moleculares a partir de proposiciones atomicas. Cuando a una sola proposicion se Ie agrega «no» se forma una proposicion molecular. «0». «y». se usan para enlazar dos proposiciones atornicas. En este caso.2 T ermines de enlace Las palabras de enlace... EI termino de enlace «y» no forma parte de ningun a de las proposiciones atornicas. Tanto es aS1. Un ejemplo de una proposicion en la que se utiliza e1 termino de enlace «0» es El viento arrastrara las nubes 0 llovera hoy con seguridad. A este perro grancie Ie gusta cazar gatos. Por ejemplo. E]ERCICIO 1 A. (Cwiles son las dos proposiciones atornicas contenidas en esta proposicion • 1. Escribir junto a cada proposicion molecular el termino de enlace utilizado. terminos de enlace de proposiciones 0 simplemente t erminos de enlace. 4_ La comida sera hoy a las tres en punto. es el unico que no conecta realmente dos proposiciones. pues son de gran importancia. Recuerdese que el termino de enlace «no». pero el otro se agrega a una sola proposicion atomics para formar una molecular. El termino de enlace en la proposicion del ejemplo «Hoy es sabado y no hay c1ase» es la palabra «y». molecular? ? Los ejercicios que se ponen a continuacion ofrecen una oportunidad para comprobar la habilidad del lector para reconocer proposiciones atornicas.. les daremos el nombre Iogico correcto. por cortas que sean. entonces». Mediante un termino de enlace se pueden unir y se tendra una proposicion molecular. e1 termino de enlace acnia solo sobre una proposicion atomica: «La luna esta hecha de queso verde». pero antes de considerar cad a uno de ellos separadamente. «no». Seiialar cada proposidon atomics con una A y cada proposici6n molecular con una M.• entonces». La proposicion molecular: Si estamos en diciembre entonces Ilegara pronto Navidad ilustra sobre el uso del" termino de enlace «si . Se les denorninara terminos de enlace de proposiciones. Este termino de enlace es la palabra «no». Recuerdese que al afiadir un terrnino de enlace a una 0 dos proposiciones atornicas se ha formado una proposicion molecular. Los terminos de enlace que se utilizaran en este capitulo son las palabras «y». y «si . como ya hemos indicado. proposiciones moleculares y terminos de enlace. En el ejemplo anterior se puede descornponer la proposicion molecular en dos proposiciones atornicas.. r I SIMBOLIZACI6N La pro posicion DE PROPOSICIONES 3 ! La luna no esta hecha de queso verde es una proposicion molecular que utiliza el termino de enlace «no».

6. y eI agua estaba muy agradable. 18. en el partido del r I por su pipa y pregunta I i SIMBOLIZACION DE PROPOSICIONES 5 6. esta al oeste de Nevada y Nevada al oeste de Utah. cualesquiera que sean las proposiciones atornicas que enlazan 0 en las que se han utilizado.. 11. estudiantes estudian Logica en el primer afio de carrera llevar sorn- 1. Los gatitos Si no acostumbran a llevar mitones.>+z=2. Podemos ~arnos cuenta facilmente de la forma de una proposicion molecular. entonces» es un solo terrniao de enlace. Ha Ilegado el invierno y los dias son mas cortos. de manera que cada una de las proposiciones moleculares tenga distinto termino de enlace. 7. La forma de las proposiciones moleculares construidas depende del termino de enlace seguido. entonces los mendigos 6.. 15. entonces . Luis es un buen jugador 0 es muy afortunado. Si caballos. California 9. Si Luis es un buen jugador. Si us ted se da prisa entonces llegara a tiempo. Es decir. proposiciones moleculares. A las focas no les crece eI peio. Si Maria canta. entonces es posible que ocurran terrernotos. los gatitos llevan mitones. no escribiendo las proposiciones atornicas de que consta y solo indicando el lugar que ocupan. Por ejemplo. 9. La lluvia puede ser la causa de que abandone 4. cuatro x+y= I. es atornica 0 es molecular. Escribir primero cinco proposiciones atomicas y formar despues cinco x=O entonces 22. 10. a la hora de la junta. Los puntos suspensivos «entonces» ocupan despues de «si» y los puntos suspensivos despues de el lugar de las proposiciones. 7. 15. Recuerdese que «~i . x=O 14 Si x=l 0 y= I. 8. rnoleculares utilizando este termino de enlace basta simplemente sustituir los puntas suspensivos por proposiciones at6micas cualesquiera. entonces participara 8. Este no es mi dia feliz. Si z > 10 entonces x+z>1O y y+z> 10. . Decir cuantas proposiciones at6micas se encuentran en cada proposici6n molecular. Si los deseos fueran 19. 13. 10.. . 2. 0 z=2entoncesy>1. Los anfibios se encuentran en el agua fresca 0 se encuentran en la tierra cerca de sitios humedos. Se puede encontrar a Juana en casa de Susana. La misma manera de escribir el terrnino de enlace «si . Si hay fallas en las grandes mas as rocosas. Los alurnnos mayores no estan en la lista antes que los jovenes. Estabamos confundidos respecto C. entonces los gatos pueden breros. EI viento sopla muy fuerte. entonces lluvia. 5. 14. Todavia Las reglas para eI uso de los terminos de enlace son las misrnas. Este chico es mi hermano y yo soy su hermana. Este mimero es mayor que dos 0 es igual ados. Para formar proposiciones 1:1 carrera. Si aquellas nubcs se mueven en esa direccion. colegio.. entonces es feliz. 7. » 10 indica. £1 pregunta CURSO DE LOGICA MATEMATICA por su escudilla. El amigo de Juan tiene razon. si en una proposicion molecular se sustituyen las proposiciones atomicas por otras proposiciones atomicas cualesquiera. 2. la forma de la proposicion molecular se conserva. y=2 y z= 10. 4. que planes hay para manana. 3. x=1 o. Veremos 5. 3.4 PRIMER 5. En uno de los ejercicios anteriores se vio que era posible elegir una 0 dos proposiciones atomicas cualesquiera de un grupo y cornbinarlas con un termino de enlace. Mi puntuacion es alta 0 recibire una calificacion baja. Muchos 11.. no del contenido de la proposicion 0 proposiciones atornicas. 13. 24. 1. Muchos gerrnenes no son bacterias. La asignatura preferida de Jaime es Matematicas. Esta proposicion 20. tendriamos tiempo de llegar a las siete. Si x>O entonces y=2. Si x+y=2entonces z>O. Pablo podria ganar facilmente. D. 17. x+y=y+x. cabalgarian. tendremos 16. 12. 12. x+y>2. 23. El sol calentaba 21. Formar proposiciones dos de las proposiciones escritas a continuacion junto con un terrnino de enlace. Se puede representar la forma de una pro· posicion molecular urilizando eI terrnino de enlace «y» de la manera si- . Si 'es un mirnero positivo entonces es mayor que cero. Decir cuales son los terminos de enlace en las proposiciones siguientes.. Utilicese cad a uno de los cuatro rerminos de enlace una sola uez. se puede poner el termino de enlace «y» entre dos de ellas y rambien se puede utilizar la misma proposici6n at6mica mas de una vez . 16. • moleculares utilizando una 0 1J La forma de las proposiciones moleculares B.

por ejemplo.» 0). Otra manera de poner de manifiesto la forma es encerrar entre parentesis las proposiciones atomicas. pero en este caso son . La proposicion sera entonces Juan no esta aqui y Andres no esta aqui. En algunos casas. pero ocasionalmente tambien «a la vez». se tiene la proposicion molecular «E~ rojo y es azul». Si (Jose no es infiel) entonces (Juan es fiel). Siempre nos referiremos al termino de enlace «Y». en castellano se utiliza una sola palabra para un termino de enlace particular. al utilizar el termino de enlace «y» pueden incIuirse las palabras «A Ia vez». y otras 5610 «0». Las palabras «a la vez» e «y» son partes de un mismo termino de enlace. Por ejernplo. como en: Juan no esta aqui y Luis esta aquL Lo importante es que cualesquiera que sean las proposiciones con las que se llenen los espacios. La forma para el termino de enlace «0» puede ser. (Llueve ) y (Pedro se ha mojado). se puede lIenar el primer espacio con -Ia proposicion molecular «Juan no esta aqtii».. Podemos ponet de manifiesto Ia forma de otros tipos de proposiciones moleculares de la manera siguiente: )0( ). en algunos de los cuales se usan parentesis para mayor claridad. por tanto: O( )0( ). Se trata de una proposicion molecular en la que se utiliza el termino de enlace «y». Por ejemplo. 12 proposicion «Yo soy alto y el es bajo». Los ejemplos que siguen son de esta forma: o x+y=6 o (x+y=7 o o Juan esta aqul 0 no llueve. T ambien se podrfa utilizar una proposicion molecular y una proposicion atomica. atomicas mo- . Hemos dicho que se pueden Ilenar los espacios can proposiciones cualesquiera. La forma permanece la misma. (Juan esrd en Ia dudad) 0 (Marfa no esta en casal. Maria esta aquf 0 Elena esta en casa. ox=O. En las proposiciones en castellano algunas veces se utiliza «OlH<O. De nuevo. A continuaci6n se dan ejemplos.r : 6 PRIMER CURSO DE L6GICA MATEMATICA SIMBOLIZACION DE PROPOSICIONES 7 guiente ----y ----)y( o bien leculares. y el segundo espacio con la proposici6n molecular «Andres no esta aqui». pero otras veces se usan dos 0 mas. Se podrian haber escogido otras dos proposiciones atomicas y formar. la forma es la de una proposicion molecular con eI termino de enlace «y». Por ejemplo. se puede decir: A la vez llueve y sale el sol. Y y=2. cuando se ha escrito la proposicion molecular como en los ejemplos siguientes: (Es rojo) y (es azul). En general s610 se utiliza «y». Se pueden tarnbien utilizar proposiciones moleculares y la forma es Ia misma. o se puede escribir la misma frase afiadiendo 1a palabra «0» al principio como una parte del terrnino de enlace: Se pueden sustituir los espacios por cualquier proposiclon y la forma es la misma. incluso sin limitarnos a proposiciones atomicas. Las dos palabras «0» son partes del mismo termino de enlace. EI terrnino de enlace «y» enlaza dos proposiciones. Algunas veces. pero podra presentarse Si ( entonces ( ). Si 2+3=x entonces x=5. Por ejemplo. la forma es la misma. Si (v+ I =4) entonces(v=3). (Maria no esta aqul) 0 (Susana no estd aqul).proposiciones moleculares. Todo 10 dicho es aplicable a los otros terminos de enlace. si se desea utilizar. o es muy pes ado 0 es hueco. Cuando se hable del termino de enlace «0» se sobreentendera que puede incluir tambien una «0» inicial. 0 Se pueden llenar los espacios con proposiciones cualesquiera. eligiendo hs proposiciones «Es rajo» y «Es azul» y poniendolas en los espacios sefialados. se puede utilizar 1a Unica palabra «0» como termino de enlace como en: Es muy pesado 0 es hueco. y y~2) 0 [x.

7. 6. se puede utilizar el parentesis para mostrar la forma de la proposicion rnolecu11r. Si Pedro esta en casa inocente. pero se vera mas tarde que es de utilidad su uso en los contextos En las proposiciones maternaticas en las que se utiliza el signo igual = . La proposicion se leerfa entonces: No ocurre que Ia logica sea dificil. entonces . La palabra «no». 4. 5. Por este motivo es facil olvidarla. x=6). No ocurre que 6= 7. 0 y=O y x. 1. Asi. 2. Por ejemplo: Si es Felipe. es lento.. Ju"an·es. frecuentemente nos encontramos que se suprime la palabra «entonces». Evidentemente.cO). y Si x+y=2 Si (x+y=7 y y=O. Si ( ).. Juan quiere a Marfa. Suprimir los parentesis al escribir las proposiciones. 0 Si Marfa quiere a Juan. sin embargo. en castellano. ( ). (1'=I). entonces Jose es 7. Proposiciones de esta c1ase estan Iormadas por el termino de enlace «Sl. . A la vez (x>O) y (v. 3. No ocurre que si x+O= 10 entonces x= 5. En muchos casos en que se utiliza el termino de enlace «si. 0 Maria no esta aqui Juan se ha ido. ( )y( ). 9.. «x~ I» se lee «x no es igual a 1». 5. Si x+ 1=10 entonces x=9. 6... Si x~ I y x+y=2 entonces y=2... ). 9. x=2. 8..t~ aquf y Maria ha salido. No (x=2+ I). entonces . y=O y x=O. ( )0 ( )y( ). B. 3. es una proposicion molecular puesto que contiene el «no». En ninguna de las dos proposiciones «x~ 1» y «Juan no esta aqul». E]ERCICIO rnatematicos.. Escribir en lenguaje corriente proposiciones de las Iormas siguientes. No ( ) entonces ). ). Entonces es posible presentar la forma de una proposicion molecular utilizando el termino de enlace «no» del siguiente modo: No ocurre que ( o mas brevemente: no ( Ejemplos de esta forma son: No ocurre que (x=O). 0( )0 ( ). 10.. No (7)x+y). se indica con frecuencia fa negacion con un trazo inclinado sobre el signo igual: yf. se encuentra muy Erecuentemente dentro de las proposiciones atornicas. ( Si ( ) entonces no ( Si no ( ). 0 Juan est a en el patio. Utilizar el parentesis para poner de manifiesto la forma de las siguientes proposiciones moleculares. porque el terrnino de enlace «no» aparece dentro de Ia proposicion atomica. el uso de «No ( )>> es infrecuente en el Ienguaje castellano.cO 0 z=2. 1. » se incluyen amhas palabras. 4. A la vez x~y y y~z. )y( ). A la vez ( ). Es posible escribir este termino de enlace utilizando la Erase «no ocurre que». 2. Pero una proposicion tal como: La logica no es dificil. No ocurre que ( ). ). 8. No ocurre que (x+y>2). ). 2 A. Si x= I 0 y=2 entonces z=3.» y son de la forma: Si Ejemplos de esta forma son: ).8 en la forma: PRIMER CURSO DE LOCICA MATEMATICA 51MBOLlZACl6N DE PROPOSlClONES 9 A la vez ( Por ejemplo..

entonees es hora de empezar la clase. Daba tres pasos hacia la derecha y entonees iba dos pasos hacia adelante. Sea G=«Necesito Supongamos ahora que se desea simbolizar una proposrcion molecular que utiliza el terrnino de enlace «Q)). «A». 8. aunque ordinariamente en castellano la palabra «no» se encuentre dentro de Ia proposicion at6mica sobre la que acnia. sin embargo. Se vera mas adelante que si se utilizan simbolos para las proposiciones atomicas es mas facil trabajar con las proposieiones moleculares. El termino de enlace. Consideremos ahora la proposicion «La nieve es profunda y e1 tiempo es frio». AI simbolizar una proposicion que contiene el terrnino de enlace «no». Por ejemplo. 2. 1.) Especificar cual es la proposicion atornica representada por cada una de las letras. son letras mayiisculas tales como «P».r 10 PRIMER aJRSO DE L6GICA MATEMATICA Sea SIMBOLIZACION DE PROPOSICIONES 11 • 1. posicrones atomrcas por letras mayiisculas.f~rma. «R». ~imholiz~r . Traduci: al lenguaje corriente las proposiciones siguientes en otras que tengan Ia rrnsrna . Q = «El tiempo es frio». Las rosas son rojas y las violet as son ~zules. y «8». Generalmente se cree que las proposieiones atorrucas son proposicrones cortas. Si suena el timbre. 9. simbolizaremos la proposici6n «Los patos no son animales de cuatro paras» de la siguiente manera: L= «Esta luz es debil». (Utilizar el mismo termino de enlace' y sustituir las letras con proposiciones atomicas. Los pathos no se transforman en cisnes. 4. y se considera la proposicion «Se puede elegir sopa 0 se puede elegir ensalada». la palabra «no» se pone delante del simbolo que sustituye a la proposicion atomica. 6.4 Simbolizaci6n de proposiciones Q =«Los pates son animales de cuatro paras». Los simbolos que usaremos en logica para representar proposiciones. 7. « S». Primero escrihiremos la forma logica de la proposici6n haciendo usc de los parentesis: (La nieve es profunda) Utilizando «P guiente » E]ERCICIO 3 y (e1 tiempo es frio). Si la clase de Qulmica ya ha empezado entonces llego tarde. por tanto. debe separarse de la proposici6n atornica. . no es una parte de la proposicion atomica y.Ias proposiciones moleculares siguientes sustituyendo las pro. 10. Una parte de la Luna no se ve desde Ia Tierra. EI ultimo simbolo sustituye solo a la proposicion atomica y no incluye el termino de enlace. A .. que pueden resultar muy largas y complicadas. sea: P=«La nieve es profunda». 1a proposicion molecular sera entonees No (Q). 5. la palabra «no». Si Brasil esta en Sudamerica entonces esta en el hemisferio Sur. 3. y la proposicion quedara simbolizada por (R) 0 (5). «Q». Necesito ponerme las gafas 0 y « Q» queda simholizada la proposici6n de la manera siesta luz es debil. Por ejernplo. La simbolizarernos de la manera siguiente: Sea R=« Se puede' elegir sopa» 5=«Se puede elegir ensalada». ponerme las gafas» entonces la proposicion queda simbolizada en la forma (G) 0 (L). (P) y (Q). Estos problemas no son faciles para mf. B. En Logica se afronta este problema utilizando simbolos en lugar de las proposiciones cornpletas. pero tarnbien algunas de las proposiciones at6micas dellenguaje corriente son largas. 0 Antonio ira al teatro 0 ira al cine. Los ejercicios que se dan a continuacion pueden servir para adquirir practica en la simholizaci6n de proposiciones. resultando por ello pesadas y de dificil manejo.

063 entonces x= 1. (R) Y (1) 8. T arnbien se dara un nombre a la proposici6n molecular que se forme utilizando cada uno de los terminos de enlace. revisando algonas de las cuestiones ya analizadas. Una conjunci6n es un tipo de proposicion molecular. 3. Nosotros usaremos el simbolo que se encuentra en la mayorfa de las maquinas de escribir: viejas. se puede escribir la conjuncion de dos proposiciones P y Q de la forma: (P)&. 6. Si x. Recuerdese que . No (1) C.062. =. » en lengua castellana. La union de dos proposiciones con la palabra «Y.062 entonces r> 1. Si x+y=3 entonces y+x=3. Si un material se calienta entonces se dilata. Un ejemplo de una conjunci6n es esta proposicion: Sus ojos son azuIcs y los ojos de su hermano t~mbien son azules. La proposid6n molecular es la conjunci6n de Ia proposici6n at6mica Pyla proposici6n atomka Q. 8. x+y=2 y y= I. D.. 5. el trabajar can Ahora que ya sabemos simbolizar proposiciones . Si las arefias son insectos entonces han de tener seis patas. 9. entonces x.. Simbolizar las proposiciones metematices siguientes sustituyendo las proposiciones atornicas por letras mayusculas. 5i x. 2. No (P) SIMBOUZACION DE PROPOSICIONES 13 2. No (E) 5. utilizando el sfrnbolo Iogico correspondiente para los terrninos de enlace.06y. que es una conjunci6n. proposiciones moleculares resulta mucho mas fadt. Simbolizar las proposiciones siguientes. (P) y (Q) 4. entonces (Q) 6. Recuerdese que el slmbolo & sustituye al terrnino de enlace completo tanto si se refiere a «y» como si es «a la vez. • 1. 5. Si (R). 4.. 10. entonces(S). Pero tambien se pueden utilizar slmbolos para los mismos terminos de enlace. A. 2. (Q).. Entonces se puede simbolizar la proposici6n molecular.. 3. Si (P). Despues escribir separadamente las proposiciones at6micas que se encuentran en cad a una de las proposiciones _ moleculares. 0 Jaime es el ganador 0 Luis es el ganador..e es la negacion de &.12 PRIMER CURSO DE LOCICA MATEMATICA 1.. Utilizando este simbolo. Muchos planetas son 0 demasiado calidos para que vivan seres como nosotros 0 demasiado fries para que vivan seres como nosotros.. Primero Indicae cuales son el termino 0 terminos de enlace de cada proposicion. Si x=y entonces x=2. y . Jose no es el ganador. Es tarnbien uti! introducir un simbolo para «y. 1. por 1. se denomina conjuncion. Si x+y>% y z= 1 entonces x+y> 10. Los Alpes son montafias j6venes y los Appalaches son montafias (P) y(Q). Sea P la proposicion atomica «Sus ojos son azules» y sea Q Ia proposici6n atornica «Los ojos de su hermano tam bien son azules». Los discos antiguos de Jose son buenos pero los modernos son todavia mejores. Si x. Si (S). 2. Indicar la proposicion at6mica que corresponde a cada letra. Las arafias no son insectos. Si x-y=~~ entonces y-x~2. 8. Si x. 4. = E]ERCICIO 4 l.06y y y-. Estos terminos de enlace son tan importantes que se estudiaran por separado en las secciones siguientes. Cada una de las proposiciones siguientes es molecular. Se considerara cada termino de enlace por separado y se Ie asignara un simbolo.061 y x. 7 x+y+z=2o x+j 10.. Juan vive en nuestra calle y Pedro en la rnanzana contigua. 7.e2 0 x. 1. Si Tomas es el ganador entonces el tendnl la medalla. (5) 0 (Q) 10. Si Tomas no es el ganador entonces debe colocarse en segundo lugar. (R) 0 (5) 3.5 Los ierminos de enlace y sus) slmbolos atomicas. Juan es el segundo y Tomas es el cuarto. Y. 9. 6.de las dos proposiciones. completamente. entonces (8) 7. 9.06z entonces X>Z.

Por ejemplo: Esta es el aula cuatro 0 es una aula de Fisica.. 10. matematicas o (F) 4. Una disjuncion es . las dos proposiciones atornicas son las mismas. Se puede dar eI vector por medio de dos componentes. Traducir al lenguaje corriente las poposlclanes siguientes. U otro recibira el ernpleo. Tomara parte en el salto de altura o correra media milia. 3. En eI ejemplo precedente. Meti6 la nariz y ya saco tajada. 1. ».:JERCICIO 5 siguientes. 4. simbolizar solo el termino A. 1 puede parecer un poco rara... Es decir. 5.. c. .. (Q) & (P) J. El simbolo que utilizarernos para la disjuncion es: V. 4. 8. Por ejernplo. Hemos de llegar alIi antes.14 PRIMER CURSO DE LOGICA MATEMATICA SIMBOLIZACION DE PROPOSICIONES 15 3. x~O y x+y=2. Leeremos esta proposicion diciendo (F) 0 (R). Es decir" se han de sustituir las letras por proposicianes en lengua castellana y el simbolo logico por el termino de enlace correspondiente. . molecular formada por el term ina de enlace «0». 8.x+y=y+x y x+(y+z)=(x_+y)+z. 0 tamara parte en la representacion 0 ayudara en el vestuario. o La union de dos proposiciones por medio de la palabra «0» se denomma disjuncion de las dos proposiciones. 2. La estrella de mar es un equinodermo y los enzos de mar son tam- bien equinodermos. Juana tiene trece afios y Rosa quince. En las proposiciones de enlace «y». la proposicion «Esta es el aula cuatro». se podria leer la proposici6n molecular considerada en la forma: o esta es eI aula cuatro a es una aula de Fisica.. El reactor se elevaba a nuestra vista y dejaba tras S1 una fina este a 6. x-x=O y x+O=x. A la vez (A) Y (8) 3. 0 eI area del triangulo ABC es menor que el area del triangulo DEF . La proposlclan antes escnra . 0 la aguja esta gastada 0 la grabaci6n es mala. 6. frescar. Se trata de una parte del termino de enlace. . no debe incurrirse en el error de incluir la «0» inicial como parte de la primera proposicion.5. (T) & (C) D. 2. Recuerdese que eI simbolo V represent a el terrnino de enlace completo. si F es la proposicion «Esta es el aula cuatro» y R es la proposicion «Esta es una aula de Fisica». 1. blanca. (P) y (0) 2. y segundo «Esta es una aula de Fisica». 1.3. primero. A la vez (T) Y (G) . Simbolizar completamente las proposiciones siguientes. 9. (R) & (5) 3. 4.5. Jorge es alto y Andy es bajo. Indicar la proposicion at6mica sustituida por cada letra. . 1. B Terminar la simbolizad6n de las prapasicianes que siguen sustituyendo el termina de enlace por el carrespondiente slrnbolo 16gico. x=O Y y=4. Probablemente esto es debida a que en el lenguaje corriente se incluye la palabra «0» inicial junto con la palabra «0» central. El sol desaparece detras de las nubes y en seguida empieza a fe- . 0 Juan sed reelegido 0 destinado para un puesto nueva. 7. (8) & (H) 5. entonces la disjuncion queda completamente simbolizada por: (F) V (R). una proposicion . tanto si en la lectura 0 escritura de la proposicion se emplea solo «a» 0 bien «a . . (H) y (K) 4. 0 el bote cruzo la barra 0 se lo tragaron las olas. El juego ~a empezado y llegaremos tarde. 0 estamos en tres dimensiones. EI area del triangulo ABC es igual al area del rriangulo DEF. 7. (5) y (Q) En ambos casos. 0. utilizando el simbola que corresponde a cada termino de enlace. . (P) & (Q) 2. y algunas veces tambien 0 (R). Hoy es dla treinta y manana sera primero. . es I dis] a Is/unClOn d e dos praposicianes .

«Las elecciones presidenciales no stem pre term man con armenia» seria la siguiente: Sea «:0: P =«Las elecciones presidenciales siempre terminan en armenia» entonces la proposicion se indica como sigue: No (Pt Para simbolizar completamente la proposicion. Sin embargo. La palabra «no» en el lenguaje corriente se acostumbra a encontrar dentro de la proposici6n. Es la negacion de la proposicion atomics: Las elecciones presidenciales sismpre terminan C. La f~rma correct~ de simbolizar la proposicion. el resultado se denomina la negacion de la proposicion. (A) V (E) con armonia. y+z=z+y y o+x=x. (x=O y y>O). &y V. y z=w)o (x<y y z=O). 0 y=x 0 y~x. en LOgica. D. puesto que forma proposiciones moleculares a partir de proposiciones atomicas. no 10 es. siguientes sustituyendo el ter- tinto de los otros terminos de enlace pues se usa con una sola proposicion. 0 x~O 0 los sirn- En L6gica la adici6n del termino de enlace «no» a una proposicion atomica da lugar a una proposicion molecular. (R) V (Q) 5. B. 2.(P) sobre elecciones presidenciales. Peces con pulmones pueden tomar el oxigeno del aire to mar el oxfgeno del agua. 3. Simbolizar las proposiciones matematicas siguientes utilizando pero conservando los simbolos maternaticos y los parentesis. 0 (x=y No. (R) V (S) 3. se puede decir: «No srernpre ocurre que las elecciones presidenciales terrninen con arrnrmia» Cuando a una proposicion se le afiade el termino de enlace «no». 10. Pero es dis- . una negaci6n es una proposicion molecular que utiliza el terminc de enlace ~(no». . y+x>y+x+z 0 z=O. 0 (x+y=O y z>O) 0 z=O. emplearemos un sfmbolo para Ia negacion: t.16 PRIMER CURSO DE LOGICA MATEMATICA 0 SIMBOLIZACI0N pueden DE PROPOSICIONES 17 9. Asi. 0 (R) 0 (5) 4. EI termino de enlace «no» es analogo a los otros terminos de enlace. 0 una anemona es un animal 0 es una planta. pero conservando los simbolos rnaternaticos. 0 (P) 0 (Q) 3. es facil cometer el error de olvidar Ia colocacion de delante de la letra mayiiscula elegida para simbolizar la proposicion atornica. Esto es necesario ?ara poder representar la negacion por un simbolo 16gico. (T) 0 (E) 5. t(P). Por ejemplo. (P) 0 (Q) 2. totalmenre simbolizada. 0 x=O 0 x>O. Un e. sera: 4. por 10 que se puede considerar el slrnbok. Acabar de simbolizar las proposiciones mino de enlace pot su signo correspondiente. 0 x>] 0 x+y=O. para traducir al castellano I~ proposicion -. x=O y (y+z>x 0 z=O). 0 (P) 0 (N) A pes~r. Traducir al lenguaje corriente las proposiciones siguientes en otras de la misma forma: I. Simbolizar las proposicrones rnatematicas siguientes utilizando bolos & y V. 5. (G) V (H) 4. x. 2. (P) V (Q) 2. Como en el lenguaje corriente se acostumbra a hacer la negacion colocando la palabra «no» dentro d I proposicion atomica. E. 3. 1. 4. una sola 1.o!O y y~O. -. 6. La proposicion del ejernplo anterior. 1. A veces es mas facil traducir estas proposiciones aI castellano empezando con Ia fra~e «No ocurre que». nos acostumbraremos a considerar el termlno de enlace separado de la proposicion sobre la que acnia.de que parece una proposicion atornica por contener propostcton.emplo de negaci6n es Ia proposicion: Las elecciones presidenciales no siempre terminan con armonfa. como equivalente a «no ocurre que».

is Simbolizar cornpletamenre las proposiciones sustituyendo los rerminos de enlace por los simbolos correspondientes. Indicar las proposiciones atomicas sustituidas por cada letra mayUscula. 5. en la forma «S! ( ) entonces ( )>>. En primer lugar. 4. Por ejemplo.. No (R) y no (M) 3. 1. len. ambas neg aciones. 5. 2.. 3.. de la misma manera que con las atornicas. No(Q) 3. 1. (T) V (0) . NO(H) 4. Si un mimero es mayor que 0..(5) 10. C. No ocurr~ que todos los liquidos hiervan a la misma temperatura Jo~n QUincy Adams no fue el segundo Presidente de los E t d . No ocurre que a todos 10i ingresos les correspondan impuestos proporcionales. no (8) 4. entonces . No todos los gerrnenes son bacterias. Julio no es un mes de verano.» en la que el termino de enlace une una proposicion atornica y una negaci6n. Unidos. . «negacion» «conjuncion». Texas no es el mayor estado en los Estados Unidos. se enlazan 1115 dos proposiciones moleculares pot el termino de enlace dominante. 6. 3.(0) (P) & (0) .. Simbolizar completamente las proposiciones siguientes. Luisa no es una persona alta. 3.C). Tom no llega tarde y Jaime no es puntual Jaime no es puntual y Tom llega tarde. No (J) Aqui se tiene una disjunci6n de dos proposiciones moleculares. .« J. 0 Jaime es puntual 0 Tom llega tarde. 5.(T) 7. «disjuncion»). correspon- o el juego no ha empezado 0 el publico no es numeroso. -. 1. su forma logica se puede presentar can mayor claridad poniendo parentesis en la proposicion escrita: (0 En las proposiciones siguientes se utiliza mas d e un termino de enlace. 4. que denota su forma (por ejemplo. 0 Jaime no es puntual 0 Tom llega tarde. 2. utilizando los simbolos correspondientes a cada termino de enlace. En el hemisferio Sur. DeSPUl!S. . Tom llega tarde y Jaime no es puntual. pues. (T) y no (R) Elegida una letra mayUscula para cada proposici6n atomica se expresa su negaci6n poniendo el slmbolo • delante de 13 letra. (R) & (T) 9.0 no (P) 0 no(Q) 5. ' A. No ocurre que (T) 5. Los tubos de noon no son incandescentes.18 PRIMER CURSO DE LOCICA MATEMATICA 4. 9. No ocurre que (R) 2. b. 2.o de enlace en las proposiciones que siguen. Las negaciones se combinan frecuentemente con otras proposiciones para formar una proposicion molecular mas larga.. (P) V (0) 8. (S) 0 el juego no ha empezado) 0 (el publico no es numeroso). s a os 8. La forma. . «<J ( )0( h> puede incluir negaciones como en la siguiente disjuncion: Marte no esta tan cercano al Sol como la Tierra. . die as . l. Identificar cada una d I proposrciones rnoleculares siguientes escri. 1. que en este caso es el termino de enlace «0».5) V (-. La proposicion completamente simbolizada se presenta en la forma ~:s P~ime~o se~alar cada ter~i~.aime es puntI ua »y Q = «Tom ~ega tarde» en las cinco proposiciones. entonces no es un nurnero negative es una proposici6n molecular de la forma «si . (-. No ocurre que la ortiga de mar sea una planta 10. SIMBOLIZACI6N DE PROPOSICIONES 19 Los terminos de enlace se pueden utilizar con una 0 mas proposiciones moleculares. 7. simbolizar la proposicicn entera sustituyendo P . Por ~jemplo. se pueden llenar los espacios vados con proposiciones atomicas 0 con proposiciones moleculares. EJERCICIO 6 E. B: Simbolizar las proposiciones siguientes utiIizando el sirnbolo diente para cada terrnino de enlace. Se simboliza esta proposicion de la misma manera que se simbolizan otras proposiciones moleculares.0 a p~l~bra. (P) y no (Q) 2.(R) (R) V (5) (R) & (5) 6.

.. ent?nces contiene eI e1emento hidrogeno. 1. Marfa se ha ido 0 no esta en su sitio. Examinar las proposiciones siguientes y seiialar cada termino de enlace que se encuentre en elIas. Primero se escogen letras mayiisculas para las proposieiones atomicas: Sea P = «Hoy Ilueve» Q= «Se suspende eI picnic». Si es negro. entonces el viernes es nueve. entonces perderernos nuestro voto. La proposicion que sigue a la palabra «entoncess es el consecuente.. Si las luces estan eneendidas. Cuando se unen dos proposieiones mediante las palabras «si . entonees x mas uno es igual a tres.pRIMER CURSO DE LOGICA MATEMATICA SIMBOLIZACION DE PROPOSICIONES 21 F. x>O 0 x=O. y entonees se sustituye el termino de enlace por el simbolo: joven entonces Antonia es mas vieja. 8. La palabra «sis precede a la primera proposicion y la palabra «entonces» precede a la segunda proposicion. . entonces la familia Alvarez esta en casa. c. 0 X=O 0 x¢O. ~imbolizar las proposiciones siguientes. Rosa es mas vieja entonees tiene sesenta afios. Si 5. 6. Si 3. 3. SI hoy es siete. A. entonces y<O. entonces Ilegara a Canada ma- nana. entonces tendra que andar.. La proposicion situada entre la palabra «si» y Ia palabra «entonces» es el antecedente. original. E]ERCICIO 7 7. Si x+y=z. Pedro es el segundo entonees estd despues de Marcos Pedro esta despues de Marcos entonees Marcos es el primero. Un ejemplo de una proposicion eondieional es: Si lIueve hoy. S~ es un acido. . 3. Ia proposicion molecular resultante se denomina una proposicion condicional. ~~ pierde usted el autobtis.. Si 2. En vez de los puntos se puede poner eualquier proposicion. No es mediodia y el almuerzo no esta listo. 2. Rosa tiene sesenta aiios entonees Luisa tiene sesenta afios. entonces tres y dos son cinco. Pedro es el segundo entonces Juan es el tercero. 10. 6. -. 8. 9. 9. entonces . Estos term inos se utilizaran con frecuencia cuando se trabaje con proposiciones condicionales. Juana es mas joven entonees Rosa es mas vieja. entonces. Si x+y=O y x=O.. 2. entonces . 7.. entonees Juan podra estabilizar el precio. Ya se dijo que la manera de eseribir el termino de enlace «si . Si dos mimeros no son iguales. Si haee suficiente frio. Si x+y=O y x>O.. B. Hay algunas denominaeiones que se introducen en LOgica para las partes de una proposicion condicionaI. Si dos pulsaciones se atraviesan. utilizando los sfmbolos correspara los terminos de enlace. 1. entonces uno es mayor que eI otro. Si Juana es mas Si Si Si Si Ahora ya podemos simbolizar la proposrcion eonsiderada de la manera siguiente. contimian eonservando la forma 4. entonces y=O.. 1. Si su produccion creee. La primera proposicion atomica es «Llueve hoy» y la segunda proposicion es «Se suspende el picnic». » da idea de la forma de la proposicion eondicional. 5. Examinar las proposiciones eondicionales siguientes y seiia!ar en cada una el anteeedente. 10. Antonia es mas vieja entonees Luisa es mas joven. entonces no reflejara la luz. Luis es el cuarto entonees Carlos es el quinto. 5. Juan es el tereero entonces precede a Luis. Si 4. 2. Seiialar la proposicion atomica representada por eada letra mayiiscula. pondientes 1. ». 51 dos y tres son CinCO. Para poder simbolizar cornpletamente esta proposicion condicional emplearemos el sfmbolo siguiente para el termino de enlace: ' atomica Si 3. entonces y+x=z. entonees se suspende eI picnic. entonees el lago se helara.. ~I usted se dirige hacia el norte. Si no estamos alll. 5. Examinar las proposiciones eondicionales siguientes una el consecuente.20 . Si y sefialar en cada (P) - (Q). S~ x es igual a dos. 4. 4.

Un parentesis que encierre P V Q.(Q) 7. sin embargo. la & se mantiene como termino de enlace dominante 0 mayor. La proposici6n molecular se puede unir a alguna otra por medio de un term ina de enlace de manera andloga a como se uniria una proposici6n at6mica. si se utilizan proposiciones moleculares. Si (Q) entonces (P) 4. (R) & (T) 1. ] « Q. nt '6 .0 x=2 y y=3.inante. (T) 8. resultando la forma simb6lica siguiente: ya Hemos vista que es frecuente encontrar proposiciones que tienen mas de un termino de enlace. o 1 x= 1. x= 1 Sea P='x= I' .en ]a propo· . Si (P) entonces (R) 2. juncion SIMBOUZACION DE PR.OPOSICIONES 23 D.A. 2. muestra que las partes estan ligadas c?nstituyendo una proposici6n unica. (R) V (P) (5) (5) -. por ejemplo. y se obtendria. Si se design a por T la proposicion «Antonio estudia en la Universidad» y por A la proposicion «Ana estudia en la Universidad».T y -. y puesto que «R. (Q) . tampoco contiene ni &. P V Q. serian . Los terminos de enlace pueden unir 0 pueden ser usados con proposiciones moleculares de la misma forma que con las proposiciones at6micas. el resultado es: '. (P V Q) & (R)..(Q) 6. Por esto se le denominara dominante porque es eI que acnia sobre toda la proposicion.. ni _. 4. estas a su vez contienen otros terminos de enlace. 5. Para mayor facilidad s~ adopta el slgu. Simbolizar completarnente las proposiciones siguientes. A la vez. y cuyo segundo miembro sea una proposici6n at6mica. Identificar las proposiciones condicionales de entre las proposiciones que siguen. 3.6 Agrupamienlo Esta proposici?n ~n tantos parentesis es diffcil de leer. E. Una es la proposici6n at6mica R' la otra es una proposici6n molecular. EI termino de enlace «y» enlazara una proposici6n molecular formada utilizando «0" con una proposici6n at6mica. En todos estos casos uno de los terrninos de enlace es eI mayor.22 PRIMER CURSO DE LOCICA MATEMATICA . V . Si (P) entonces no (5) 5. sup6ngase que la proposici6n se leyera la proposici6n se Esta es una conjuncion y los espacios se pueden Ilenar ya sea con proposiciones atomicas 0 moleculares.Considerese una conjunci6n cuyo primer miembro sea a su Vel una dis.. (P) V (Q). Pero. las proposiciones que se colocarian en los parentesis de la forma anterior. ni V.(5) y parentesis 9. entonces la disjund6n es = 1. Q-'x-2'. la disjunci6n. ' ?bservese que en las proposiciones en lengua castellana simbolizadas antenormente. seiialan cual es el termino de enlace dom. Si (5) entonces (T) 3. se logra el mismo objetivo por medio de la coma. 1.lente convenio: una proposiei6n que no contenga &. Si estas proposiciones se colocan en los espacios corresoondientes de una conjunci6n. ' Los parentesis son los simbolos de puntuacion de la 16gica. En consecuencia . Sea. (P) V -.(5) 10. Pero. EI termino de enlace «y». SICI n anterior se pueden suprimir los parentesis que encierran la «P.~ la proposlcl6~ atomica es R.. no necesua colocarse entre parentesis. sustituyendo los terminos de enlace por los correspondientes simbolos logicos. como en la proposicion: Antonio no estudia en la Universidad y Ana no estudia en la Universidad. (R) - (5) (P) ( (P) V (Q» & (R). . une dos proposiciones.. y R' y = 3' . por tanto. reduce a: (P V Q) & R. • (P) (R) (T) & (T) & -. y y=3.-:0 x=2. poniendo una C despues de cada proposicion de esta forma. la conjuncion de dos negaciones. Se puede ver rapidamente que se trata de una conjunci6n. _. Muestran como esta agrupada una proposici6n y. Recuerdese que uno de los tipos de proposicion molecular era de la forma: )&( ). Si no (5) entonces no (T) .

eatonees . se precisa alguna manera de destacar el terrnino de enlace dorninante en Ia proposicion.. considerese la proposicion: (1) 0 el estd equivoeado y yo tengo razon. EI escribir reiteradamente el «a la vez» y el «0» iniciales.0» y «0» envuelven la conjuncion «el esta equivocado y yo tengo razon» que es precisamente que es manifiestamente una proposicion simbolizada por la formula (3 l. en las dos proposiciones (1) y (4). como dominante. As! la proposicion (1) se puede simbolizar: (2) (W & R) V S. las dos proposiciones simbolizadas se presentarian igual.24 PRIMER CURSO DE LOCKA MATEMA.. Poniendo parente sis con el fin de que se vea la forma claramente. Cuando se simbolizan proposiciones en lengua castellana. La proposicion (4 leon parentesis serla: A la vez ( o( Si ( )0 ( )y( ). 0 quedare Poniendo los parentesis se tiene: o (eI esta equivocado y yo tengo razon) sorprend ido ). en las proposiciones escritas en castellano no siempre es tan claro. «0» indica que es una disjunci6n formada con «0 .. Sin embargo. la primera palabra de la proposicion indica ya el tipo de proposicion logica de que se trata: «a Ia vez» indica que es una conjunci6n formada con «3 la Vel y.. segiin se ha visto es el uso de las comas. si se presenta despues de Ia disjuncion no domina como en (3) y (4). la proposicion en la forma final es W & (R V S). 0 (quedare Los parentesis sefialan claramente que las palabras . la proposicion (1) serla: (5) 0 (a Ia vez el esta equivoeado y yo tengo razon] 0 (quedare sorprendido): es decir... Es posible introducir el «a la vez» acompaiiado al «y». Cuando se utilizan estos terminos. una de las cuales se escribe al principio de la proposicion molecular: EI esta equivocado.. «a Ia vez» y «entonces» y Ia proposicion puede seguir teniendo el mismo significado. es c1aramente una disjuncion simbolizada por la formula (2). (4) P V (Q & R). )V ( ) Por otra parte. Por las razones dadas anreriormente no es necesario el parentesis que encierra la proposicion atornica. (3) LIoI expresion en castellano serla: 0 se llenaran los espacios con una proposici6n atomica y una conjuncion: (P) V (Q & R). indica que es una condicional formada con «si .0 " como dominante. Un metodo. sorprendido. Si «0» se presents antes de Ia disjuncion domina como en (1) y (2). y sorprendido. pero sin duda se pierde en daridad l6gica. yo tengo razon 0 quedare Observese la diferente colocacion de la palabra «0.TICA es «0».. por 10 que no se suelen incluir. ).. As! como en Logica el parentesis sefiala siempre de manera muy clara cual es el terminc de enlace dominante. Para que la frase en castellano suene mejor se suprimen a veces las palabras «0». por tanto. siendo entonces im- ... pues existen diversos rnetodos para indicar la dorninancia.. ordinariamente compuesto de dos partes. da lugar a un lenguaje poco elegante. y «si. si el parentesis se coloea de manera que la & quede fuera. SIMBOLIZACION DE PROPOSICIONES 25 En este caso la coma express que el termino de enlace dominante Como la forma de la disjunci6n es una parte de toda la disjuncion. entonces esta dominara y la proposici6n completa se transforma en una conjuncion. ). For ejemplo. EI metodo mas claro de poner de manifiesto la dorninancia de un termino de enlace es usar el termlno en la forma gramatical mas completa. desgraciadamente se suprimen tambien algunas veces que son necesarias. » como dominante.. Observese que prescindiendo de los parentesis.. (6) ) entonces ( A la vez (el estd equivoeado) y (0 yo tengo razon 0 quedare sorprendido).

Poner los adecuadamente para indicar que en este caso el termino de enlace dominante es «0. P V R & Q 5. pero se puede hacer en (7). 5 4. e intentar en cada una de ellas poner los parentesis en distintos sitios. 1. No se puede hacer en (1). Q & R V T Ambas proposiciones se pueden sirnbolizar poniendo: P = «x es mayor que 1» Q «x es menor que b R = «x es menor que 0»_ Sin embargo. (4). Observese una vez mas que los parentesis encierran Is proposici6n molecular que no tiene el termino de enlace dominante. P V Q& R 3. mientras que (7) es ambigua por tener mas de un significado posible.a diS)u~cl0n. si son necesarios. importante. No se puede asegurar si (7) es una conjunci6n una disjuncion. . pues la proposici6n (P V Q) & R es distinta de la proposicion P V (Q & R). E]ERCICIO 9 E]ERCICIO 8 Cada una de la~ p~oposiciones simbolizadas siguientes es una conjunpo~ 10 que el terrmno de enlace mayor 0 dominante es «y •. la vez x es menor que 1 y x l. (8) se simboliza (10) y (9) se simboliza (P V Q) & R = C. (5). 0 Pedro es presidente y Juan es tesorero. Q V R & S 4. (5) y (6) son claras con un solo significado. Cuando se tienen que traducir proposiciones matematicas en simbolos 16gicos. Indicar el agrupamiento adecuado de las proposiciones atomtcas poniendo parentesis que seiialen cuaI es el termino de enlace dominante.. 3.~a de las proposiciones siguientes se dice si es una conjunci6n o . 5. 2.26 PRIMER CURSO DE LOGICA MATEMATICA SIMBOUZACION DE PROPOSICIONES 27 posible decidir cudl es el verdadero significado de la proposici6n.PVQ&S 2.. es dominante. (8) A la vez x es mayor que 1 es menor que O. para que la forma resulte clara. (5) y (6). (6) y (7). Simbolizar las proposiciones siguientes. 4. Q V R &.Los parentesis se requieren para indicar cual es e1 termino de enlace dominante en cada proposici6n. se pueden utilizar los mismos metodos. Por ejemplo. (4). P&QVR D. ~: CIO~. Asi resultan casos ambiguos como: (7) :£1 estd equivocado y yo tengo razon 0 quedare sorprendido. disjunci6n conjunci6n conjunci6n disjunci6n disjunci6n SVT&R TVS&Q T&SVR P V Q &T P V (Q & R). parentesis es menor que 1 y x (9) x es mayor que loa es menor que O. R & P V T 3. indicando el agrupamiento por media de parentesis cuando sea necesario. De ~a~a u. 0 Jaime es tesorero. Q & R V T B. Copiar las proposiciones (1). comparense las proposiciones (8) y (9). 0 EI uso cuidadoso y exacto de los parentesis en L6gica es muy.PVQ&S 2. P & Q V R 5. Lo que indica que (1). Poner los parentesis adecuadamente para indicar que «y. 1.un. (4). EI termino de enlace dominante queda [uera del parentc:sis. 0" I. P6ngase parentesis en las proposiciones en lenguaje corriente. Cada una de las proposiciones siguientes es una disjuncion.

si se desea. condidonal P_Qv R 2. Para todas las proposiciones. y su rey esta sobre el cuadro rojo. y Carlos es el teniente..TICA 2. disjuncidn Q-P VS 9. P-+R&S 1. Se considera ahora la proposici6n Si este cuadro es negro entonces aquel cuadro es rojo y su rey esta sobre el cuadro rojo. §imbolizar las proposiciones maternaticas siguientes..». entonces . Y 0 Juan es tesorero. Rosa es su hermana 0 Javier es su her- :5. Jorge es el capitan Jose es el capitan. Si a la Vel x es menor que tres y x es mayor que uno entonees x es igual ados. por = . Ram6n es su hermano y 0 51MBOUZACl6N DE PROPOSlClONES 29 lC6mo se podrla cambiar el ejemplo de manera que c:l tcrmino de enlace «y» fuera el dominante? En castellano se puede lograr insertando una coma: Si este cuadro es negro entonces aquel cuadro es rojo. se E. conjuncion P & Q-T 12. 0 x no es igual a E]ERCICIO 10 5. indicando el agrupamiento parentesis si es necesario. Para simbolizar esta proposici6n molecular se pone p=.S B. eligiendo letras atomicas para sustituir las proposiciones matemdtlcas at6micas. Junto a cada proposiclon molecular escrita a contlnuacion. condicional P&Q-+R RVP-+Q 4._ (Q & R). condicional 5. Para sefialar que & es el termino de enlace en la proposicion cambia la posicion del parentesis. y si x<y entonces x<5. 3. Se puede.. condidonal J. conjunci6n P-+Q &S R &P_Q 6. La proposici6n simbolizada es p.Este cuadro es negro» Q=«Este cuadro es rojo» R = «Su rey esta sobre el cuadro rojo».28 PRIMER CURSO DE LOGICA MATEMA. simbolizada. 0 Jaime es tesorero. 2. 4. A la vez el resultado es un mimero primo 0 Marfa est a equivocada y Rafael esta equivocado tambien. condicional P&Q-T 13. 4. evitar la coma utilizando la palabra «a la vez» como parte del termino. A. A la vez si este cuadro es negro entonces aquel cuadro es rojo y su rey esta sobre el cuadro rojo. condicional Q-+ R V-. 0 mano.S 15. Simbolizar las proposiciones siguientes. disjunci6n P-RV Q 10. La proposlcion es una proposici6n condicional en la que el consecuente (la proposici6n que sigue a «entonces») es una conjunci6n. entonces x es igual a lox es igual a O. y=4 seis. Afiadir los parentesis-necesarios. disjund6n RVQ-+T 8. 0 x es mayor que cinco y x es menor que siete 3. disjund6n PVT-Q 14.. sea J = «Juan esta en Ia clase 1» C = «El esta en la clase de Qufrnica» K «Alvaro esta en la elase h. 0 Ram6n es su hermano y Rosa es su hermana 0 Javier es su hermano. se ha puesto el nombre del tipo de proposicion molecular a la que pertenece. condicional P-R V Q 11. Pedro es presidente. de enlace dominante. disjuncion Q-R V-. El termino de dorninante es «si . Simbolizar las cinco proposlciones matemdticas de E utilizando los slmbolos 16gicos para los terminos de enlace y simbolos matematicos para las proposiciones ma tematicas at6micas. 1. conjunci6n 7. (P -+ Q) & R. Si x+3>5 y y-4> entonces y>6. . F.. 6. Si x es menor que 2.

se pone entre parentesis con un sfmbolo de negacion de1ante del parentesis. Simbolizado. -. este ejemplo se escribira: negro es verde. En cada una de las proposiciones siguientes uno de los slrnbolos V. Sea P =«Usted ve un gato negro» Q = «Usted tendra mala suerte». entonces el estd en 1:1 elase de Qulrnica. . Observese el slmbolo que denota la negaci6n.( ). l EI agrupamiento entre parentesis manifiesta claramente que 10 que se ha negado es la proposicion condicional completa y no simplemente el antecedente. en la elase de Qulmica. eatonces Juan esta en la elase 1. -+. Se pueden encontrar ejemplos en los que se nieguen otro tipo de proposiciones rnoleculares. proposicion P. 0 Juan no esta en Ia elase 1. ya sea at6mica 0 molecular. As]. Recuerdese que se puede negar cualquier proposicion. Considerese la proposicion molecular completa y no solo No ocurre que a la vez Juan tenga una hermana y el tenga un hermano. 4. las proposiciones son disjunciones. Sup6ngase que se simboliza esta proposicion poniendo primero P para designar la primera proposicion atomics y Q para designar la segunda proposicion atomica. Por tanto. La disjunci6n es entonces P V Q. Es decir. si se designa por P la primera proposicion atomica y por Q la segunda proposicion atomica. indicar que 10 que se niega es la proposicion una parte de ella. Aqu] se quiere negar la proposicion completa.(P V Q). Por ejemplo. . y jurn no esta en la elase 1. Se trata como una proposici6n unica. Sin ningiin cambio mas que la adici6n de . convirtiendo todas las proposiciones en negaciones. se trata de negar una disjunci6n como en el caso siguiente: No ocurre que el libro 0 es rojo 0 Finalmente. se considera la negaci6n de una condicional. entonces Alvaro esta en la elase } y el esta SIMBOLIZACION DE PROPOSICIONES 31 2. El terrnino de enlace dominante esta fuera del parentesis. y conjunciones a pesar de empezar por una negaei6n. la forma simbolizada de la negaci6n de una proposici6n es: . En este caso el terrnino de enlace «no» domina al termino de enlace «0». Quiza la explicaci6n mas simple para el agrupamiento y el uso de los parentesis en Logica es que una proposicion molecular encerrada entre patentesis se presenta como una proposicion atomica respecto a otros terminos de enlace 0 a otras proposiciones con las que puede ligarse. Al simbolizar una proposicion se debe tener en cuenta que e1 slmbolo para la negaci6n se aplica a 1a proposicion completa mas corta delante de la que esta colocado. se tiene: La negacion de una proposici6n molecular. Sup6ngase que se hubiera entendido que las negaciones iniciales dominan. 5. condiciona les. No ocurre que si usted ve un gato entonces tendra mala suerte.0 &' domina.}O PRIMER CURSO DE LOGICA MATEMATICA 1. A la vez si Alvaro esta en la elase 3. Hay casos en los que se desea expresar la negacion de una proposici6n molecular entera. Repetimos que tambien son necesarios parentesis para A. Cua1quier propos icion se puede negar poniendola primero entre parentesis y luego colocando el simbolo de negacion delante del parentesis. Si 0 Alvaro esta en la elase 3 0 el esta en la elase de Qulmica. para negar la proposici6n P V Q. 3. E]ERCICIO 11 EI agrupamiento entre parentesis indica: (1) que la negaci6n se refiere a toda 1a proposicion (en este caso una disjunci6n) -no s610 a la proposicion at6mica mas pr6xima-. Al simbolizar esta proposicion. y (2) que Ia negaci6n es el terminc de enlace dominante. 0 Alvaro esta en la elase 3 0 si Jaime esta en la elase 1 entonces el est8 en la elase de Qulmica.(P -+ Q). Luego. Si Juan esta en Ia elase 1. se desea manifestar que Juan no tiene a la vez un hermano y una hermana. 0 si Juan esta en la elase 1 entonces el esta en la elase de Qulmica.

32 PRIMER CURSO DE"L6GICA MATEMATICA 51MBOUZACl6N DE PROPOSICIONES 33 parentesis. 2. B.P --+ R -.R &-. Dar Ia negad6n de cada una de las proposiciones siguientes afiadiendo slmbolos de negacion. a Ia vez Juana sea su hermana y Rosa sea su hermana.Q 1. 5.Q &-. sea 1.P & T 6. 4. 11. -.. entonces es jueves. 0 la pregunta mimero uno es cierta y Ia pregunta mirnero dos es falsa.. 4. 0 no es jueves 0 no sucedi6 en lunes. y ahora el reloj sefiala las diez. -. -... -. 0 estrellas muy lejanas presentan paralaje 0 aparecen en el telescopio como discos. No todas las regiones de Africa tienen un dima calido y hiirnedo y no toda el Africa ecuatorial es una tierra de vegetacion espesa y exuberante.S 2.P &-. No sucedi6 en lunes y es jueves. 0 no es jueves 0 sucedi6 en lunes. 7.-. 0 yo estoy equivocado.R con- 7. P-R 5. 0 yo estoy equivocado y la pregunta niirnero uno es cierta 0 la ptegunta numero dos es falsa. P V -.T 4. E. P V T 3. No es jueves y sucedi6 en tunes. 3.S 12. -.R --+ S por D.Q -..R-S 3. I.P -+ R -.Q --+-. 8.Q Y. 6. No ocurre que a ]a Vel sucedi6 en Junes yes jueves. 10.p _. No ocurre que 0 es jueves 0 que sucedi6 en lunes. -. 10. Junto a cada una de las proposiciones que siguen. 10. 0 si no estan terminados tendra que hacerlos por la noche.p_ Q 5.S 8. '5 p=«Es jueves» Q = «Sucedio en lunes».. Si una sustancia organics se descompone. No ocurre que. 3.. y parentesis si es necesario. -. entonces se puede calcular la aceleracion centrlpeta de la Luna. entonces sus componentes se transforman en abo no y fertilizan el suelo. Anadir los parentesis necesarios.T V S -. (P & C. 0 sus deberes estan terminados. Simbolizar Ias proposiciones siguientes.. 8.. disjunci6n negacidn conjuncion negacion . Y (R & S). convertir cada proposici6n en una negacion.R & T -.Q -.p --+-. negaci6n 7.. Juana no es su hermana y Rosa es su hermana. 12.N V M 9. 4. S 2. 2. Simbolizar las proposiciones siguientes tal como indica el ejemplo rinuacion.R V 5 6. Ejemplo: Sea P =«Juan es el mas pequefio» Q=«Pedro es el mas alto» R=«Pedro es el mas bajo» S=«Juan es el mas grande». Si se conoce el perfodo del movimiento de Ia Luna y se sabe la distancia de Ia Tierra a Ia Luna. -.S & P II. 2. Si no sucedi6 en lunes entonces no es jueves.S -. 7.P V R 4. Si no ocurre que sucedio en lunes. No ocurre que.. 0 Juan es eI mas pequefio y Pedro es el mas alto a Pedro es el mas bajo y Juan es el mas grande.R -."5 &-. No ocurre cue a la vez es jueves y que sucedi6 en lunes. T --+-.T 10. se da el nornbre del tipo de proposicion molecular a la que pertenece. 9. indicando el agrupamiento medio de parentesis. . -.Q 5. y la pregunta mirnero dos es falsa . No ocurre que si es jueves entonces sucedi6 en lunes. 9. ~ J. 3. negacion condicional conjuncion negacion a. -.. . A la vez yo estoy equivocado 0 Ia pregunta mimero uno es cierta. Q & R 6 . -. Si son las diez entonces la sesion de la Asamblea General ha empezado. 9. II B. condicional 6. 1.

Q) P V -. disjunci6n 3... se pueden e1iminar algunos de los parentesis en las proposiciones simbolizadas: • REGLA -+ Q -. .34 PRIMER CURSO DE LoGICA MATEMATICA SIMBOLIZACION DE PROPOSICIONES 35 13. si se tiene (P -+ Q) V R.P) & se escribe 0. Tambien. conjunci6n 4. P-+Q Por otra parte. en vez de (oQ) (P & Q) se puede escribir simplemente p&Q-+R -+ R se puede escribir: -. se tiene que utilizar el parenresis para indicar cual es dominante. 1. (oP) -+ Utilizando la regia I. en vez de • 1. puesto que & y V son igualmente fuertes. entonces no esta compuesto de cristales de cuarzo. As]. Si es despues de las cinco. la proposici6n A -+ (8 -+ C) tiene significado distinto de (A -+ 8) -+ C. En cada una de las proposiciones matemdticas siguientes se indica el tipo de proposici6n molecular que debe entenderse. pues es necesario para indicar que V es el terrnino de enlace dominante. 14. Ad. condicional 5. 15. es mas debit que cualquiera de los otros tres Utilizando Ia regIa 2. entonces la puerta esta cerrada y yo no tengo la llave. conjunci6n 6.P -+ -. EI J es mas potente que los otros termlnos de enlace.(P & Q). • REGLA 2 EI signo de negaci6n terminos de enlace. cuando se presentan ambos en una proposicion se tienen que poner siempre 105 parentesis para indicar cual es el termino de enlace dominante. Pero e1 parentesis es necesario en -.Q. en vez de P V (-. Tambien.P & Q. Finalmente.7 Eliminaci6n de algunos parentesis (-. condicional 7.. Poner los parentesis necesarios. f. Si este mineral no es duro.Q. condicional X=O x=O x=1 x=y x=y x=y x>y V x=1 V x¢O V x¢l -+ y¢z V x=z & y=z & y>z -+ & & & & -+ -+ y=2 y=z y¢3 y>5 y>3 x=z x>z La segunda regIa es tan natural que se ha hecho uso de ella sin haberla enunciado explicitamente. Adoptando algunas reglas simples acerca de la potencia de los terminos de enlace. en vez de se escribe 0. en vez de P se puede escribir -+ (Q V R) V R. condicional 2. . Si es despues de las cinco entonces la puerta esta cerrada y ademas. el significado de: . si una proposicion tiene dos condicionales. no se puede eliminar el parentesis. yo no tengo la llave.

condicional 8. despues siguen «y» y «0» que tienen la misma potencia. ~o . 11.. una proposicion molecular forrnada utilizando el terrnino de enlace «0» es una «disjuncion». para negacion. «R».. & y~z C.. Con estos slmbolos como instrumentos estamos ahora preparados para expresar de manera clara y precisa el significado de las proposiciones. por otra parte. Se necesit an los parentesis para indicar cuando un termino de enlace domina la proposicion. entonces .. «5».. pues Q&R (P V Q) es una conjunci6n. una proposicion molecular formada utilizando el terrnino de enlace «no» es una «negacion». En proposiciones que tiene mas de un terrnino de enlace es precise indicar la manera de agruparse. Junto a cada una de las proposiciones maternaticas siguientes se indica el tipo de proposici6n molecular al que pertenecen_ Utilizan~o las reg!as ~e prioridad establecidas sobre la potencia de los slmbolos. condicional 3. conjunci6n x~O x=O x~O x>y x=O x=y x=y x=y V -+ V & V & & V x>y & y=z x>y & y~z. y asf sucesivamente. «No» es eI mas debil.R & 5 P V Q -+IR -..8 SIMBOLIZACION DE PROPOSICIONES 37 Resumen pV no es claro. conjunci6n pV p-+QVR Q &R R-+S&T -. y es una disjuncion.Q -.36 PRIMER CURSO DE LOGICA MATEMATICA • 1.». entonces . conjuncion 4. pues distintas agrupaciones pueden tener distintos significados. 0 . condicional 2.. Una proposicion atomica es aquella que no posee ningiin terrnino de enlace. negacion 5. Los simbolos utilizados para los terminos de enlace... entonces .. & R P V (Q & R) E]ERCICIO 12 A.. y «si . Simbolizar las proposiciones del Ejercicio parentesis s610 donde sean necesarios. x~O & y=z y>z -+ x>z.. Utili:an~o las reg~as d. De los cuatro terminos de enlace indicados . condicional 5..p V -. -. entonces .A V -.. » ligan 0 acnian sobre dos proposiciones a la vez. » es una proposicion «condicional».. conjunci6n 2. en la proposici6n P & Q se pueden susrituir P y Q por propos.. Es conveniente en Logica utilizar unos simbolos para proposiciones y otros para terrninos de enlace. perrnanecen siempre los mismos.. «0». disjuncion 6. Para proposiciones at6micas se usan letras mayiisculas tales como «P». salvo algunas. y _ para la condicion. se puede sustituir cad a proposicion atomics por otra cualquiera y la forma se conserva. y.. afiadir los parentesis s610 donde sean necesarios. y=z y=z x=z x>O -+ )1=0 V x=z -+ x=z. 1. utilizando Para poder simbolizar proposiciones en Logica es preciso saber distinguir las partes logicas de estas p-oposiciones.. 0 mediante la puntuaci6n.. condicional 6. Una proposicion molecular formada utilizando el termino de enlace «y» es una «conjuncion». negacion 7. V para disjuncion. Junto a cada una de las proposiciones siguientes se indica el t!~ de proposicion molecular al que pertenece.p -+ Q A&B-+C M-+NVP -.. Sin embargo.iciones escritas cualesquiera. a pesar de tener las mismas proposiciones atomicas y los mismos terminos de enlace. «Q». Por ejemplo. por 10 menos. disjunci6n 4.. afiadir los parentesis solo don- de sean necesarios.B & IC B. las agrupaciones se presentan de acuerdo con la colocaci6n de ciertas palabras. conjuncion 8_ disjunci6n 9_ negaci6n 10. Secci6n E. y una proposicion molecular formada utilizando el rerrnino de enlace «si. Puesto que los terrninos de enlace determinan la forma de una proposicion en Logica. » es el mas fuerte. si no es el termino de enlace mas fuerte en la proposicion. y son: & para conjunci6n.orldad establecidas sobre la potencia de los simbolos. y «si . «Terrninos de enlace de proposiciones» (0 simplemente «terminos de enlace») es el nombre que en Logica se da a terrninos tales como «a la vez. cad a terrnino de enlace puede dorninar..». .e p~. En lengua castellana. 1.. Una proposicion molecular esta formada por una proposicion atornica mas un terrnino de enlace. «si . disjunci6n 3. En Logica la agrupacion se expresa por parentesis. La conjuncion (P V Q) & R tiene distinto significado que la disjunci6n P V (Q & R). conjuncion 7. «y».» y «no» que se utilizan para formar proposiciones rnoleculares a partir de proposiciones atomicas. mientras que el terrnino de enlace «no» acnia solo sobre una. que se presentan dentro de la parte de la Logica formal elemental conocida por L6gica proposicionaI. si 10 indica el parentesis.

La guerra no puede explicarse 7. Perez esta enfadado. Si dos 0 mas elementos se unen quimicamente para formar una nueva sustancia. 5. Si eI Sr. 3. de enlace. demasiado Juan demasiado demasiado tarde demasiado ha venido dernasiado 0 8. Despues de cada proposici6n molecular escribir el terrnino de enlace utilizado en aquella proposici6n. 13. 15. Este libro tiene mas paginas que ague! otro. Si Luis ha venido demasiado tarde y Juan no ha venido dernasiado pronto. sintetizar los alimentos. Juan entonces ha venido el Sr. 3. Si la tribu nentes. Cornpletar la traducci6n de las siguientes proposiciones at6mica simbolizada por cad a una de las letras mayiisculas. demasiado 6. Si Luis no ha venido demasiado tarde y Juan ha venido pronto. Luis ha venido demasiado las proposiciones cual es la proposicion F. Si 2_ 0 P entonces Q P 0 Q 0 0 3. Perez esta enfadado. D. El tiempo atrnosferico to particular cs la s ituacion de la atmosfera y el c1ima es la variacion de la situacion Q =«Juan ha venido demasiado pronto» R =«El Sr. fisicas y tiene propiedades quimicas. demasiado tarde y Juan pronto. Si el Sr. Perez no esta enfadado. . Sornos capaces de hacer todos los ejercicios de esta pagiria. 0 mi reloj va malo lIegaremos tarde. Perez esta enfadado. 4. 12. entonces el producto se denomina un compuesto. 'EI Sr. 0 Luis ha venido pronto. siado tarde. entonces el Sr. EI Sr. entonces la asamblea 2. 10. Escribir cuatro proposicrones que tengan tcrminos dis/into termino de enlace en cada una de ellas. Perez no esta enfadado. 9_ No somos capaces de hacer todos los ejercicios de esta pagina. entonces tarde 0 Luis no ha venido ha venido derna- 7. y Juan demasiado ha venido pronto. y Luis ha venido demasiado pronto. 3. 2. sustituyendo las palabras que corresponden de enlace par sus correspondientes simbolos.38 PRIMER CURSO DE L6GICA E]ERCICIO MATEMATICA SIMBOLIZACION 5. entonces el Sr. Escribir cuatro SimboIizar proposiciones at6micas. a los terrninos 1. Perez esta enfadado. 11. 5. Las proposiciones moleculares contienen rerminos de enlace. Perez esta enfadado». indicando . ha venido demasiado tarde y 6. Si Luis ha venido 2.0 no P Q entonces no Q no R . Perez Juan esta enfadado. No se puede terminar el reportaje: hoy. los para las proposiciones atornicas: p =«Luis ha venido utilizando los siguienres simbo- demasiado tarde» 1. 11. Sirnbolizar las proposiciones siguientes. fuera n6mada. !I reconocio la obra como de un poeta ingles del siglo diecinueve. Si truyen por cIorizaci6n. No ocurre que. Necesitaremos ayuda 0 tardaremos dos dias en completar el reportaje. en- 0 Luis ha venido demasiado tarde 0 Juan pronto. entonces el npelara el caso. 4. Este problema no es correcto. Si son mas de las seis. Poner una «A» despues de cada proposicion at6mica y una «M» despues de cad a proposici6n molecular. Si Juan no ha venido demasiado tarde. en un momendel tiempo 0 E. Rosa es menor de edad y su hermano es mayor de edad. ha venido dernasiado pronto. y si Luis ha venido entonces el Sr. DE PROPOSICIONES entonces no construiria chozas 39 perrna- 13 Ejercicios de repaso A. Un elernento tiene propiedades tot alrncnte por una causa. Perez no est a enfadado. atrnosferico en un periodo largo de tiempo. demasiado tarde tonces el Sr. Las bacterias en el agua 0 se destruyen hirviendo el agua se des- 1. entonces no puedcn simbolos 16gicos. La piedra arenosa se produce por medio de capas de arena endurecida y la piedra caliza se produce por las conchas de pequefios animales en eI mar. Utilizar 10. entonces el Sr. Juan tarde. Si 0 P 4. Perez demasiado pronto 0 Luis ha venido esta enfadado. Perez esta enfadado B. C. 12. 4. 1. 14. 8. Si la sentencia es contra eI defensor. y 0 Luis ha venido pronto. moleculares en ha empezado. siguientes. demasiado 9. Si las celulas de la planta no tienen cIorofila. entonces Luis ha venido demasiado tarde 0 Juan ha venido demasiado pronto.

R x=1 G. Si x es menor que cinco 0 wayor que siete entonees no es igual a seis.p V -. Perez esta enfadado».Q .at6micas e indicar la proposicion atomica a la que sustituye cada una. . (No es necesarro escribir las proposiciones en castellano. x es igual a tres 0 x es mayor que seis. 8. SI x no es igual a cmco. s~mbolos dados. proposici6n molecular 5. c. Q 1. 0 e1 Sr. y luego escribir la proposicion completa en castellano.0 6. 0 esra es la casa de Antonio 0 la direcci6n que nos han dado no es correcta. b. J. d.• (R ~ S) 4. consecuente 7. Aparear cada una de las palabras de la izquierda can los ejemplos a (a) P -4 Q (b) -. Simbolizar las proposiciones rnatematicas (3). Simbolizar las siguientes proposiciones matematicas eligiendo letras rnayusculas para sustituir las proposiciones matematicas.) Sea p = «Juan ha venido demasiado pronto» Q = «Maria ha venido demasiado tarde» R =~(El Sr.. Para las proposiciones maternaticas urilizar los sfrnbolos matematicos tfpicos. I .. proposici6n condicional 4. 10. si P entonces Q No ocurre que.Q 11. x<5 -+ . 5. P yQ 0~ y S No ocurre que. b. entonces el Sr. No ocurre que si x es un mimero impar 11.• S 2. I. a.(P & Q) (c) pV Q (d) Q en la proposici6n P ~ (e) -. entonees Juan no podra Comprarlo. a la vez P y Q No ocurre que 0 P 0 Q Si no P entonces no Q y R No ocurre que. 1. P Y Q0R 12. entonces no R 3 . Sirnbolizar (i] Cualquier proposici6n can un termino de enlace (j) Cualquier proposicion sin terrninos de enlace. entonces Juan no ha venido demasiado pronto. Cuatro no es un mirnero impar. Traducir las siguientes proposiciones logicas (formulas) en lengua caste- .i x es menor que t. proposid6n atomica Simbolizacion del lengua]« cuotidiano Q las proposiciones siguienres. dieiendo clararnente 10 que representan las letras mayUseulas elegidas como simbol~s. simbolizar las proposiciones siguientes..p (f) P en la proposici6n P (g) P & Q (h) .Q -4 definiciones en la lista de la derecha. S. 7. Examen de repaso I. Perez esta enfadado 0 Mada no ha venido dernasiado tarde. c. 2. P v. Si x mas cuatro es siete e y mas x es ocho entonces Y es cinco 6. Primero elegir una proposici6n atomica en castellano para eada Ietra atormca. Utiliza~do los. e. x+3<5 6. CURSO DE LOCICA MATEMATICA SIMBOUZACI6N DE PROPOSICIONES 41 5. P & -. a la vez P y no P 0 lIa?a . Perez esta enfadado.(x=O) 5. entonces es menor que cuatro. negacion ). 9. a. 3. x es mayor que cinco. Si Marfa ha venido demasiado tarde. 4. disjuncion 2. Simbolizaci6n can simbolos dados entonces x es divisible por dos. H. P Y si Q.res. Se ha levantado aire y ha refrescado.0 P YQ 0R 13.(x>6) & . (5) y (6) de H utilizando los simbolos logicos para los terminos de enlace y los simbolos matematicos rlpicos para las proposiciones atomicas. enronces a es mayor que cinco a es menor que cinco. Si el libro cuesta mas de cien pesetas.40 PRIMER. conjuncion 8. Si Juan ha venido demasiado pronto 0 Marfa demasiado tarde. antecedente 6.

. 3. h. Indicar despues c6mo serla la proposici6n en simbolos logicos y afiadir los parentesis donde sean necesarios.. . Tomas no es nuestro representante y Jose no es nuestro capitan. entonces Juan no ha venido demasiado pronto y Marfa no ha venido demasiado tarde. ... Simbolizacion de proposiciones con parentesis Completar las proposiciones siguientes eligiendo de entre las palabras escritas al final la que esta definida por la proposici6n dada. 0 Jaime es el mas alto 0 Juan es el mas alto.p &Q P&Q~R ... b. y el Sr.p ~-. c. negaci6n . En L6gica.... Si el baile empieza a las seis. d. c..p V.42 PRIMER CURSO DE L6GICA MATEMATICA c. Si Marfa no ha venido demasiado tarde y Juan no ha venido demasiado pronto. entonces nosotros llegaremos pronto y Pilar Ilegara tarde. e. Poner los parentesis en los lugares correspondientes cuando sean necesarios. f. La combinaci6n de una 0 mas proposiciones at6micas con un termino de enlace de proposiciones se denomina . O«beta»esta antes que«gamma»y «etas-esta antes que «theta» 0 yo no se griego. La proposici6n molecular que utiliza e1 terrnino de enlace «no» es una . No ocurre que. e. conjunci6n consecuente disjunci6n negaci6n Uso del parentesis En algunas de las proposiciones siguientes son necesarios parentesis para que correspondan a las proposiciones moleculares indicadas en la izquierda. La proposici6n molecular que utiliza el termino de enlace «0» es una antecedente at6mica proposici6n molecular condicional IV. g. entonces el Sr. .. Antonio se marcha ahora y 0 yo ire con el 0 Pedro ira con el. La proposicion molecular que utiliza el termino de enlace «y» es una . a. una proposici6n completa que no tiene termino de enlace se denomina .. 0 Maria no ha venido demasiado tarde 0 Juan ha venido demaslado pronto. Perez no esta enfadado. g. Dejiniciones V... Perez no esta enfadado. SIMBOLIZACION conjunci6n condicional negacion disjunci6n condicional disjunci6n 1..p & Q . La proposici6n situada antes del termino de enlace en una propos i- ci6n condicional se denomina .P~Q P&Q~R nr. entonces » se denomina una .... Sefialar el terrnino de enlace dominante en las proposiciones siguientes. f. Si el Sr.. conjunci6n P V Q &R b. g. f. b.. e. La proposici6n molecular que utiliza el termino de enlace «si . .R P V Q &R -. conjunci6n DE PROPOSICIONES 4} d. d. negaci6n j.R P~Q VR .. d. e. Marfa ha venido demasiado tarde y Juan ha venido demasiado pronto. h.. Perez esta enfadado. La proposici6n situada despues del termino de e~lace en una proposici6n condicional se denomina . a.

Sign up to vote on this title
UsefulNot useful