1 FORMALIZACIN DE PROPOSICIONES

Formalizar es representar las proposiciones del lenguaje natural mediante el lenguaje simblico de la lgica de proposiciones. A la hora de formalizar habr que tener en cuenta los siguientes requisitos: 1) Se emplearn diferentes variables enunciativas para cada diferente enunciado; para ello se usarn las minsculas p, q, r, s, t... Ej.: Llueve torrencialmente: p Juan caminaba despacio: q

2) Se utilizar una variable sola para cada enunciado, aunque ste sea muy largo. Ej.: Llueve: p A veces llueve torrencialmente en el precioso desierto del Calahari: q , simboliza no slo las negaciones explcitas, sino adems las implcitas.

3) El negador, Ej.:

No llueve: p Juan es inaguantable:

4) La conjuncin, , no slo sirve para simbolizar la conjuncin copulativa, y. En nuestra lengua hay otras maneras de construir enunciados conjuntivos: e, pero, las comas, e incluso la ausencia de ellas se suelen formalizar mediante la conectiva. . Ej.: Susana es rubia e Ins es morena. p q Felipe es menudo, pero subi la cuesta con rapidez. r s Son el timbre, me dirig a la puerta, la abr. p q t es la disyuncin no excluyente, como por ejemplo

5) La disyuncin simbolizada por

Ej.: Se necesitan personas que sepan ingls o francs. p q (es decir, se necesitan personas que sepan ingls, que sepan francs, o que sepan ambos idiomas a la vez.) Ej.: Sal o entra (p q) 6) A veces se eliden los verbos, lo cual no debe impedirnos ver que hay ms de un enunciado: Ej.: Juan y Elena adoran el golf. Juan adora el golf = p; Elena adora el golf = q) p q O Carmen o Pedro lo conseguirn (Carmen lo conseguir = p; Pedro lo conseguir = q) p q 7) Mediante el condicional, , se simbolizan las oraciones c ondicionales del tipo si los leones son carnvoros, entonces las leonas tambin lo son (p q). Pero no slo las expresiones si .. entonces se formalizan mediant e esta conectiva. A veces se elude la expresin entonces: Ej.: Si te gusta, te lo regalar: p q (p = te gusta; q = te lo regalar)

Tambin se traducen por condicionales otras expresiones como en los siguientes ejemplos: Ej.: Cuando vengas, te lo mostrar. p q

2
Ao de nieves, ao de bienes. p q Pagar, solamente si merece la pena. q p (p = pagar; q = merece la pena) Siempre que vienes, te enfadas. r s (r = vienes; s = te enfadas) Para que lo entiendas, lelo con atencin. (lelo con atencin = p; entenderlo = q) p q Pienso, luego existo. (r = pienso; s = existo) r s Es importante darse cuenta de cul es el antecedente y cul el consecuente, pues en ocasiones pueden situarse indistintamente en primer lugar antecedente o consecuente, manteniendo el mismo sentido condicional. As, por ejemplo, siendo llegas tarde = p; lo sentirs = q, se simboliza de la misma manera si llegas tarde, lo sentirs y lo sentirs, si llegas tarde esto es, p q

Lo mismo sucede en casos como siempre que quiero ir al cine, llegas tarde y llegas tarde, siempre que quiero ir al cine, o para votar, has de tener dieciocho aos y has de tener dieciocho aos para votar, etc. 8) Por ltimo el bicondicionador, , que equivale a dos condicionales (uno de ida y ese mismo de vuelta), se utiliza para formalizar expresiones del tipo si y solamente si. Ej.: Ir a Madagascar si y solamente si me toca la Primitiva. p q 9) Cuando aparece una negacin aplicada a ms de un enunciado debemos explicitar en nuestro lenguaje lgico a qu parte o partes se aplica la negacin. As vemos, por ejemplo, que la forma lgica (y, por consiguiente, sus condiciones de verdad). No llueve y no hace sol. p es muy diferente de la de: No es cierto que llueva y haga sol. (p o de la de: No llueve pero hace sol. p Lo mismo sucede en el caso de: Si no ahorras, tu futuro ser difcil. p y No es cierto que si ahorras tu futuro ser difcil. (p q) q q q

q)

1. Formaliza las siguientes argumentos teniendo en cuenta las siguientes variables proposicionales: p = Marta es prima de Pedro, q = Julin es primo de Marta, r = Mara es la novia de Pedro s = Julin est enamorado de Luca. 1. Marta es prima de Pedro y Julin est enamorado de Luca. 2. Si Mara es la novia de Pedro y Marta es prima de Pedro, Julin es primo de Marta. 3. Si Julin es primo de Marta, Mara es la novia de Pedro y Marta es la prima de Pedro. 4. O Marta es prima de Pedro y Julin es primo de Marta, o bien Mara es la novia de Pedro y Julin est enamorado de Luca. 5. Mara es la novia de Pedro y Julin no est enamorado de Luca. 6. Si Julin no est enamorado de Luca y Mara no es la novia de Pedro, entonces ni Marta es prima de Pedro ni Julin es primo de Marta. 7. Julin es primo de Marta si y solamente si Marta es prima de Pedro o Mara no es novia de Pedro. 8. No es cierto que o Julin es primo de Marta o Marta es prima de Pedro. 9. Si, ni Julin est enamorado de Luca ni Mara es la novia de Pedro, entonces Marta es prima de Pedro y Julin no es primo de Marta o Mara es novia de Pedro si y slo si Marta no es prima de Pedro. 10. Ni Mara es novia de Pedro ni Julin est enamorado de Luca, pero Marta es prima de Pedro o Julin no es primo de Marta.