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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful