SEMANA 01

SEMANA 02

SEMANA 03

SEMANA 04

SEMANA 05
Tema:
 LÓGICA DE CLASES Y PROPOSICIONAL

LÓGICA DE CLASES –
CONECTIVOS Y TABLAS LEYES DEL ÁLGEBRA REPRESENTACIÓN
EQUIVALENCIAS Y
DE VERDAD PROPOSICIONAL GRÁFICA DE SILOGISMOS
NEGACIONES
1. CONECTIVOS Y TABLAS DE VERDAD:
Conectivos lógicos Tablas de verdad
Los conectivos lógicos son aquellas palabras o Una tabla de verdad es aquella que muestra el valor de
expresiones, representadas por símbolos, que se verdad de una proposición compuesta, para todas las
utilizan para negar o enlazar proposiciones simples. combinaciones posibles.

Conectivo
Símbolo Representación Significado p q pq pq p→q pq p∆q
lógico

negación  p no p V V V V V V F

conjunción  pq pyq V F F V F F V

disyunción  pq poq F V F V V F V

condicional → p→q si p entonces q
F F F F V V F
bicondicional  pq p si y solo si q
Observación:
disyunción La jerarquía de las proposiciones es negación, conjunción,
∆ p∆q opoq disyunción, condicional y bicondicional; pero primero se
exclusiva
analiza los signos de agrupación.
2. LEYES DEL ÁLGEBRA PROPOSICIONAL:
Principales leyes 5. Propiedad de la condicional
Utilizaremos las leyes para reducir esquemas moleculares p → q ≡ ~p  q
p → q ≡ ~q → ~p
complejos y expresarlos en forma más sencilla.
1. Doble negación 6. Leyes de Morgan
(p)≡ p ~ (p  q) ≡ ~ p  ~ q
2. Propiedad conmutativa ~ (p  q) ≡ ~ p  ~ q
pq≡ qp
pq≡ qp 7. Propiedad de la absorción
pq≡ qp p  (p  q) ≡ p
pΔq≡ qΔp p  (p  q) ≡ p
3. Propiedad asociativa p  (~ p  q) ≡ p  q
p(qr)≡ (pq) r p  (~ p  q) ≡ p  q
p(qr)≡ (pq)r 8. Propiedad de la bicondicional
4. Propiedad distributiva p q≡(p→q)(q→p)
p(qr)≡ (pq)(pr) p  q ≡ ( p  q )  (~p  ~q )
p(qr)≡ (pq)(pr) p  q ≡ ~( p Δ q )
 Aplicación 1 Resolución:
Nos piden: La cantidad de valores de verdad en el resultado final.
Al formalizar la proposición siguiente:
Primero formalizaremos la proposición:
«O estás seguro y lo que dices es
cierto o mientes como un bellaco», y «O estás seguro y lo que dices es cierto o mientes como un bellaco»
luego de construir su tabla de verdad, ( p  q ) Δ r
indique el número de valores de
verdad en el resultado final. Construimos ahora su tabla de verdad:
p q r ( p  q ) Δ r
A) 6 V V V V V V F V
B) 2 V V F V V V V F
C) 3 V F V V F F V V
D) 4 V F F V F F F F
E) 5 F V V F F V V V
F V F F F V F F
F F V F F F V V
F F F F F F F F

resultado
final

∴ El número de valores de verdad (V) es 4

3. LÓGICA DE CLASES:
Representación y Negaciones Equivalencias
Representaremos las cuatro formas típicas de las Algunas equivalencias importantes para cuantificadores
proposiciones categóricas: universales son:
UNIVERSAL AFIRMATIVA PARTICULAR NEGATIVA I. Cuando el predicado está negado:
Todo S es P Algún S no es P ≡ Algún S es no P (Equivale al cambio del cuantificador universal)

S P S P Ningún A es no B ≡ Todo A es B
negación
X Todo A es no B ≡ Ningún A es B
negación
II. Cuando el verbo está negado
(Equivale a la negación de la proposición categórica)
UNIVERSAL NEGATIVA PARTICULAR AFIRMATIVA
Ningún S es P ≡ Ningún P es S Algún S es P ≡ Algún P es S Todo A no es B ≡ No (Todo A es B)

S P S P Ningún A no es B ≡ No (Ningún A es B)
negación Observación:
X
negación Tener en cuenta la negación de los siguientes cuantificadores
negación
∀ ∃
4. SILOGISMOS:
Es un tipo de inferencia mediata, el cual a partir de dos Dadas las premisas, halle la conclusión:
proposiciones, llamadas premisas, se deriva una nueva
proposición llamada conclusión. • Algunos abogados son honestos.

Pasos para hallar la conclusión en un silogismo: • Todos los honestos son triunfadores.

1. Reconocemos en las dos premisas, las clases que ABOGADOS TRIUNFADORES

intervienen.
2. Las 3 clases se grafican de manera general y se
sugiere que la clase que se repite se ubique en la X
parte inferior.

3. Se gráfica cada premisa comenzando por la

proposición universal.
HONESTOS
4. Del gráfico final se obtiene la conclusión teniendo
en cuenta que la clase que se repite no aparezca
Conclusión: Algunos abogados son triunfadores.
en la conclusión.
 Resolución:
Aplicación 2
Nos piden: La respuesta correcta.
Si afirmamos
Sean las proposiciones:
• Los ingresantes de la UNI son
responsables. • Los ingresantes de la UNI son responsables.
• Algunas personas puntuales no son • Algunas personas puntuales no son responsables.
responsables.
Determine la respuesta correcta.
INGRESANTES PERSONAS
A) Algunas personas puntuales son DE LA UNI PUNTUALES
ingresantes de la UNI. X
B) Los ingresantes de la UNI son
personas puntuales.
C) Los ingresantes de la UNI son
personas impuntuales.
D) Algunas personas puntuales no
son ingresantes de la UNI. RESPONSABLES
E) Ningún ingresante de la UNI es
una persona impuntual.
∴ Se concluye que: Algunas personas puntuales no son ingresantes de la UNI.
 PROBLEMA 01: Resolución:
Sean Nos piden: La matriz principal
p#q≡p→∼q De los datos:
p@q≡∼q∨∼p p#q≡p→∼q ; p@q≡∼q∨∼p
Determine la matriz principal de Reemplazando en la expresión dada:
[(p @ q) ↔ (p # q)] ∧ q [(p @ q) ↔ (p # q)] ∧ q De la condicional
[(∼ q ∨ ∼ p) ↔ (p → ∼ q)] ∧ q p→q≡~pq
A) VVFF
B) VFVF [(∼ q ∨ ∼ p) ↔ (∼ p  ∼ q)] ∧ q
C) FFVV Construyendo la tabla de verdad:
D) FVFV
E) FVVF p q [(∼ q ∨ ∼ p) ↔ (∼ p  ∼ q)] ∧ q
V V V V V
V F V F F
F V V V V
p q pq pq p→q pq p∆q
V V V V V V F F F V F F
V F F V F F V
F V F V V F V
F F F F V V F
∴Matriz principal: VFVF
 PROBLEMA 2 Resolución:
Se tiene la tabla incompleta con el Nos piden: ¿Qué conector lógico reemplaza al *?
operador lógico *.
De la tabla: completamos

p q p*q p q p*q Descartamos los

F V F F V conectores:

V F F V F p q pq pq p→q pq p∆q

V V V F V V V V V V V F

V V V F F V F F V
V V
F V F V V F V
Observamos lo siguiente:
Al completar la tabla, indique con total F F F F V V F
certeza que conectivo lógico simple
reemplaza al *. p*q ≡ q→p ≡ p ← q

A) ∧ Luego,
B) ∨
C) →
D) Δ El conector que reemplaza al * es el ←
E) ←
 PROBLEMA 03: Resolución:
Sea p≡V y q≡F. Si en solo una de las Nos piden: indicar el valor de verdad de las proposiciones restantes en el orden
siguientes cuatro proposiciones esta que aparecen.
información no es suficiente para De los datos: p≡V q≡F
determinar su valor de verdad, excluya
dicha proposición e indique el valor de
verdad de las restantes en el orden que I. (p ∧ q) → (r ∆ q) III. r ∧ (∼q → p)
aparecen. V F V V
I. (p ∧ q) → (r ∆ q) F V
II. r ∨ (q → p)
V r≡?
III. r ∧ (∼q → p)
IV. (p ∧ r) ↔ (q ∨ ∼r)
II. r∨(q→p) IV. (p ∧ r) ↔ (q ∨ ∼r)
F V V F
A) VVF
B) VVV V r ∼r
C) VFV V F
D) VFF
E) FVV
∴ Los valores de verdad son: VVF
 PROBLEMA 04: Resolución:
Sea p, q, r y s proposiciones de tal forma Nos piden : Si se puede conocer el valor de verdad de las expresiones
que (∼p ∆ q) es falsa y ((q → r) ∧ p) ↔ De los datos
(s ∆ p) es verdadera. Indique en cuál de
los siguientes casos es suficiente dicha ( ∼p ∆ q ) ≡ F (( q → r ) ∧ p ) ↔ ( s ∆ p ) ≡ V
información para conocer el valor de F ? F V cumple para el
verdad de las siguientes expresiones: otro caso F- F
son iguales V V
p y q son diferentes V V
I. (p → q) ∧ s
II. ∼q ∧ (p ∆ r) V
III. (s ∧ r) ∨ (p ∆ ∼q)
Luego p ≡ 𝑉 , q ≡ 𝐹 𝑦 s ≡ 𝐹
A) solo I B) I y III C) I, II y III
I. ( p → q ) ∧ s II. ∼q ∧ ( p ∆ r ) III. (s ∧ r) ∨ (p ∆ ∼q)
D) Ninguna E) solo II valores iguales
V F V V F
F ? F F
p q pq pq p→q pq p∆q
V V V V V V F
F F
no se puede determinar
V F F V F F V
F
F
V
F
F
F
V
F
V
V
F
V
V
F
∴ solo se puede conocer el valor de I y III
 PROBLEMA 04: Resolución:
Sea p, q, r y s proposiciones de tal forma Nos piden : Si se puede conocer el valor de verdad de las expresiones
que (∼p ∆ q) es falsa y ((q → r) ∧ p) ↔ De los datos
(s ∆ p) es verdadera. Indique en cuál de
los siguientes casos es suficiente dicha ( ∼p ∆ q ) ≡ F (( q → r ) ∧ p ) ↔ ( s ∆ p ) ≡ V
información para conocer el valor de F ? F V cumple para el
verdad de las siguientes expresiones: otro caso F- F
son iguales V V
p y q son diferentes V V
I. (p → q) ∧ s
II. ∼q ∧ (p ∆ r) V
III. (s ∧ r) ∨ (p ∆ ∼q)
Luego p ≡ 𝑉 , q ≡ 𝐹 𝑦 s ≡ 𝐹

I. ( p → q ) ∧ s II. ∼q ∧ ( p ∆ r ) III. (s ∧ r) ∨ (p ∆ ∼q)

A) solo I valores iguales
V F V V F
B) I y III
C) I, II y III F ? F F
D) ninguna
E) solo II F F
no se puede determinar

∴ solo se puede conocer el valor de I y III

 PROBLEMA 05: Resolución:
Nos piden: La secuencia correcta de las proposiciones, si son V o F.
Si el esquema es falso
{[p ∧ (q ∆ r)] → (∼s ↔ p)} ∨ {[(r → q) → { [ p ∧ ( q ∆ r ) ] → ( ∼s ↔ p ) } ∨ { [ ( r → q ) → ( s ∧ t ) ] } ≡ F
(s ∧ t)]}
≠ V F V
Indique la secuencia correcta después
[V ∧ ( V )] ( F ↔ V ) ( V ∧F )
de determinar si la proposición es
verdadera (V) o falsa (F). {[ V ] →( F ) } { ( V ) → ( F ) }
{ F } ∨ { F } ≡ F
I. q → r
II. (p ∆ ∼s)
p≡V s≡V t≡F r≡F q≡V
III. (q ∨ r) → (s ∆ t)

A) FFF B) FFV C) VFV Analizamos las proposiciones:

D) FVV E) VVF I. q → r II. (p ∆ ∼s) III. (q ∨ r) → (s ∆ t)
V→ F V∆ F (V ∨ F) → (V ∆ F)
F V V → V
V

∴ La secuencia correcta es: FVV

PROBLEMA 06: Resolución:

Se definen las proposiciones: Nos piden: los valores de verdad de p, q y r, respectivamente

pqq p
Datos:
pqp q
pqq p  pq
Además, la proposición:
 (q  r ) →  ( q  p )  V pqp q
Determine los valores de verdad de
Reemplazamos los nuevos conectores:
p, q y r, respectivamente.
 (q  r ) →  ( q  p )
A) FFF
B) FVV  (q r qr ) →  (  q  p )
C) VFV
D) VVF F F V V
E) VVV
F V
V F Los valores de: p q r
V F V
F

V
 PROBLEMA 7: Resolución:
Dada la proposición: “Existe la justicia, Nos piden: Lo que se obtiene luego de formalizarla y simplificarla.
pero hay democracia o solamente empleo,
salvo que; es cierto que exista la justicia, Sean las proposiciones: • Existe la justicia: p
no obstante, es falso que no hay • Hay democracia:
democracia siempre y cuando haya • Hay empleo:
empleo”. Al formalizarla y simplificarla se Analizando la proposición:
obtiene Existe la justicia, pero hay democracia o solamente empleo, salvo que;
A) No hay justicia [ ∧ ( r ) ]
B) Hay democracia [ es cierto que exista la justicia, no obstante, es falso que
C) Hay empleo ∼
D) Hay justicia no hay democracia siempre y cuando haya empleo
E) O hay democracia o hay empleo (∼ r ) ]
Resulta: [ ∧ ( ∆ )]∨ [ ∧ ∼(∼ ↔ )]
q r
[ ∧ ( ∆ )]∨ [ ∧ ∼( )]

∴ ∧[ ( ∆ ) ∨ ∼( )] ≡ ∧ ≡ ≡ Existe la justicia
 PROBLEMA 08 Resolución:
Con respecto a la proposición Si me Nos piden: Las proposiciones que son equivalentes con la proposición dada
distraigo con el celular entonces seré
víctima de un robo, ¿cuáles de las
proposiciones I, II, III y IV son su Proposición: Si me distraigo con el celular entonces seré víctima de un robo
equivalente?
simbolizando: p q
I. Si soy víctima de un robo entonces me
distraje con el celular. Recordando: 𝑝 → 𝑞 = ~𝑝 ⋁ 𝑞
II. Si no me distraigo con el celular
entonces no seré víctima de un robo.
III. Si no soy víctima de un robo entonces
no me distraje con el celular. No me distraigo con el celular o seré víctima de un robo (IV)
IV. No me distraeré con el celular o seré
Recordando: 𝑝 → 𝑞 = ~𝑞 → ~𝑝
víctima de un robo.

A) solo I B) I y II C) II y IV
D) III y IV E) I y III Si no soy víctima de un robo entonces no me distraigo con el celular (III)

𝐿𝑎𝑠 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑡𝑒𝑠 𝑠𝑜𝑛 𝐼𝐼𝐼 𝑦 𝐼𝑉

 PROBLEMA 10: Resolución:
Nos piden indicar las proposiciones que son tautologías
En las siguientes proposiciones y luego 𝐼𝐼𝐼. [((𝑝 ∨ 𝑞) → ∼ 𝑟) ∧ (𝑝 ∧ 𝑞)] → ∼ 𝑟
𝐼. (∼ 𝑞 → ∼ 𝑝) ↔ [∼ (𝑝 ∧ ∼ 𝑞)]
del respectivo análisis, determinar
p q r [((𝑝 ∨ 𝑞) → ∼ 𝑟) ∧ (𝑝 ∧ 𝑞)] → ∼ 𝑟
cuáles de las siguientes proposiciones 𝑞 ∨∼ 𝑝 ⟷ [ ∼ 𝑝 ∨ 𝑞 ]
V V V V F F F V V F
≡
son tautologías o no. V V V V V V
¡Siempre sale verdadero! VV F V
𝐼. (∼ 𝑞 → ∼ 𝑝) ↔ [∼ (𝑝 ∧ ∼ 𝑞)] V F V V F F F F V F
𝐼𝐼. [(∼ 𝑝 ∨ ∼ 𝑞) → ∼ (𝑝 ∧ 𝑞)] ∨ 𝑠 𝐼𝐼. [(∼ 𝑝 ∨ ∼ 𝑞) →∼ (𝑝 ∧ 𝑞)] ∨ 𝑠 VF F V V V F F V V
𝐼𝐼𝐼. [((𝑝 ∨ 𝑞) → ∼ 𝑟) ∧ (𝑝 ∧ 𝑞)] → ∼ 𝑟 [(∼ 𝑝 ∨ ∼ 𝑞) → (∼ 𝑝 ∨ ∼ 𝑞) ] ∨ 𝑠 F V V V F F F F V F
A) solo I F V F V V V F F V V
≡
B) I y II F F V F V F F F V F
𝑉 ∨𝑠
F F F F V V F F V V
C) II y III
¡Siempre sale verdadero!
D) I, II y III
¡Siempre sale verdadero!
E) solo II

∴ Todas son tautologías

 PROBLEMA 11
Resolución:
¿Qué alternativa es equivalente a la Nos piden : la alternativa equivalente a la proposición
siguiente proposición?
(p → q) →[(p ∨ (q ∧ r)) ↔ (q ∧ (p ∨ r))]
Asignaremos valores de verdad convenientes
(p → q) →[(p ∨ (q ∧ r)) ↔ (q ∧ (p ∨ r))]
( F → q) →[( F ∨ (q ∧ r)) ↔ (q ∧ ( F ∨ r))]
A) p V → [ (q ∧ r) ↔ (q ∧ r) ] IGUALES
B) p → r V → V
C) q ↔ r
D) p ∧ ~p V
E) q ∨ ~q (p → q) →[(p ∨ (q ∧ r)) ↔ (q ∧ (p ∨ r))]
( V → q) →[( V ∨ (q ∧ r)) ↔ (q ∧ ( V ∨ r))]
Observamos que la
q → [ (V) ↔ ( q ∧ V )] expresión es siempre
q → [ V ↔ q ] verdadera
q → q
V

La alternativa que es verdadera es q ∨ ~q

 PROBLEMA 12:
Resolución:
Dada la afirmación ∀ n ∈ ℕ; ∃ y ∈ ℝ / Nos piden: Elegir la alternativa que expresa la negación de la afirmación.
ny ∈ ℤ.
Elija la alternativa que expresa la
negación de esta afirmación.
Afirmación: ∀ n ∈ ℕ; ∃ y ∈ ℝ / ny ∈ ℤ.
A) ∀ n ∈ ℕ; ∃ y ∈ ℝ/ ny ∉ ℤ
B) ∀ n ∈ ℕ; ∀ y ∈ ℝ / ny ∈ ℤ
C) ∃ n ∈ ℕ; ∀ y ∈ ℝ / ny ∉ ℤ Negación: ∃ n ∈ ℕ; ∀ y ∈ ℝ / ny ∉ ℤ.
D) ∀ n ∈ ℕ; ∃ y ∈ ℝ / ny ∈ ℤ
E) ∃ n ∈ ℕ; ∃ y ∈ ℝ / ny ∈ ℤ

La negación de la afirmación es: ∃ n ∈ ℕ; ∀ y ∈ ℝ / ny ∉ ℤ

 PROBLEMA 13 Resolución:

¿Cuál es un equivalente de la proposición Nos piden: su equivalente de la proposición que corresponde a la

que corresponde a la representación representación gráfica mostrada
gráfica mostrada
RECORDAR:
UNIVERSAL AFIRMATIVA
S P

Toda pregunta de admisión es difícil Todo S es P

A) Todas las preguntas de admisión son
fáciles.
B) Algunas preguntas de admisión no Toda pregunta de admisión es no fácil
Cuando el predicado está negado:
son difíciles.
C) Algunas preguntas de admisión son Ningún A es no B ≡ Todo A es B
Ninguna pregunta de admisión es fácil
no fáciles. Todo A es no B ≡ Ningún A es B
D) Ninguna pregunta de admisión es
fácil.
E) Algunas preguntas de admisión son
difíciles.
∴ Ninguna pregunta de admisión es fácil
 PROBLEMA 14 :
Resolución:
¿Cuál es la negación de algunos Nos piden: la negación de la proposición.
estudiantes que no ingresan a la “Algunos estudiantes que no ingresan a la universidad son responsables”
universidad son responsables?
A) Todos los estudiantes No ingresan a
Responsables
responsables ingresan a la la universidad
universidad.
x
B) Todos los estudiantes que
ingresan a la universidad son Negación
responsables.
C) Ningún estudiante que ingresa a la No ingresan a Responsables
universidad es responsable. la universidad x
D) Algunos estudiantes
irresponsables ingresan a la
universidad. “Ningún estudiante que no ingresan a la universidad son responsables”
E) Algunos estudiantes que ingresan ≡ “Ningún estudiante responsables no ingresan a la universidad ”
a la universidad son responsables.
Cuando el predicado está negado: ≡ “Todos los estudiantes responsables ingresan a la universidad ”

Ningún A es no B ≡ Todo A es B ∴ La negación de la proposición es: Todos los estudiantes responsables

Todo A es no B ≡ Ningún A es B ingresan a la universidad.
 PROBLEMA 16: Resolución:
¿Qué alternativa representa la negación de Nos piden : La negación de la conclusión
la conclusión de las siguientes deportistas populares
Algunos deportistas son populares
proposiciones? x

- Algunos deportistas son populares.

Ningún político es popular político popular

- Ningún político es popular.

Luego:
A) Todos los deportistas son políticos. deportistas políticos
B) Ningún deportista es político. deportistas políticos
C) Algunos deportistas son políticos. X
D) Algunos deportistas no son políticos Conclusión:
E) Todos los políticos son deportistas. X negación
deportistas políticos

popular

Todos los deportistas son políticos

 PROBLEMA 18:
Resolución:
Respecto a los siguientes cuatro datos: Piden: Lo que se puede deducir.
De I y IV
I. Es falso que algún periodista no es PERIODISTA DISTRAÍDO
investigador. I. Es falso que algún periodista no es investigador.
Niega
II. Los poetas son románticos.
Equivale a : Todo periodista es investigador.
III. Existen famosos que no son IV. No hay investigador que sea distraído.
románticos.
Se deduce : Ningún periodista es distraído.
IV. No hay investigador que sea
distraído. De II y III FAMOSOS POETAS INVESTIGADOR

Se puede deducir que

a. ningún periodista es distraído.
X
b. algunos poetas no son famosos.
Se deduce :
c. algunos famosos no son poetas.
Algunos famosos no son poetas.
A) solo a B) solo b C) solo c
D) a y c E) b y c ROMÁNTICOS Se deduce a y c
 Resolución:
PROBLEMA 20:
Nos piden: deducir la conclusión.
María dice que ningún ingresante a la María dice que: Ingresante Estudiante Ingresante Estudiante
UNI es estudiante de matemáticas y Ningún ingresante a la UNI matemática UNI matemática
Lucía dice que no es cierto que algún UNI es estudiante de
estudiante de matemática es no matemáticas NEGACIÓN X
responsable. Si lo que dijo María es Algunos ingresantes a la UNI son
falso y lo que dijo Lucia es verdad, ¿qué estudiantes de matemáticas
se concluye? Lucía dice que: Estudiante
No es cierto que matemática Responsable Estudiante
matemática Responsable

A) Algún ingresante de la UNI es no

Algún estudiante de
matemática es no
~( X ) EQUIVALE
responsable responsable
B) Algún ingresante de la UNI es Todo estudiante de matemática
responsable Ingresantes Responsable es responsable
a la UNI
C) Todo ingresante de la UNI es
responsable Ingresante a
Luego Responsable
D) Todo responsable es ingresante de la la UNI
UNI
X
E) Ningún ingresante de la UNI es no
X
responsable

Estudiantes de matemática ∴ Algún ingresante de la UNI es responsable.