Fundamentos I Uiversidad de Córdoba

P ⇐⇒ (Q ∧ R) Facultad de Ciencias Básicas

Nota sobre Formalización Depto. de Matemáticas y Estadística

Formalizacón de proposiciones
A continuación algunos ejemplos de como se formalizan algunas proposiciones del lenguaje cotidiano.
Formalizar consiste en representar las proposiciones con letras P, Q, R, . . . y expresar la proposición
en forma simbólica, utilizando los conectores ∧, ∨, →, ¬ y ↔.

Conjunción: Proposición del lenguaje cotidiano: Los perros son amistosos y los gatos egoístas.
P = los perros son amistosos
Q = los gatos son egoístas
Formalización: P ∧ Q

Las palabras pero, además y el grupo sin embargo indican conjunción.

Proposición del lenguaje cotidiano: Estudiaré, pero también jugaré video-juegos.

P = estudiaré
Q = jugaré video-juegos
Formalización: P ∧ Q (estudiaré y jugaré video-juegos)

Proposición del lenguaje cotidiano: Además de visitar a mi hermano, conoceré a muchas personas
P = visitaré a mi hermano
Q = conoceré a muchas personas
Formalización: P ∧ Q (visitaré a mi hermano y conoceré a muchas personas)

Proposición del lenguaje cotidiano: Él llegó temprano, sin embargo lo dejaron de último P = él
llegó temprano
Q = lo dejaron de último
Formalización: P ∧ Q (llegó temprano y lo dejaron de último)

Proposición del lenguaje cotidiano: Andrés y Juan viajarán mañana P = Andrés viajará mañana
Q = Juan viajará mañana
Formalización: P ∧ Q (Andrés viajará mañana y Juan viajará mañana)

Proposición del lenguaje cotidiano: Es verdad que iré al almuerzo y después iré a mi casa P = iré
al almuerzo
Q = después del almuerzo iré a mi casa
Formalización: P ∧ Q (iré al almuerzo y después del almuerzo iré a mi casa)

Disyunción: Proposición del lenguaje cotidiano: Voy al cine o al teatro P = voy al cine
Q = voy al teatro
Formalización: P ∨ Q (voy al cine o voy al teatro)

1
Proposición del lenguaje cotidiano: O bien solicito un préstamo, o lo compro el próximo año P =
solicito el préstamo
Q = lo compro el próximo año
Formalización: P ∨ Q (solicito el préstamo o lo compro el próximo año)

Condicional: Proposición del lenguaje cotidiano: Si tengo el dinero, entonces viajaré a Buenos
Aires P = tengo el dinero
Q = viajaré a Buenos Aires
Formalización: P → Q (si tengo el dinero, entonces viajaré a Buenos Aires)

A veces la palabra entonces no aparece explícita en la proposición cotidiana. Lo importante es

saber entender el sentido que tiene la frase.

Proposición del lenguaje cotidiano: Si vas por ese sendero, te dará miedo
P = vas por ese sendero
Q = te dará miedo
Formalización: P → Q (si vas por ese sendero, entonces te dará miedo

Una frase a la que hay que saber interpretar muy bien para dar su formalización es la siguiente:

Proposición del lenguaje cotidiano: Me pegas y te denuncio.

Aparentemente es una proposición que consiste en conectar otras dos por medio de un “y”, pero
el sentido que tiene la frase es completamente diferente. La interpretación correcta (la que dicta
el sentido común) es “si me pegas, te denuncio”, o con el entonces, “si me pegas, entonces te denuncio”.

P = me pegas
Q = te denuncio
Formalización: P → Q (si me pegas, entonces te denuncio)

Negación: Proposición del lenguaje cotidiano: No tengo ganas de salir

P = tengo ganas de salir
Formalización: ¬P (no es cierto que tengo ganas de salir)

Proposición del lenguaje cotidiano: No es cierto que gané la lotería

P = gané la lotería
Formalización: ¬P (no gané la lotería)

Proposición del lenguaje cotidiano: No hay nada en el cajón

2
P = hay algo en el cajón
Formalización: ¬P (no es cierto que hay algo en el cajón)

Bicondicional: Proposición del lenguaje cotidiano: Alex es hijo de Isadora si y sólo si la hermana
de Alex es hija de Isadora
P = Alex es hijo de Isadora
Q = La hermana de Alex es hija de Isadora
Formalización: P ↔ Q (Alex es hijo de Isadora si y sólo si la hermana de Alex es hija de Isadora)

Cobinaciones: Proposición del lenguaje cotidiano: Si estudias y vienes a clase, apruebas el curso
P = estudias
Q = vienes a clase
R = apruebas
Formalización: (P ∧ Q) → R

Proposición del lenguaje cotidiano: Es mentira que voy a ir a Buenos Aires y que estoy delgado
P = voy a ir a Buenos Aires
Q = estoy delgado
Formalización: ¬(P ∧ Q)

Ejercicios: Realizar la formalización de las siguientes proposiciones en lenguaje cotidiano:

1. Ni yo soy brasilero ni tu eres mago.

2. Te sales y te pondré falla.

3. Si haces trampa en el examen, no aprobarás y, o bien firmas el libro o bien serás castigado
todos los días.

4. Voy a viajar, pero si no viajo, terminaré lo que me pediste.

5. Voy a viajar, pero si no viajo, terminaré lo que me pediste si tengo el tiempo.

6. Si vas a clase, o entiendes la explicación o te copias.

7. Me quieras o no, tienes que aguantarme.