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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Sign up to vote on this title
UsefulNot useful