P. 1
1. SIMBOLIZACIÓN DE PROPOSICIONES

1. SIMBOLIZACIÓN DE PROPOSICIONES

|Views: 4.371|Likes:
Publicado porAlex Sosa

More info:

Published by: Alex Sosa on Jul 05, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

08/11/2013

pdf

text

original

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->