MARIA CLAUDIA NARANJO PABON 10-03

LÓGICA

El lenguaje de la lógica proposicional

Proposiciones atómicas y proposiciones moleculares

La lógica proposicional trata sobre la verdad o la falsedad de las proposiciones y de cómo la verdad se transmite de unas proposiciones
(premisas) a otras (conclusión). Una proposición es la unidad mínima de significado susceptible de ser verdadera o falsa.
Una palabra aislada, por sí misma, no nos dice nada. La palabra ‘perro’ tiene una referencia, pero no nos da
ninguna información si no es en el contexto de una proposición como ‘El perro está haciendo cosas raras’. Por
ello una palabra, a menos que constituya una proposición, no es verdadera o falsa. Sólo tienen valor de verdad las
proposiciones.
Debemos distinguir dos tipos de proposiciones: las proposiciones atómicas y las proposiciones moleculares. Las proposiciones
atómicas son aquéllas que no se componen de otras proposiciones. La proposición:

Todos los hombres son mortales

es una proposición atómica porque ninguno de sus elementos componentes es una proposición. Como podemos observar, una
proposición atómica es verdadera o falsa, y su verdad o falsedad no depende de otras proposiciones, sino de cómo es la realidad. Si
hubiera algún hombre inmortal, la proposición del ejemplo sería falsa.
Las proposiciones moleculares son aquéllas que están compuestas por proposiciones atómicas. Un ejemplo de proposición molecular
sería:

Voy a comprar pan y a tomar un café

La proposición del ejemplo es molecular porque se compone de dos proposiciones atómicas:

Voy a comprar pan

Voy a tomar un café

Estas dos proposiciones atómicas están conectadas mediante la partícula ‘y’. Una proposición molecular será verdadera o falsa, pero
a diferencia de lo que ocurre con las proposiciones atómicas, su verdad o falsedad no depende directamente de la realidad, sino que
depende o es función de la verdad o falsedad de las proposiciones atómicas que la componen. Esto significa que si quiero saber si es
verdadero o falso que “voy a comprar pan y a tomar un café”, es necesario que conozca la verdad o falsedad de ‘voy a
comprar pan’ y de ‘voy a tomar un café’ por separado.

Conectivas lógicas

Las proposiciones atómicas pueden combinarse de diferentes formas para dar lugar a proposiciones moleculares. Los elementos que
sirven para conectar las proposiciones atómicas entre sí se llaman conectivas lógicas. Las conectivas lógicas nos dicen cómo afecta el
valor de verdad de las proposiciones atómicas al valor de verdad de las proposiciones moleculares. Ya hemos visto que en el lenguaje
natural, la conjunción ‘y’ funciona como una conectiva lógica. Así, cuando decimos:

Las lechugas son plantas y los erizos son aves

estamos conectando la proposición atómica ‘las lechugas son plantas’ con la proposición atómica ‘los
erizos son aves’ mediante la conectiva lógica ‘y’. La ‘y’ nos está diciendo que la proposición molecular ‘Las lechugas
son plantas y los erizos aves’ sólo es verdadera si las dos proposiciones atómicas que la componen son ambas
verdaderas, y será falsa en caso de que, al menos
una de ellas, sea falsa. Como sabemos que los erizos no son aves, podemos concluir que la proposición ‘Las
lechugas son plantas y los erizos aves’ es falsa.
Probemos a cambiar la conectiva lógica del ejemplo, y conectemos las dos proposiciones atómicas del siguiente modo:
Las lechugas son plantas o los erizos son aves
La disyunción ‘o’ también funciona aquí como una conectiva lógica y nos está diciendo que la proposición molecular ‘las
lechugas son plantas o los erizos son aves’ es verdadera si al menos una de las proposiciones atómicas que la
componen es verdadera. Sabemos que los erizos no son aves, pero como las lechugas sí son plantas, concluimos que la
proposición molecular del ejemplo es verdadera.
Una tercera forma de conectar dos proposiciones atómicas sería:

Si las lechugas son plantas entonces los erizos son aves

Esta forma de conectar dos proposiciones nos indica que una de ellas es la condición de la otra y por eso la conectiva correspondiente
se llama ‘condicional’ o ‘implicador’. La primera proposición (Las lechugas son plantas) es la condición que se
ha de cumplir, y nos referiremos a ella como antecedente; la segunda proposición (los erizos son aves) es condicionado, y nos
referiremos a este elemento del condicional como consecuente.

En cuarto lugar tenemos la negación que, aplicada a una proposición atómica, simplemente invierte su valor de verdad, de modo que si
la proposición atómica
Los
erizo
es falsa, entonces la proposición molecular s son
aves

Los
erizo
s no
son
aves

será verdadera. Quizá sorprenda que consideremos molecular la proposición ‘los erizos no son aves’, pues
que no se compone de dos proposiciones atómicas, sino de una. La razón de que dicha proposición sea molecular y no atómica
es que uno de sus elementos componentes a (saber, la proposición ‘los erizos son aves’) es una proposición atómica.
Obsérvese que la negación no modifica el significado de la proposición negada, sino únicamente su valor de verdad. Esta falta de
significado es un rasgo esencial de las conectivas lógicas.
FORMALIZACION EN LA LÓGICA PROPOSICIONAL
Símbolos de la lógica proposicional
Como ocurre en otras ciencias, es necesario en lógica utilizar un lenguaje simbólico especial que elimine los rasgos que no nos
interesan y pongan de manifiesto los que sí nos interesan. En lógica nos interesa saber cómo están combinadas las proposiciones, y
no nos interesa en absoluto su significado. Por ello necesitamos unos símbolos que, prescindiendo del significado de las
proposiciones, nos indiquen la forma en que se combinan. Estos símbolos constituyen un lenguaje formal.
✔ La simbolización de proposiciones consiste en la representación del lenguaje ordinario (también denominado lenguaje
natural) mediante el lenguaje artificial (denominado lenguaje formal).
✔ Formalizar, significa reemplazar cada proposición por una variable y cada conectivo (término de enlace) o modificador (la
negación) por un operador lógico, todo ello correctamente jerarquizado mediante signos de agrupación.
Veamos cómo se hace:
1.- En primer lugar, las proposiciones atómicas pueden ser sustituidas por lo que llamaremos variables proposicionales, que serán
las letras
p, q, r, s, t, u, v, …
La operación consistente en sustituir las expresiones del lenguaje natural por símbolos lógicos se llama formalización. A la proposición
debidamente formalizada la llamaremos fórmula. Veamos, la formalización de la proposición atómica:
Juan Pablo es compositor
p
Veamos la formalización de la proposición molecular:
Rosario es empresaria, así como estudiante universitaria.
p q

p: Rosario es empresaria
q: Rosario es estudiante universitaria

Por su parte, a cada conectiva lógica le corresponde un símbolo, según se ve en la siguiente tabla:
OPERADORES LÓGICOS Son de dos tipos:
a) Diádicos
Se utilizan para representar a las conectivas (términos de enlace).

Conectiva Símbo Lenguaje natural Formalizaci

lo ón
Conjunción ∧ Pepe es bombero y María es camarera p∧ q
Disyunción ∨ Pepe es bombero o María es camarera p∨ q
Implicaci → Si Pepe es bombero, entonces María es camarera p→q
ón
(condicion
al)
Doble ↔ Sólo si Pepe es bombero, María es camarera p↔q
implicación
(bicondicional
)

b) Monádico
Sirve para reemplazar al modificador "no" o sus expresiones equivalentes (no es cierto, es falso que, no es el caso que, etc.)

Negación ¬ Pepe no es bombero ¬p

Formalización de proposiciones

A continuación, comentaremos algunos ejemplos de formalización. Comenzaremos por unos ejemplos sencillos, que agruparemos en
cuatro bloques, según la conectiva lógica usada, y a continuación presentaremos algunos ejemplos más complejos en los que
combinaremos varias conectivas.

Formalización de la conjunción

Proposición en lenguaje natural: Los perros son listos y los gatos egoístas.
p = los perros son listos
q= los gatos son egoístas

Formalización: p ∧ q (se lee ‘p y q’)

Proposición en lenguaje natural: Estudiaré, pero también veré la tele

p = estudiaré
q = veré la tele

Formalización: p ∧ q

Aunque en la proposición en lenguaje natural no aparece la partícula ‘y’, si entendemos el sentido de la misma, veremos
que lo que nos está diciendo es que estudiaré y veré la tele. El ‘pero también’ es una conjunción, aunque los
matices que tiene en el lenguaje natural (digamos que tiene un sentido adversativo) se pierden al formalizarla
Proposición en lenguaje natural: Además de comer tarta, beberé vino.

p = comeré tarta
q = beberé vino

Formalización: p ∧ q

Vemos que aquí tampoco aparece la ‘y’, sin embargo, la proposición nos está diciendo simplemente que comeré tarta y
que beberé vino. El ‘además’ añade un matiz que no nos interesa desde un punto de vista lógico. A la lógica sólo le interesa en qué
condiciones es verdadera o falsa la proposición ‘Además de comer tarta, beberé vino’, resulta que esa
proposición sólo es verdadera si como tarta y bebo vino. Eso es lo único que ha de quedar reflejado en la formalización.

Proposición en lenguaje natural: Es completamente cierto que voy a asistir a la reunión y que luego me iré de fiesta.
p= voy a asistir a la reunión
q= después de la reunión me iré de fiesta

Formalización: p ∧ q

Como vemos, el ‘es completamente cierto’ que aparece en la proposición en lenguaje natural, no vuelve a aparecer. La razón
de ello es que no añade nada al significado de las proposiciones atómicas, sino que simplemente sirve para reforzar la idea de que es
cierto lo que digo. Pero desde el punto de vista de la lógica de enunciados, la proposición del ejemplo es equivalente a la proposición
‘voy a asistir a la reunión y luego me iré de fiesta’.

Proposición en lenguaje natural: Pedro y María van al cine todos los sábados.
p= Pedro va al cine todos los sábados
q = María va al cine todos los sábados

Formalización: p ∧ q

Aunque parece que sólo hay una proposición en el ejemplo, hay que advertir que en realidad son dos, pues para que sea verdadera
tiene que ser verdad que Pedro va al cine los sábados y que María va al cine los sábados.

Formalización de la disyunción
Proposición en lenguaje natural: Voy al cine o voy al teatro
p = voy al cine
q= voy al teatro

Formalización: p ∨ q (se lee ‘p o q’)

Proposición en lenguaje natural: O bien voy al cine, o bien voy al teatro

p = voy al cine

q = voy al teatro

Formalización: p ∨ q

A veces, cuando nos estamos iniciando en la formalización, puede que tengamos la tentación de formalizar la proposición de este
ejemplo del siguiente modo: (∨ p ∨ q). Esto es un error garrafal, pues, como ya hemos dicho, no se trata de traducir palabra por
palabra, sino de expresar la forma lógica de la proposición. En la proposición del ejemplo estamos diciendo que se me plantean dos
opciones; una, ir al cine; otra, ir al teatro; y al menos una de ellas debe cumplirse. Esto es una disyunción de toda la vida, por más que
la reforcemos con el ‘O bien… o bien…’, por lo tanto se formaliza exactamente igual que la del ejemplo anterior.

Formalización del condicional

Proposición en lenguaje natural: Si Micifú es un gato, entonces escupirá bolas de pelo.
p= Micifú es un gato
q= Micifú escupirá bolas de pelo
Formalización: p → q (se lee ‘si p entonces q’ ó ‘p implica

q’) Proposición en lenguaje natural: Si vas a la playa, te

broncearás. p = vas a la playa

q = te broncearás

Formalización: p → q

Aunque no aparezca literalmente el ‘entonces’, como lo que estamos traduciendo no son las palabras, una por una, sino la forma
lógica, es evidente que basta el ‘si’ inicial para indicarnos el condicional.
Proposición en lenguaje natural: Sólo si Micifú es un gato, escupirá bolas de pelo
p= Micifú es un gato
q = Micifú escupirá bolas de pelo

Formalización: q → p

Obsérvese que este condicional se formaliza al revés que el del ejemplo anterior. En la proposición ‘Si Micifu es un gato,
entonces escupirá bolas de pelo’ no excluimos la posibilidad de que otros animales, a parte del gato, escupan bolas de
pelo. Micifú podría ser un tigre y escupir bolas de pelo. La proposición únicamente afirma que, independientemente de que haya otros
animales que escupan bolas de pelo, si Micifú es un gato, también lo hará. Ahora bien, si lo que digo es que Solo si Micifú es un gato,
escupirá bolas de pelo, estoy excluyendo la posibilidad de que otros animales, a parte del gato, escupan bolas de pelo. Para expresar
esto formalmente, tengo que invertir el condicional, pues ahora, a diferencia del ejemplo anterior, estoy diciendo que si Micifú escupe
bolas de pelo entonces es que es un gato. Nótese que esta última proposición no implica que haya gatos que no escupan bolas de
pelo.
Proposición en lenguaje natural: Pégame y tendrás tu merecido
p = pégame
q = tendrás tu merecido

Formalización: p → q

A veces el lenguaje natural puede confundirnos. En este caso la partícula ‘y’ no funciona como un condicional, pues la
proposición no está afirmando que me hayas pegado y que además te haya dado tu merecido. La proposición del ejemplo puede
ser verdadera sin que nadie sufra ningún daño, pues tiene un sentido condicional. En realidad está afirmando que si me pegas,
entonces tendrás tu merecido.
Proposición en lenguaje natural: Asistir a clase es condición necesaria para aprobar.
p = se asiste a clase
q= se aprueba

Formalización: q → p

Probablemente la formalización está al revés de lo que esperábamos, pero es correcta. Si digo que algo es una condición necesaria
para aprobar, estoy diciendo que es un requisito imprescindible –necesario-•‐, pero que no es suficiente para aprobar, es posible que
además de asistir a clase haya que hacer algún trabajo, por ejemplo, o aprobar un examen. Esto significa que aunque se cumpla una
condición necesaria, no por ello se aprobará, pues puede que no se cumplan otras condiciones necesarias. Lo que está claro es que si
no se cumple, aunque se cumplan todas las demás, se suspenderá. En el ejemplo decimos que asistir a clase es condición necesaria
para aprobar. Esto no significa que si asisto a clase entonces apruebo (p → q), pues es posible que asista a clase y no apruebe. Lo
que significa la proposición es que si he aprobado, entonces tiene que ser verdad que he asistido a clase.
Proposición en lenguaje natural: Asistir a clase es condición suficiente para aprobar.

p = se asiste a clase
q = se aprueba

Formalización: p → q

A diferencia de una condición necesaria, una condición suficiente se basta por sí misma para que el consecuente del condicional
sea verdadero. Si digo que estudiar es condición suficiente para aprobar estoy diciendo que basta estudiar para aprobar el curso, o lo
que es lo mismo, que si estudio entonces aprobaré el curso. Por lo tanto la formalización correcta es (p→q). Nótese que una condición
suficiente no tiene por qué ser también necesaria, pues podría haber otra condición suficiente para aprobar. Podría ser que el profesor
dijera que para aprobar basta venir a clase o hacer un trabajo. En ese caso tanto venir a clase como hacer un trabajo serían
condiciones suficientes para aprobar, pero no necesarias, pues cualquiera de ellas podría no cumplirse y aprobar, siempre que se
cumpla la otra. Por su parte, las condiciones necesarias no tienen tampoco por qué ser suficientes.
Proposición en lenguaje natural: Asistir a clase es condición necesaria y suficiente para aprobar.
p = se asiste a clase
q = se aprueba

Formalización: p↔q (se lee ‘p coimplica q’)

Decir que asistir a clase es condición necesaria y suficiente para aprobar significa que basta asistir a clase para aprobar, y que no hay
otro modo de aprobar aparte de asistir a clase. En realidad la proposición es equivalente a afirmar (p→q) y (q→p) simultáneamente.
Esto significa que
[(p→q) ∧ (q→p)] = (p↔q)

El símbolo ‘↔’ sirve para indicar esta doble dirección del condicional y se llama bicondicional. También podría formalizarse con ayuda
del bicondicional la proposición
Si estudias y sólo si estudias, aprobarás.
Proposición en lenguaje natural: Te besaré si me prometes amor eterno.

p= te besaré

q= me prometes amor eterno

Formalización: q → p

La única dificultad de esta proposición es que para darle más efecto al consecuente, se sitúa en primer lugar, pero es perfectamente
equivalente a la proposición ‘si me prometes amor eterno, entonces te besaré’

Formalización de la negación

Proposición en lenguaje natural: No voy a solucionarte el problema

p= voy a solucionarte el problema

Formalización: ¬p

Proposición en lenguaje natural: No es cierto que haya estado en ese cine.

p= he estado en ese cine

Formalización: ¬p
El ‘no es cierto que’ del ejemplo no es sino una forma reforzada de negar, por lo tanto, se formaliza como una simple negación,
que es lo que es.

Proposición en lenguaje natural: Ningún hombre puede volar

p= algún hombre puede volar

Formalización: ¬p

En el ejemplo no aparece expresamente la partícula ‘no’, pero el ‘ningún’ expresa negación, de modo que la
proposición del ejemplo no es sino la negación de la proposición atómica ‘algún hombre puede volar’.

Proposición en lenguaje natural: No hay nada en el cajón

p= hay algo en el cajón

Formalización: ¬p

No hay que entender el ‘no hay nada’ como una doble negación, que sería equivalente a afirmar, sino como una
negación reforzada, por eso la proposición atómica es ‘hay algo en el cajón’ y la proposición del ejemplo ha de
interpretarse como la negación de esa proposición atómica.

Formalizaciones combinando todas las anteriores

Proposición en lenguaje natural: Si estudias y vienes a clase, entonces aprobarás.

p= estudias

q= vienes a clase
r= aprobarás

Formalización: (p ∧ q) → r

La proposición del ejemplo dice que para aprobar hay que cumplir dos condiciones: asistir a clase y estudiar. Esto significa que tiene
que ser verdad que estudias y que vas a clase para que sea verdad que apruebas. Esto se formaliza con ayuda del condicional.
Nótese que no es lo mismo ‘(p ∧ q)→ r’ que ‘p ∧ (q→ r)’. El significado de una proposición puede cambiar enormemente
según cómo usemos los paréntesis. Aunque existen algunas reglas para simplificar el uso de los paréntesis, de momento es mejor
usarlos siempre para evitar ambigüedades.
Proposición en lenguaje natural: No es cierto que vaya a ir a Polonia y que esté engordando.

p = voy a ir a Polonia

q = estoy engordando

Formalización: ¬(p ∧ q)

Es importante darse cuenta de que en el ejemplo no estoy diciendo que no voy a ir a Polonia y que no estoy engordando. Lo que estoy
diciendo es que no es cierto que las dos proposiciones sean verdaderas, pero eso no significa que las dos sean falsas; puede que sea
una verdadera y otra falsa. Lo que estoy negando no es cada una de las proposiciones atómicas, sino la conjunción de las dos.
Proposición en lenguaje natural: Ni yo bordo pañuelos ni tú rompes contratos
p = yo bordo pañuelos
q = tú rompes contratos

Formalización: ¬p ∧ ¬q
A diferencia del ejemplo anterior, en este caso sí estamos negando cada una de las proposiciones atómicas de la conjunción, lo que en
lenguaje natural se expresa con el ‘ni… ni…’. Hay que observar que ‘¬(p ∧ q)’ no significa lo mismo que ‘¬p ∧
¬q’.

Proposición en lenguaje natural: Si copias en el examen, no aprobarás y, o bien serás expulsado o bien te quedarás castigado
todos los días por la tarde.

p= copias en el examen
q = aprobarás
r = serás expulsado
s = te quedarás castigado todos los días por la tarde

Formalización: p → [¬q ∧ (r ∨ s)]

Antes de analizar la estructura de la proposición, conviene advertir que el uso de corchetes ([,]) o de paréntesis ((,)) obedece a
razones de claridad expositiva. Simplemente la fórmula se lee más fácilmente si distinguimos los paréntesis más externos de los más
internos mediante los corchetes. Quede dicho, no obstante, que pueden usarse sólo paréntesis, si se desea. Ciñéndonos a la
proposición del ejemplo, observaremos que nos está advirtiendo de las consecuencias de copiar en el examen, por ello tiene una
forma condicional. En efecto, la proposición nos dice que si copias en el examen, entonces te ocurrirá algo. Concretamente te
ocurrirán al menos dos cosas, una de ellas la sabemos segura: no aprobarás (¬q). La otra consecuencia, depende, pues hay dos
opciones, pues puedes ser expulsado
(r) o ser castigado (s) (o las dos cosas) la cuestión es que esa segunda consecuencia todavía no se ha concretado, por eso se
expresa como una disyunción. Según lo dicho, si se cumple la condición de copiar en el examen, entonces no aprobarás y ocurrirá
alguna de las dos opciones expuestas (serás expulsado o serás castigado).
Proposición en lenguaje natural: No voy a ir a París, pero si voy, me acordaré de ti y de tu madre.
p = voy a París
q = me acordaré de ti
r= me acordaré de tu madre

Formalización: ¬p ∧ [p → (q ∧ r)]
Proposición en lenguaje natural: Si vas al cine, entonces, o compras palominas o me envidiarás si tienes hambre.

p = vas al cine

q = compras palomitas
r = me envidias
s = tienes hambre

Formalización: p → [q ∨ (s→r)]

La complejidad de esta proposición radica en el hecho de que el consecuente del condicional es una disyunción y uno de los términos
de esa disyunción es un condicional, de modo que tenemos un condicional dentro de otro condicional.
Proposición en lenguaje natural: Me quieras o no, tendrás que soportarme
p = me quieres
q = tienes que soportarme

Formalización: (p ∨ ¬p) ∧ q

3. SIGNOS DE AGRUPACIÓN
Se utilizan para agrupar a las variables y operadores, así como, darles jerarquía. Son los siguientes:
Paréntesis ( )
Corchetes [ ]
Llaves { }
Barras | |

a) JERARQUIZACIÓN
Jerarquizar significa agrupar las variables y los operadores dentro de los signos de colección, llamados también de agrupación.
Para jerarquizar hay que tener en cuenta los siguientes requisitos:
✔ Sólo presentan jerarquía los conectivos lógicos (y, o, entonces, si y solo si, etc.).
✔ Para realizar una correcta jerarquización hay que tener en cuenta los signos de puntuación del texto a jerarquizar, en
cuanto ellos indican la ubicación de los signos de colección.
✔ En el texto, el punto seguido tiene mayor jerarquía, le sigue en 2do. lugar el punto y coma, y en 3er. lugar la coma.
b) Reglas para jerarquizar
✔ 1. Donde esté ubicado el signo de puntuación más importante del texto, ahí se encuentra ubicado el conectivo principal.
✔ 2. Donde se encuentre un signo de puntuación ahí se abre o cierra un signo de colección (paréntesis, corchete o llave)
✔ 3. El conectivo que se encuentre fuera o en la parte más externa de los signos de colección es el que tiene mayor jerarquía.
✔ 4. Si encontramos un texto donde se presente una sucesión de idénticos signos de puntuación, será mayor el que presente
como conectivo entonces, luego o cualquiera de sus sinónimos.
✔ 5. La negación antecede a la variable (¬p), no enlaza proposiciones, pues no es conectivo: (p ¬q).
Ejemplo:
Esther estudia físicay química , o estudia lógica . Sin embargo, estudia matemática .
p q r s
Reemplazando proposiciones tenemos:

p y q , o r . Sin embargo , s

p ∧ q , ∨ r . ∧ s (reemplazando conectivos)

↓ ↓
jerarquía 2 jerarquía 1 [(p∧q)∨r] ∧ s (jerarquizando)

4. FÓRMULAS
Una fórmula es el resultado de la correcta formalización y jerarquización de las proposiciones o inferencias.

Ejemplo:

Galileo Galilei fue físico y matemático.

p ∧ q

Fórmula : p ∧q
Nombre: fórmula conjuntiva

Si el agua del río es dulce , entonces puede ser para el consumo humano o servir para regar los sembradíos de tomate.

p → q ∨ r
Jerarquizador

Fórmula: p→(q ∨ r)
Nombre: Fórmula condicional
 OBSERVACIÓN:
Si al formalizar, encontramos al condicional inverso, se debe permutar las proposiciones que conforman el condicional

Lucy participa en el curso de actualización porque tiene dinero

q
p
Condicional inverso

Fórmula : q →p
Nombre : Fórmula condicional inverso

5.- JERARQUIZACIÓN DE FÓRMULAS

En cualquier fórmula lógica, el operador que tiene mayor jerarquía es aquel operador diádico fuera o en la parte más externa de los
signos de agrupación (divide a la fórmula en dos) o en todo caso la negación libre.

Ejemplos :

(p ∧ q ) ∨ r

1 Mayor jerarquía (operador fuera de los signos de agrupación)

2 Menor Jerarquía

(p → q) ↔ (r → s)

1 mayor jerarquía (operador fuera de los signos de agrupación)

2 2
menor jerarquía menor jerarquía
 MARIA CLAUDIA NARANJO PABON
Grado 103
Cuestionario para entregar

Desarrolle los siguiente Ejercicios y entréguelos por Classroom en la fecha

indicada:
1.- "Si Jennifer es alta o baja, entonces le queda el anillo de compromiso" Simbolizando lo anterior, resulta:
a) (p ∨ q) → r
b) (p ∧ q) →¬r
c) (p ↔ q) → r
d) (p ↔ q) ↔ r
e) p ∨(q →¬
r 2.-
Simbolice:
El avión despegará a las 5 de la mañana a menos que la neblina cubra el aeropuerto.
a) p ∧ q
b) p → q
c) q → p
d) p ∨ q
e) p ↔ q
3.- Simbolice:
O Martín estudia alemán y portugués o va a la biblioteca y busca información.
a) (p ∧ q) ↔ (r ∧ s)
b) (p ∧ q)∨ (r ∧ s)
c) p ↔ [q ∨ (r ∧ s)]
d) p ∧[(q ∨ s) ∧ r]
e) (p ∨ q) ∧ (r ∨ s
4.- Marque la alternativa que corresponda a la fórmula:
¬q→p
a) Si no voy al museo entonces soy feliz.
b) Corro o no llego tarde.
c) No camino si y solo si me duele los pies.
d) Llegaré tarde porque no corro.
e) Es falso que si voy al museo, sea infeliz
5.- "El pantalón de Manuel está arrugado por que no lo planchó, además está usado". Formalizando resulta:
a) (p →¬q) ∧ r
b) (¬ q → p) ∧ r
c) p ∧ q
d) ¬ p ∧ q
e) (¬ q ∧ r) → q
6.- Simbolice: Melissa come yuca o camote; sin embargo, no come camote. De ahí que, come yuca:
a) [(p ∨ q) ∧ r] → s
b) [(p ↔ q)∧ ¬q]∧ p
c) [(p ∨ q)∧ ¬ q] → p
d) (p∧ ¬ q) → r
e) (p ∨ q)∧ (¬ q → p)
7.- Formule: "Carmen no adquirió un vino; sin embargo, porque tiene sed, pidió un helado".
a) ¬ p ∧ (q → r)
b) ¬ p ∧ (r → q)
c) p → (q ∧ r)
d) ¬ p → (q ∧ r)
e) ¬ p ∨ (q → r)
8.- ¿Cuál es la fórmula correcta de: "El Alcalde será reelegido, si mantiene el ornato de la ciudad o no aumenta el impuesto
predial"?
a) p →(q ∨¬ r)
b) (q ∨¬ r) → p
c) (q ∧¬ r) → p
d) p ∨ ¬ q
e) (¬ q ∨ p) → r
9.- "Si Gloria trabaja entonces gana dinero, si gana dinero compra un auto; por tanto si trabaja, compra un auto". Señale la alternativa
que le corresponde:
a) (p → q)∧ {(q → r) → (p → r)}
b) (p → q) ∧[(r → q)∧ (p → r)]
c) (p ∧ q)∨ [(q → p) ∧ (r → p)]
d) [(p → q) ∧ (q → r)] → (p → r)
e) (p ∨ q) → [(q → r) → (p → r)]
10.- Formalice: Hugo llora si Milagros no viene, no obstante Milagros no viene porque Hugo llora.
a) (¬ q → p)∧~(p →¬ q)
b) (p →¬ q)∧ ¬ (¬q → p)
c) (¬q → p) ∧ (p →¬q)
d) p ∧ ¬q ∧ p ∧ q
e) (¬ q → p)∨ (p →¬q)
11.- Formalizar lo siguiente: "María tiene 15 ó 16 años de edad, así como estudia Derecho o Ingeniería de Sistemas. Luego, es mayor
de edad o tiene C.C.".
a) [(p ∨ q)∧ (r ∨ s)] → (t ∨ w)
b) [(p ↔ q)∧ (r ∨ s)] → (t ∨ w)
c) [(p ↔ q)∨ (r ∧ s)] → (t ∨ w)
d) [p ∧ (q ∨ r)] → s
e) No se puede formalizar
12.- Simbolice: Cuando Platón desprecia lo sensible; pero aprecia lo ideal, muestra la característica del valor denominado jerarquía.
a) (¬ p ∧ q) → r
b) p ∧ q
c) (p ∧ q) → r
d) p
e) p → q
13.- Simbolizar y formalizar: El escritor es sensible ya que es enamoradizo, pues es sensible.
a) (p ∧ q) → p
b) (p → q) → p
c) p → (q → p)
d) p → (q ∧ p)
e) (p → q) ∧ q
14.- Mañana voy al cine, como al parque; si y solo sí es domingo, si no llueve:
a) ¬s → {(p ∧ q) ↔ r}
b) {(p ∧ q) ↔ r} →¬ s
c) {(p ∧ q) ↔ r} ↔ s
d) s → {(p ∧ q) ↔ r}
e) {( p ∧ q) → r} ↔¬ s
15.- Formule: "Rocío no adquirió un vino, sin embargo, tiene sed, pidió un helado".
a) (q →¬ p) → r
b) (¬p → q) → r
c) (¬ p → q)∨ r
d) (¬ q → p)∨ r
e) (¬ p ∧ q) ∧ r
16.- . La biología estudia la vida y los seres vivos, si es una ciencia natural.
a) (p ∧ q) → r
b) r → (p ∧ q)
c) (p → q)∧ r
d) r ∨ (p → q)
e) (p ∨ q) → r
17.- "No es cierto que seas mujer y hombre, ya que eres hombre. Por lo tanto no eres mujer". Su formalización corresponde a:
a) [¬ (p ∧ q) → q] →¬ p
b) [q →¬ (p ∧ q)] →¬ p
c) [p →¬ (p ∧ q)] →¬ q
d) [¬ (p ∧ q) → p] →¬q
e) ¬ (p ∨ q) ∧ p] →¬q
18.- Simbolice correctamente la siguiente proposición: "Alonso es abogado o diplomático y si es diplomático viaja casi siempre al
extranjero". (Si se sabe que P = Alonso es abogado; q = Alonso es diplomático; r = Alonso viaja casi siempre al extranjero).
a) (p ∨ q)∧ (r ∨ s)
b) (p ∧ q)∨ (r → s)
c) (p ∨ q) → (q ∧ r)
d) (p ∧ q) ∧ (q ∧ r)
e) (p ∨ q) ∧ (q → r)
19.- Represente formalmente el siguiente enunciado: "Es falso que hace calor si la temperatura no ha aumentado". (Sabiendo que p =
hace calor y q = la temperatura aumenta)
a) ¬ p →¬q
b) ¬ (p →¬q)
c) ¬ q →¬p
d) ¬ (¬ q → p)
e) p →¬ q
20.- Simbolice correctamente la siguiente expresión: "Si la neblina aumenta, la visibilidad disminuye y si disminuye la visibilidad,
pueden ocurrir accidentes". (Donde p = la neblina aumenta, q = la visibilidad disminuye; r = ocurren accidentes)
a) (p ∧ q) → (r ∧ s)
b) (p → q)∧ (q → r)
c) (p → q)∧ (r → s)
d) (p → q)∨ (r → s)
e) (p ∧ q) → (q ∧ r)
21.- "Si Diego es matemático y Sebastián ingeniero, entonces ambos trabajarán en la NASA". La simbolización correcta es:
a) (p ∧ q) → r
b) p → (q ∧ r)
c) (p ∧ q) → (r ∨ s)
d) (p ∧ q) → (r ∧ s)
e) (p → q) → (r → s)
22.- Simbolice: "No es cierto que compró acciones de la telefónica o bonos del gobierno. Luego obtuvo buenos dividendos porque
compró acciones de la telefónica".
a) r → (¬ p ∧ q) ∧ (s → t)
b) ¬ (p ∨ q) → (p → t)
c) ¬ (p ∨ q) → (r → s)
d) r → (p ∧ q) ∧ (s → t)
e) ¬ (p ∧ q) → (s → t)
23.- Formalizar: "Si llueve al mediodía, no secará la ropa; si no llueve, secará y te irás a la fiesta. Por lo tanto, si vas a la fiesta, no
llovió".
a) {[(p → q)∧ ¬ (p → q)]} → (s ∧ r)
b) (p → q)∧ (r → s) →¬p
c) {[(p →¬q)∧ ¬r →(q ∧ s)]}→(r →¬ p)
d) [(p → q)∨ ¬ (p → r)] → (p →¬ r)
e) {(p →¬q)∧[ ¬p → (q ∧ r)]} → (r →¬p)
24.- "Si hablas, irás a juicio; si callas, te condenarán, pero hablas o callas. Por lo tanto es imposible que no vayas a juicio y no te
condenen".
a)[(p →q)∧(r →s)∧(p →r)]→ ¬ (¬q ∧¬s)
b) [(p →q)∧(r →s)∧(p∨ r)]→ ¬ (¬q ∧¬s)
c)[(p→q)∧( ¬p¬r)∧(p∨¬p)]→ ¬
(¬q∧¬s) d) (p → q)∧ ¬ (p → s)
e) (p∨ ¬ p) →¬ (¬q ∧ ¬r)
25.- "Judas es desleal y deshonesto porque no dijo la verdad a Jesús y lo entregó a los judíos; de ahí que ya no es una persona de
confianza". Formalizando la expresión anterior, se obtiene:
a) ¬ t → [(¬ r ∧ s) → (¬p∧ ¬ q)]
b) [(¬ r ∧ s) → (¬ p∧ ~ q)] →¬t
c) [¬ (¬p∧¬q) → (¬r ∧ s)] →¬t
d) [(p ∧ q) → (¬r ∧ s)] →¬t
e) [(p ∧ q) → r] →¬s
26.- Tardé en llegar, porque se malogró el auto y tuve que venir a pie.
a) p → (q ∧ r)
b) (q ∨ r) → p
c) (q ∧ r)∨ p
d) (q ∧ r) → p
e) (q ∧ r) ↔ p
27.- No iré a trabajar, si y sólo si declaran el día feriado o me encuentre enfermo.
a) ¬p → (q ∨ r)
b) ¬p ↔ (q ∧ r)
c) ¬p ↔ (q ∨ r)
d) (q ∧ r) → p
e) (q ∧ r) ↔ p
28.- Sin justicia social, no hay democracia ni legalidad.
a) ¬p → (¬q ∧ ¬r)
b) ¬ (p → q) → r
c) (¬p ∧ ¬q ) →¬r
d) (¬p →¬q ) ∧ ¬r
e) (¬p → ¬q ) →¬r
29.- Si Salma es alta o baja, entonces no le queda el vestido.
a) (p ∧ q) →¬r
b) (p ∨ q) →¬r
c) (p ↔ q) →¬r
d) (p ∨ q) ↔ ¬r
e) (p →¬q)∨ r
30.- El ornitorrinco no es ave, dado que tiene glándulas mamarias; no obstante, es falso que sea vivíparo:
a) (q → p) ∧ ¬r
b) (q →¬p) ∧ ¬r
c) (¬p → q) ∧ ¬r
d) (q →¬p)→ ¬r
e) (q →¬p) ↔ ¬r