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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful