Cálculo de Proposiciones

Ing. Ronald Pérez

ronperez@ucab.edu.ve
ronaldrr@cantv.net
ronaldperezr@hotmail.com

LÓGICA
Lógica
 Estudios de los métodos y principios usados
para diferenciar un razonamiento correcto de
uno incorrecto.

 Consiste en un examen de las formas de

razonamiento, proporcionándonos ciertas
técnicas y ciertos métodos que permiten
determinar lo correcto o incorrecto de muchos
tipos de razonamientos.

LÓGICA
 Lógica Verdad
Lógica Clásica
Falsedad

Lógica Trivalente
Lógicas Polivalentes
No bivalentes
Lógica Lógicas Probabilísticas
Lógicas Difusas

Lógica
no-Clásica Lógica Modal
Lógicas Temporal
Más recursos
Expresivos Lógicas Epistémica
Lógicas Deóntica
Lógica Nomonotónica

LÓGICA
Lógica Proposicional

El cálculo básico de la lógica formal es el cálculo

de enunciados o proposicional, cuyas fórmulas
son proposiciones, oraciones o enunciados sin
analizar internamente.

Este cálculo es hipotético, porque la deducción se

establece en una relación condicional entre las
premisas y la conclusión.

LÓGICA
Proposición

 Los diferentes juicios que ocurren en

nuestro lenguaje pueden ser clasificados en
tres clases: Juicios interrogativos, juicios
imperativos, juicios declarativos.
 Una proposición es un juicio declarativo
del cual tiene sentido decir que es
verdadero (V) o que es falso (F), pero no
ambas cosas simultáneamente.

LÓGICA
Proposición
No es necesario saber de antemano que el juicio
es verdadero o falso, lo único que requerimos
es que sea lo uno o lo otro, aunque no se
conozca cual de los dos casos es.
Valores de verdad:
falso verdadero
false true
F V
T
0 1

LÓGICA
Proposición

Comúnmente se suele denotar a las

proposiciones mediante letras: p, q, r, s, …
Los siguientes juicios declarativos son
proposiciones:
 p:2 + 5 = 8 (F)
 q:Todo estudiante es universitario (F)
 r: Algunos estudiantes son universitarios (V)
 s: El agua se compone de hidrógeno y oxígeno (V)

LÓGICA
Proposiciones

Indique cuál de las siguientes proposiciones es o

no válida
1. La geometría es interesante
2. El tiburón es un mamífero
3. Pitágoras era griego
4. Llovía en Caracas en julio de 1812
5. ¿Quién eres tú?
6. ¡Ten cuidado!
7. Nadie es perfecto
8. Se puede aprender a ser inteligente.

LÓGICA
Proposiciones

Clasificación de las proposiciones

En la lógica se consideran dos tipos de
proposiciones :
Proposiciones atómicas: son combinaciones
simples que por sí solas tienen significado.

Proposiciones moleculares: son combinaciones

de proposiciones atómicas

LÓGICA
Lógica de Proposiciones

Principios básicos de lógica proposicional

Principio del tercero excluido: a cada
proposición se le puede asignar un valor entre
(V) y (F), llamado su valor veritativo o valor de
verdad.

Principio de no contradicción: Ninguna

proposición puede tener a su vez el valor (V) y
(F), es decir, ninguna proposición puede ser
simultáneamente verdadera y falsa.

LÓGICA
Lógica de Proposiciones

Principios básicos de lógica proposicional

Principio de composición: los valores de verdad

de una proposición molecular quedan
determinados por los valores de verdad de
cada una las proposiciones atómicas que la
componen.

LÓGICA
Notaciones y términos de enlace

Para forma las proposiciones moleculares a partir

de proposiciones atómicas se utilizan las
partículas lingüísticas: “no, y, o, si …
entonces, y si y sólo si”. Éstas son llamadas
términos de enlace, o conectivos lógicos.
Ejemplo:
1. La lógica no es una ciencia.

2. Si él estudia cada noche, entonces aprobará el

examen.
3. La tierra es una estrella o Venezuela es un
país.
LÓGICA
 Conjunción

Ocurre cuando dos proposiciones simples se combinan

mediante la palabra «y». A la proposición compuesta
resultante se le llama conjunción.

Por notación se suelen usar los símbolos , & y *.

Ejemplo:
r: París está en Francia y ésta a su vez en Europa
p: París está en Francia
q: Francia está en Europa

pyq p q pyq p&q pyq p*q

LÓGICA
 Conjunción

¿Cómo se obtiene el valor de verdad para la conjunción

de dos proposiciones cualesquiera p y q?

p q es verdadera si y solamente si, tanto p como q son

verdaderas. De manera que, si al menos una de las
proposiciones simples es falsa, el valor de verdad para la
proposición compuesta p q es falso.

Ejemplo:
Sabiendo que p: 1 es un número impar y
q: 3 es un número primo
luego, p q es verdadera

LÓGICA
 Conjunción

Ejemplos:

Sabiendo que p: París está en Francia y

q: 2 es un número impar
luego, p q es falsa

Sabiendo que p: Roma está en Francia y

q: 4 es un número primo
luego, p q es falsa

Sabiendo que p es falsa y q es falsa

luego, p q es falsa

LÓGICA
 Disyunción

Ocurre cuando dos proposiciones simples se combinan

mediante la palabra «o». A la proposición compuesta
resultante se le llama disyunción.

Por notación se suelen usar los símbolos , | y +.

Ejemplo:
r: José está en su casa o en la oficina
p: José está en su casa
q: José está en la oficina

poq p q poq p|q poq p+q

LÓGICA
 Disyunción

¿Cómo se obtiene el valor de verdad para la disyunción

de dos proposiciones cualesquiera p y q?
p q es verdadera si p es verdadera o q es verdadera
o si ambas son verdaderas; en cualquier otro caso (las
dos sean falsas) p q es falsa. Es decir, la disyunción
de dos proposiciones es falsa solamente si cada
proposición componente es falsa.

Ejemplo:
Sabiendo que p: 2 es un número par y
q: 3 es un número primo
luego, p q es verdadera

LÓGICA
 Disyunción

Ejemplo:

Sabiendo que p: 2 < 3 y

q: 4 es un número primo
luego, p q es verdadera

Sabiendo que p: París se encuentra en Asia y

q: 2 + 2 = 5
luego, p q es falsa

Sabiendo que p es falsa y q es falsa

luego, p q es falsa

LÓGICA
 Negación

Si p es una proposición cualquiera, se puede formar

otra proposición llamada negación de p, escribiendo
«es falso que» antes de p ó, cuando es posible, se
inserta en p la palabra «no».

Por notación se suelen usar los símbolos , ~ y -.

Ejemplo:
r: Es falso que 2 es un número impar
p: 2 es un número impar

r= p r = ~p r = -p

LÓGICA
 Negación

¿Cómo se obtiene el valor de verdad para la negación

de una proposición cualquiera p?

Si p es verdadera entonces p es falsa. Si p es falsa

entonces p es verdadera. El valor de verdad de la
negación de una proposición es siempre el opuesto al
valor de verdad de la proposición.

Ejemplo:
Sabiendo que p: Alemania se encuentra en
Europa
luego, p es falsa

LÓGICA
 Negación

Ejemplos:

Sabiendo que p: 2 * 3 = 7
luego, p es verdadera

Nótese que p equivale a la proposición 2 * 3 7

NOTA:

A diferencia de los conectores y que son binarios

(dos operandos), es un conector unario (un solo
operando)

LÓGICA
 Condicional

El objetivo de este conector es señalar que, si la

proposición antecedente (la que queda a la izquierda)
es verdadera, también lo es la proposición consecuente
(la que queda a la derecha). Se suele utilizar muy
frecuentemente con las palabras «si … entonces»,
«implica», «solamente si», «es suficiente para», «es
necesario para», «siempre que», etc.

Por notación se suelen usar los símbolos , y .

Ejemplo:
p q p q p q

LÓGICA
 Condicional

Ejemplo:
p: hay gasolina en el tanque
q: mi automóvil funciona

Si p, entonces q
Si p, q
p implica q
p, solamente si q
p es suficiente para que q
Siempre que p, q

p q

LÓGICA
 Condicional

¿Cómo se obtiene el valor de verdad para la

proposición condicional p q?

p q es verdadera a menos que p sea verdadera y q

falsa. Una proposición verdadera no puede implicar una
falsa.

Ejemplo:
Sabiendo que p: 4 es un número primo y
q: 6 es un número primo
luego, p q es verdadera a pesar de que p es falsa;
el hecho que q sea falsa no tiene importancia

LÓGICA
 Bicondicional

Al relacionar dos proposiciones con este conector

lógico indica que el valor de verdad de ambas es el
mismo. Se suele utilizar muy frecuentemente con las
palabras «si y solamente si», «necesario y suficiente
para».

Por notación se suelen usar los símbolos , y .

Ejemplo:

p q p q p q

LÓGICA
 Bicondicional

Ejemplo:

p: En el 2008 febrero tiene 29 días

q: El año 2008 es bisiesto

p si y solamente si q
Para que p es necesario y suficiente que q

p q

NOTA:
p q es equivalente a (p q) (q p)

LÓGICA
 Bicondicional

¿Cómo se obtiene el valor de verdad para la proposición

bicondicional p q?

p q es verdadera si los valores de verdad de p y de q

son iguales; en caso contrario, p q es falsa.

Ejemplo:

Sabiendo que p: 4 es un número primo y

q: 6 es un número primo
luego, p q es verdadera a pesar de que p y q son
falsas

LÓGICA
 Bicondicional

Ejemplo:
Sabiendo que p: 4 es un número primo y
q: 6 es un número primo

r: p q es verdadera porque p es falsa

s: q p es verdadera porque q es falsa
r s es verdadera ya que r y s son verdaderas las
dos
luego

p q = (p q) (q p)

LÓGICA
 Fórmulas bien formadas
¿Qué ocurre cuando se combinan varias proposiciones
simples o compuestas en una misma expresión?
( (p q) r) (p s) ( p r) q

Fórmula bien formada: Expresión que representa una

proposición simple o compuesta, la cual está bien escrita de
acuerdo con las siguientes reglas de construcción:

•V y F son fórmulas atómicas bien formadas.

•Una proposición simple es una fórmula bien formada.
•Si P es una fórmula bien formada entonces P también
lo es.
•Si P y Q son fórmulas bien formadas, entonces también
lo son: P Q, P Q, P QyP Q.

LÓGICA
 Fórmulas bien formadas

Ejercicios. Indique si las siguientes fórmulas están o no

bien formadas:

1. ((p q r) q r
2. (p (q r)) ((p q) (r s))
3. ( (p))
4. ( q)
5. (p q) ( p q)
6. (r q p )
7. (p q) ((p q) ( p q))
8. (q (V q)) p
9. (p (q F)) ((V q) (p r))
10. p q p s r q r s
LÓGICA
 Lenguaje

Alfabeto (sintaxis): consta de los siguientes elementos:

Letras proposicionales: p, q, r, p1, p2, …

Símbolos lógicos:
Constantes: V (Verdadero), F (Falso)
Conectiva unaria:
Conectivas binarias: , , ,
Símbolos auxiliares de puntuación: (, )

Semántica: Determinado por las reglas de construcción

de las fórmulas y la traducción de cada uno de los
símbolos.

LÓGICA
 Lenguaje

NOTA:
La prioridad o regla de precedencia de los operadores
lógicos puede cambiar entre un autor y otro. Se
debe tener mucho cuidado a la hora de revisar la
bibliografía.
La mayoría de las veces el orden es: > > > >
.

Si hay dudas, para evitar problemas hay que usar

los paréntesis para forzar la prioridad. El uso
excesivo de paréntesis en una fórmula no es
dañino.

LÓGICA
 Lenguaje

Símbolo Interpretación semántica

V Verdadero; cierto; es un hecho
F Falso; no es verdad
p No p; es falso que p
p q pyq
p q poq
p q Si p entonces q; p implica q; p solamente si
q; …
p q p si y sólo si q; p es necesario y suficiente
para que q

LÓGICA
 Lenguaje

NOTA:
Los paréntesis ‘(‘ y ‘)’ determinan prioridad de
aplicación
de la operación o conector lógico. La subfórmula
que se encuentra en la expresión encerrada entre
paréntesis tiene prioridad sobre las demás. Mientras
más profundo se encuentre la subfórmula, mayor es
la prioridad.

Si dos o más subfórmulas tienen la misma prioridad

de evaluación, se aplica la regla de asociatividad
del conector: de izquierda a derecha para todos los
conectores lógicos.
LÓGICA
 Parentización
A continuación se presentan algunas convenciones que
permiten omitir algunos paréntesis en la escritura de
fórmulas.

1. Si el conector principal de una fmla. es binario

omitiremos los paréntesis correspondientes a su
ocurrencia principal.
2. Convendremos que el orden de los conectores es: >
> > > . Omitiremos los paréntesis
correspondiente a una ocurrencia de un conector
binario si la subfmla de la que dicha ocurrencia es el
conector principal, está unida a otra subfmla mediante
un conector más fuerte.

LÓGICA
 Parentización

Ejercicios. De cada una de las siguientes fórmulas,

eliminar los paréntesis que sean redundantes:

1. ( (p q) r)
2. ((p q) r)
3. ((p q) (r s))
4. (((p q) r) (t s))
5. (((( p q) (p q)) (s t)) (p (q r)))
6. (((p) (q)) (q r)) (p r)
7. p q (p q ( p q))

LÓGICA
 Árbol Sintáctico

El árbol de una fórmula P, denotado por A(P), es el

gráfico que se construye de acuerdo con las
siguientes instrucciones:

1. El árbol A(p) de una proposición simple p es p.

2. A( P) se construye de la siguiente forma:

A(P)

LÓGICA
 Árbol Sintáctico

3. A(P Θ Q) con Θ { , , , } se construye de la

siguiente forma:
Θ

A(P) A(Q)

NOTA:

El árbol sintáctico que se forma con las fórmulas

lógicas es del tipo binario (no más de dos hijos
por cada nodo).

LÓGICA
 Árbol Sintáctico

Ejercicios. Construya los árboles sintácticos de las

siguientes fórmulas:

1. ( p (q r)) (p q) s
2. (( p q) r) s p
3. (p q) (q r) (p r)
4. p ( q r)
5. (p q) (p q ( p q))
6. (p q) ( p q)
7. ((( p q) (p q)) (s t)) (p (q r))
8. p1 p2 p3 p4
9. (p1 p2) (p3 p4)
10. p1 (p2 (p3 p4))
LÓGICA
 Tablas de verdad

¿Cómo se obtiene el valor de verdad para proposiciones

compuestas más complejas?

¿ ( (p q) r) (p s) ( p r) q?

El valor de verdad que se asigna a una proposición

compuesta, se asigna de acuerdo con la extensión
natural de las hipótesis antes descritas (conectores).
Estas hipótesis se resumen y se generalizan por
medio de lo que se llama una tabla de verdad. El
valor de verdad de una proposición compuesta
depende del valor de verdad de cada una de las
componentes.
LÓGICA
 Tablas de verdad

A. Encabezado:
1. Todas las variables en la parte izquierda.
2. La fórmula en la parte derecha.
3. Si hay subfórmulas se colocan entre las variables y
la fórmula.
B. Número de renglones o filas:
Es igual a 2n siendo n el número de variables.
C. Valores de las celdas:
1. En las variables se colocan todas las combinaciones
posibles de valores que se pueden tener entre ellas.
2. En las subfórmulas se colocan los resultados según
el valor de las variables que corresponda.
3. En la fórmula se coloca el valor resultante.

LÓGICA
 Tablas de verdad

Ejemplos: Conjunción

p q p q p q p q
V V V 1 1 1
V F F 1 0 0
F V F 0 1 0
F F F 0 0 0

LÓGICA
 Tablas de verdad

Ejemplos: Disyunción

p q p q p q p q
V V V 1 1 1
V F V 1 0 1
F V V 0 1 1
F F F
0 0 0

LÓGICA
 Tablas de verdad

Ejemplos: Negación

p p p p
V F 1 0
F V 0 1

LÓGICA
 Tablas de verdad

Ejemplos: Condicional

p q p q p q p q
V V V 1 1 1
V F F 1 0 0
F V V 0 1 1
F F V 0 0 1

LÓGICA
 Tablas de verdad

Ejemplos: Bicondicional

p q p q p q p q
V V V 1 1 1
V F F 1 0 0
F V F
0 1 0
F F V
0 0 1

LÓGICA
 Tablas de verdad

Ejemplos: (p q) (r q)
p q r p q r q (p q) (r q)
V V V V V V
V V F V V V
V F V F F F
V F F F V V
F V V F V V
F V F F V V
F F V F F F
F F F F V V

LÓGICA
 Tablas de verdad

Ejercicio. Elaborar la tabla de verdad que corresponde a

cada una de las siguientes fórmulas:

1. ((p q) r) q r
2. (p (q r)) ((p q) (r s))
3. ( (p q) r) ((( p q) r) s)
4. (p (p q)) q
5. (p q) ( p q)
6. ((p q) (q r)) (p r)
7. (p q) ((p q) ( p q))
8. (q (p q)) p
9. (p (q r)) ((p q) (p r))
10. (p q) (p s) (r q) (r s)

LÓGICA
 Tautología

Es un tipo particular de proposición compuesta P(q, r, s,

…) que se caracteriza por ser verdadera en todos los
casos. La tabla de verdad correspondiente contiene sólo
el valor de verdadero (V) en todas las celdas de la última
columna asociada a la fórmula de la proposición.

NOTA:
Algunas de estas proposiciones tautológicas o
tautologías son muy comunes y útiles y se les
llaman leyes.

LÓGICA
 Tautología

Ejemplo: ley del tercio excluido - p p

p p p p
V F V
F V V

LÓGICA
 Tautología

Ejemplo: ley del silogismo - S: (p q) (q r) (p r)

p q r p q q r (p q) (q r) (p r) S
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V

LÓGICA
 Contradicción

Es un tipo particular de proposición compuesta P(q, r, s,

…) que se caracteriza por ser falsa en todos los casos.
La tabla de verdad correspondiente contiene sólo el
valor de falso (F) en todas las celdas de la última
columna asociada a la fórmula de la proposición.

NOTA:
Dado que la negación invierte los valores de
verdad de una proposición, al negar una tautología se
obtiene una contradicción y viceversa.

LÓGICA
 Contradicción

Ejemplo: (p p) = p p (según la ley de Morgan)

p p p p
V F F
F V F

LÓGICA
Incongruencia o Contingencia

Cualquier proposición compuesta P(q, r, s, …) que no

es ni una tautología ni una contradicción se dice que
es incongruente o contingente. Es verdadera en
algunos casos y falsa en otros. El valor de verdad de P
depende del valor de verdad de los componentes q, r,
s, … y no de la fórmula lógica asociada.

Ejemplos:

p q, p q, p q, p q, etc.

LÓGICA
 Equivalencia lógica

Dos proposiciones P(p, q, r, …) y Q(p, q, r, …) se dice

que son lógicamente equivalentes si sus tablas de
verdad son idénticas. Se denota por P(p, q, r, …)
Q(p, q, r, …) o P(p, q, r, …) Q(p, q, r, …).

NOTA:
P(p, q, r, …) y Q(p, q, r, …) son lógicamente
equivalentes si y solamente si la proposición
P(p, q, r, …) Q(p, q, r, …) es una tautología

LÓGICA
 Equivalencia lógica

Ejemplo: (p q) (q p) p q

p q p q q p (p q) (q p) p q p q
V V V V V V V V
V F F V F V F F
F V V F F F V F
F F V V V F F V

Nótese que ((p q) (q p)) (p q)

es una tautología.

LÓGICA
 Equivalencia lógica
Leyes principales de la lógica proposicional:
Denominación Representación lógica

Leyes equipotenciales A A A A A A

Leyes asociativas (A B) C A (B C) (A B) C A (B C)

Leyes conmutativas A B B A A B B A

Leyes distributivas A (B C) (A B) (A C) A (B C) (A B) (A C)

Leyes de absorción A (A B) A A (A B) A

Leyes de identidad A F A A F F
A V V A V A

Leyes complementarias A A V A A F
A A

Leyes de Morgan (A B) A B (A B) A B

Leyes condicionales (A B) A B (A B) B A

Leyes bicondicionales (A B) (A B) (B A) (A B) ( A B) (A B)

LÓGICA
 Equivalencia lógica

Ejercicio. Demostrar si existe o no equivalencia:

1. (p q) (q r) q (p r)
2. (p (p q)) q
3. (p q) p F
4. ( p (r s)) (p r) (p s)
5. (p r) (q s) (p q) (p s) (r q) (r s)
6. (p q) ( p q) (p q)
7. p (p (p q)) p
8. p q ( p q r) p q r
9. (( p q) (p q r)) p q
10.p ( q (r r)) (q ((r p) (r p)))

LÓGICA
 Implicación lógica

Se dice que una proposición P(p, q, r, …) implica

lógicamente a otra proposición Q(p, q, r, …) y se
escribe P(p, q, r, …) Q(p, q, r, …), si se verifica una
de las siguientes condiciones:
• P(p, q, r, …) Q(p, q, r, …) es una tautología
• P(p, q, r, …) Q(p, q, r, …) es una contradicción
• P(p, q, r, …) Q(p, q, r, …) es una tautología

Ejemplo:

Como (p q) (q r) (p r) es una tautología,

luego (p q) (q r) (p r)

LÓGICA
 Implicación lógica

Ejemplo:

p q p q (p q) (p q) (p q)
V V V F F
V F F F F
F V F F F
F F F V F

Como (p q) (p q) es una contradicción,

se tiene que p q p q

LÓGICA
 Implicación lógica

Ejercicio. Demostrar las siguientes implicaciones:

1. p q p
2. p q q
3. p p q
4. p p q
5. q p q
6. (p q) p
7. (p q) q
8. p (p q) q
9. q (p q) p
10.(p q) (q r) p r
11.(p q) (p r) (q r) r
LÓGICA
 Razonamiento

Por razonamiento se debe entender la afirmación de que

determinada proposición (la conclusión) sea consecuencia
de las otras proposiciones (las premisas).

Un razonamiento es válido si y solamente si la conjunción

de las premisas implica la conclusión, es decir, cuando las
premisas son todas verdaderas, la conclusión es
verdadera.

NOTA:

La verdad de la conclusión es independiente de la

manera de demostrar la validez de un razonamiento.

LÓGICA
 Razonamiento

NOTAS:
Las reglas de inferencia son una de las formas más
utilizadas por la inteligencia artificial para la
representación del conocimiento.

Al conjunto de reglas de inferencia de un dominio

específico se le llama base de conocimiento.

Al conjunto de algoritmos necesarios para razonar

a partir de un conjunto de reglas o base de
conocimiento se le llama motor de inferencia.

LÓGICA
 Razonamiento

NOTAS:
La base de conocimiento y el motor de inferencia
son
las piezas básicas en la arquitectura de los sistemas
basados en conocimiento (sistemas expertos /
sistemas inteligentes / agentes / etc.).

Además de las reglas, para realizar un razonamiento o

inferencia, se requieren los datos, hechos o evidencia que
se tiene actualmente. Estos datos se van incrementando a
medida que se van obteniendo nuevas conclusiones.

LÓGICA
 Razonamiento

NOTA:

En un razonamiento correcto, la conjunción de todas

las premisas implica la conclusión. Si las premisas son
verdaderas la conclusión es verdadera.

Si una o más de las premisas es falsa, la conjunción de

todas las premisas es falsa; por tanto, la conclusión
puede ser tanto verdadera como falsa.

Las tablas de verdad ayudan a validar la correctitud de

los razonamientos.

LÓGICA
 Razonamiento

Ejemplo:
Los Planetas son redondos
La Tierra es un planeta
----------------------------------------------
La tierra es redonda

El ejemplo es evidente. Si sabemos que todos los

planetas son redondos, sabemos que la tierra es un
planeta, llegamos a tener como conclusión de ello, un
conocimiento nuevo: la tierra es redonda.

LÓGICA
 Razonamiento

Ejemplo:
El 90% de los venezolanos son católicos
Pedro es venezolano
----------------------------------------------
Es probable que Pedro sea católico

La conclusión puede ser únicamente probable y nunca

necesaria. Por Probabilidad estadística, es más probable
que Pedro esté dentro del 90% que dentro del 10%

LÓGICA
 Razonamiento

p q r p q q r ( p q) ( q r) p r
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V

LÓGICA
 Razonamiento

Ejercicio. Traduzca el siguiente razonamiento a un

cálculo de proposiciones:

Si se devalúa el bolívar, la inflación se acelerará; y

si el bolívar se mantiene estable, las divisas no
bajarán. O el bolívar se devalúa o éste se mantiene
estable. Si se devalúa el bolívar, las divisas bajarán.
Si el bolívar se mantiene estable, la inflación no se
acelerará. Luego, la inflación se acelerará si y sólo
si las divisas bajarán.

LÓGICA
 Razonamiento
Ejercicio.

Si Elvira opina que hay que hacer lo posible

para ser feliz, abandonará a su amante o se
dedicará a su profesión. Si se dedica a su
profesión, no dejará a su marido. En
conclusión, si Elvira opina que hay que hacer lo
posible para ser feliz, entonces, dejará a su
marido aunque no abandone a su amante.

LÓGICA
 Razonamiento

Ejercicio. Simbolice cada uno de los siguientes

razonamientos:
1. Karina tendrá una buena educación si pone sus
estudios antes que su interés en ser estrella de
cine.
2. Norma está haciendo su tarea de matemáticas y
Claudia está practicando sus lecciones de piano.
3. Si Lorenzo se va de vacaciones, entonces él se
divertirá si no le preocupa viajar en avión.
4. Si Homero aprueba su curso de programación y
termina su proyecto de estructura de datos, podrá
tomar el curso de lenguajes de programación el
próximo semestre.

LÓGICA