INGRESO ESCOLAR

NACIONAL

2023

1
 INTRODUCCIÓN

Definición: La Lógica estudia la validez de los razonamientos

Cuando un individuo afirma algo, tiene que argumentar como llegó a esa conclusión.
Todo argumento civilizado (lo que escuchamos o leemos) esta hecho sobre un
razonamiento (una estructura de pensamiento que en base a premisas aceptadas
como ciertas obtenga una conclusión), la lógica valida estos razonamientos.

En la clase de hoy haremos estudio de la Lógica Proposicional o lógica de orden

cero, la cual trabaja sobre unas unidades de pensamiento llamadas proposiciónes,
relacionándolas a través de los llamados conectivos lógicos y analizando esas
relaciones.
Resaltamos que en esta parte no nos interesa mucho lo que digan las proposiciones
en sí, si no como se relacionan para establecer razonamientos válidos.
 PROPOSICIONES Y CONECTORES LÓGICOS

Definición: Una proposición lógica es un enunciado que:

1) Afirma algo acerca de un sujeto
2) Tiene o puede asignársele un valor de verdad esto es, puede
ser verdadero (V) o falso (F), uno y solo uno de ellos.

Ejemplos de proposiciones: No son proposiciones:

p: Juan estudia en CepreUni El estudia en la UNI
q: Laura nunca te hizo caso ¡ que calor !
r: Juan ingresará a la UNI Raúl me parece guapo
s: 2+4=6 x+5=6
t: 4 + 12 < 16 x + 12 > 16

Las proposiciones pueden nombrarse a través de una letra minúscula

PROPOSICIONES Y CONECTORES LÓGICOS

Definición: Un conector lógico al afectar a una proposición, o al relacionar

a dos proposiciones, forma una nueva proposición lógica.

Nueva proposición Representación

No es cierto que Laura estudie ………………….. ∼p
Juan No trabaja ……………………………............ ∼q
Juan estudia y Laura trabaja …………................. p∧q
Juan estudia pero trabaja ………………………... p∧q
Laura va al parque o va al mercado………..…….. p∨q
Si Juan estudia entonces Juan ingresa .……….. p→q
Raul ingresó dado que estudio en CepreUni …... q→p
Raul ingresa si y solo si estudia…... p↔q
O Raul ingresa o raul va al Ejército…... p△q
PROPOSICIONES Y CONECTORES LÓGICOS

Definición:
Definición:
1) Una proposición simple es aquella
Al acto de generar una nueva
que no tiene presencia de conectores
proposición mediante un
lógicos, excepto en la descripción del
conector o conectivo lógico se
sujeto.
le llama Operación Lógica
2) Una proposición compuesta es
aquella que no es simple
Operación Lógica Conectivo usado
Negación ……………… ∼ Son proposiciones simples
Conjunción ……………. ∧
El Perú tiene grandes ciudades
Disyunción ……………. ∨
Juan sabe leer
Condicional …………… →
Raúl es ingeniero civil
Bicondicional …………. ↔
Juan y Sonia son esposos
Disyunción excluyente ... △
Ejercicio:
Señale cuales de los siguientes son proposiciones:
I. ¿Por qué no cambias Pedrito?
II. Mi auto se estrelló en pleno puente
III. ¡Soldados ataquemos¡
IV. El número 2 es menor que el número 6
V. En Sullana hay altas temperaturas
VI. Enriqueta es bonita.
Ejercicio:
Señale cuales de las siguientes proposiciones son compuestas:
I. Juana y Mario son compañeros en clase de álgebra.
II. Iré siempre a clases dado que saque mala nota en la práctica.
III. Pedro, el que no fue a clases dado que estaba enfermo, hoy
falleció.
IV. O mejoramos las notas o llevamos cursos en marzo
V. Juana ríe, pero esta jalada en el curso de álgebra.
VI. Enrique se pondrá triste si Roberto no va a la reunión.
 FÓRMULAS LÓGICAS Y TABLAS DE VERDAD

Definición:
Una Fórmula Lógica es la
representación simbólica de una
Proposición, indicándose en el caso
de una proposición compuesta los
conectivos lógicos que la generan.
Definición:
Una Tabla de verdad nos señala el
valor de verdad de una fórmula
lógica, para cada estado de verdad
que generan las proposiciones
simples que la conforman.

Algunas Fórmulas Lógicas p q f(p;q)

V V F
p Estados
∼p→q V F V
de
verdad F V V
∼p∨q
F F V
(∼ p ↔ q) → r
𝑵𝑵° 𝒅𝒅𝒅𝒅 𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆𝒆 𝒅𝒅𝒅𝒅 𝒗𝒗𝒗𝒗𝒗𝒗𝒗𝒗𝒗𝒗𝒗𝒗 = 𝟐𝟐𝑵𝑵°𝒅𝒅𝒅𝒅 𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑𝒑
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD

Tabla de verdad de la conjunción Tabla de verdad de la disyunción

p q p∧q p q p∨q
V V V V V V
V F F V F V
F V F F V V
F F F F F F

La conjunción es Verdadera solo si La disyunción es Falsa solo si

ambas proposiciones son Verdaderas ambas proposiciones son Falsas

Ejemplo Ejemplo
Juana estudia y Pedro trabaja (V) Juana es Física o Juana es Pintora (F)
Se concluye: Se concluye:
Juana Estudia (V) Juana es Física (F)
Pedro trabaja (V) Juana es pintora (F)
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD

Tabla de verdad de la negación La condicional es Falsa solo si el antecedente

es Verdadero y el consecuente es Falso
Ejemplo
V F Si Raúl estudia entonces Raúl Ingresa (F)
F V Se concluye: Raúl Estudia (V)
Raúl ingresa (F)
La negación tiene un valor de verdad
distinto al de la proposición original. Observaciones
1) Si el antecedente es Falso entonces la
Tabla de verdad de la condicional
condicional es verdadera
p q p→q 2) Si el consecuente es Verdadero entonces
la condicional es verdadera
V V V
3) En la condicional p→q se dice que:
V F F p es suficiente para q
F V V q es necesario para p
q→p es su recíproco
F F V ∼ q→∼p es su contrarrecíproco
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD

Tabla de verdad de la Bicondicional Tabla de la disyunción excluyente

p q p↔q p q p∆q
V V V V V F
V F F V F V
F V F F V V
F F V F F F

La Bicondicional es Verdadera solo si La disyunción excluyente es Verdadera

ambas proposiciones tienen el mismo
valor de verdad
Observacion
En la bicondicional p↔q se dice que:
q es suficiente y necesario para p
solo si ambas proposiciones tienen
distinto valor de verdad
Observacion
Si son verdaderas ambas a la vez la
Disyunción excluyente es FALSA
Ejercicio:
Elabore la table de verdad de la siguiente proposición compuesta:
(p ∨ q) → (p ∧ q)

p q ( p∨q ) → ( p∧q )
V V
V F
F V
F F
Ejercicio:
Señale los valores de Verdad de p,q,r,s,t si la siguiente
proposición compuesta expresada como fórmula lógica es Falsa:
[p∧  q] → [r → (s∨  t)]
 EQUIVALENCIAS LÓGICAS. TAUTOLOGÍA Y CONTRADICCIÓN

Definición: Dos fórmulas lógicas son equivalentes ( p ≡ q ) si tienen el

mismo valor de Verdad en cada Estado de Verdad.

Ejemplos

p q p→q ~p ∨ q p q p ∨ (p ∧ q) p
V V V F V V V V V V V V
V F F F F F V F V V F V
F V V V V V F V F F F F
F F V V V F F F F F F F

p→ q es equivalente a ~p ∨ q p ∨ (p ∧ q) es equivalente a p

p→ q ≡ ~p ∨ q p ∨ (p ∧ q) ≡ p
EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN

Definición: Definición:
Una Fórmula Lógica es Tautología Una Fórmula Lógica es Contradicción
si es Verdadera en cualquier estado si es Falsa en cualquier estado de
de Verdad generado por las Verdad generado por las proposiciones
proposiciones que la conforman. que la conforman.
Ejemplo Ejemplo
p q (p → q) ∨ p p q ~ (p → q) ∧ q
V V V V V V V F V F V
V F F V V V F V F F F
F V V V F F V F V F V
F F V V F F F F V F F
(p → q) ∨ p es Tautología (p → q) ∨ p es Contradicción
(p → q) ∨ p ≡ V (p → q) ∨ p ≡ V

Definición: Una Fórmula Lógica es Contingencia si no es Tautología

ni es Contradicción
 Ejercicio:
Señale si las proposiciones son Tautologías(V) o contradicciones(F)
I. ( p∧q ) → ( p )
II. ( ~p∨q ) ↔ ( p→q )
III. q ∧ ~( p→q )

p q (p∧q)→ p ( ~p ∨ q ) ↔ ( p → q ) q ∧ ~( p → q )
V V
V F
F V
F F
 ÁLGEBRA PROPOSICIONAL
1a. p∨p≡p 1b. p∧p≡p
2a. p∨q≡q∨p 2b. p∧q≡q∧p
3a. p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r 3b. p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
4a. p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) 4b. p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

5a. p ∨ ~p ≡ 𝐕𝐕 5a. p ∧ ~p ≡ 𝐅𝐅
6a. p ∨ 𝐕𝐕 ≡ 𝐕𝐕 6a. p ∧ 𝐕𝐕 ≡ p
7a. p ∨ 𝐅𝐅 ≡ p 7a. p ∧ 𝐅𝐅 ≡ 𝐅𝐅
Leyes de Morgan
8a. ~(p ∨ q) ≡ ~p ∧ ~q 8b. ~(p ∧ q) ≡ ~p ∨ ~q
Leyes de Absorción
9a. p ∨ (p ∧ q) ≡ p 9b. p ∧ (p ∨ q) ≡ p
ÁLGEBRA PROPOSICIONAL
Falsa Absorción
10a. p ∨ (~p ∧ q) ≡ p ∨ q 10b. p ∧ (~p ∨ q) ≡ p ∧ q
Condicional
11. p → q ≡ ~p ∨ q 12. p → q ≡ ~q → ~p

Bicondicional 13. p ↔ q ≡ (p → q) ∧ (q → p)

Negación 14. ~(~p) ≡ p 15. ~(𝐕𝐕) ≡ 𝐅𝐅 16. ~(𝐅𝐅) ≡ 𝐕𝐕

Disyunción excluyente 17. p △ q ≡ ~(p ↔ q)

Bicondicional Disyunción excluyente

18a. p ↔ p ≡ 𝐕𝐕 18b. p △ p ≡ 𝐅𝐅
19a. p ↔ q ≡ q ↔ p 19b. p △ q ≡ q △ p
20a. ~(p ↔ q) ≡ (~p ↔ q) ≡ (p ↔ ~q) 20b. ~(p △ q) ≡ (~p △ q) ≡ (p △ ~q)
21a. ~p ↔ ~q ≡ p ↔ q 21b. ~p △ ~q ≡ p △ q
Ejercicio:
Simplifique las siguientes fórmulas lógicas
I. ( p ∧ q ) → ( p )
II. q ∧ ~( p → q )
III. [ ( p ∧ ~q ) → q ] ∧ ( p ∨ q )
 CONJUNTOS

Concepto: Un Conjunto es una reunión, agrupación, colección… de entes

llamados elementos del conjunto

Se dice que un conjunto esta correctamente determinado al

conocerse los elementos que lo conforman

Ejemplo

A = {a;e;i;o;u} Determinación por extensión

A = {x / x es una vocal} Determinación por comprensión

Función Proposicional
Obs: Solo los elementos que hacen
verdadera la función proposicional son
elementos de A
RELACIONES DE PERTENENCIA E INCLUSIÓN. EL VACÍO Y EL UNIVERSO

RELACIÓN DE PERTENENCIA
Definición: Se dice que x pertenece a A (x ∈ A) si x es elemento de A

Observación: x ∉ A ⟺ ~(x ∈ A)

Ejemplo Sean: A = {2; 5; 8} B = {3; 5; 6}

Señalemos el valor de verdad de:
2∈A (𝑉𝑉) 8 ∈ B (𝐹𝐹)
5∉A (𝐹𝐹) 4 ∉ B (𝑉𝑉)
3 ∉ A ∨ 7 ∈ B → 3 ∈ A (𝐹𝐹)
RELACIONES DE PERTENENCIA E INCLUSIÓN. EL VACÍO Y EL UNIVERSO

Conjunto vacío Conjunto Universo

Es aquel Conjunto que “no Es aquel conjunto que tiene por
tiene” elementos. elementos a todos aquellos presentes en
un estudio, fenómeno, análisis,…etc
Se denota: ∅ o { } Se denota: 𝐔𝐔
Formalmente Formalmente
𝐱𝐱 ∈ ∅ es siempre Falsa 𝐱𝐱 ∈ 𝐔𝐔 es siempre Verdadera

Conjunto Unitario Es aquel Conjunto que tiene un único elemento

Formalmente El conjunto A es unitario si
𝐱𝐱 ∈ 𝐀𝐀 es Verdadera solo para un único x
RELACIONES DE PERTENENCIA E INCLUSIÓN. EL VACÍO Y EL UNIVERSO

RELACIÓN DE INCLUSIÓN
Concepto: Se dice que el conjunto A esta incluido en el conjunto B (A ⊂ B)
si todo elemento de A es también elemento de B

Definición: A ⊂ B ⟺ (x ∈ A → x ∈ B) es siempre Verdadero

Observación: A ⊄ B ⟺ ~(A ⊂ B)

Ejemplo Sean: A = {2; 5; 8} B = {3; 5; 6}

Señalemos el valor de verdad de:
{2; 5} ⊂ A (𝑉𝑉) {2; 5} ⊂ B (𝐹𝐹)
{3; 5} ⊄ A (𝑉𝑉) {2; 8} ⊄ B (𝑉𝑉)
RELACIONES DE PERTENENCIA E INCLUSIÓN. EL VACÍO Y EL UNIVERSO

INCLUSIÓN EN CONJUNTOS NUMÉRICOS

ℚ ℝ\ℚ
ℤ

ℝ
ℂ
IMPORTANTE
PARA TODO A CONJUNTO: ∅⊂A
PARA TODO A CONJUNTO: 𝐴𝐴 ⊂ U
RELACIONES DE PERTENENCIA E INCLUSIÓN. EL VACÍO Y EL UNIVERSO

IGUALDAD DE CONJUNTOS
Concepto: Se dice que el conjunto A es igual a B (A = B) si ambos
conjuntos tienen los mismos elementos

Definición: A = B ⟺ (x ∈ A ↔ x ∈ B) es siempre Verdadero

Ejemplo Sean: A = { x ∈ ℕ /𝑥𝑥 ≤ 4}

B = {1; 2; 3;4}
Se tiene que A=B

Teorema: A = B ⟺ A⊂B ∧ B⊂A

RELACIONES DE PERTENENCIA E INCLUSIÓN. EL VACÍO Y EL UNIVERSO

SUBCONJUNTOS
Definición: Se dice que el conjunto A es subconjunto de B si A ⊂ B

Observación:
Si A es subconjunto de B podría darse el caso de
que A sea igual a B
SUBCONJUNTO PROPIO
Definición: Se dice que el conjunto A es subconjunto propio de B si:
A⊂B∧A≠B

Ejemplo Para A = {m; n; p} son subconjuntos:

∅
Subconjuntos propios: {m} {n} {p}
{m;n} {m;p} {n;p}
{m;n:p}
Ejercicio:
Dado el siguiente conjunto A = { 2 ; 4 ; 5; 4 ; 2; 2; 4 }
Señale el valor de Verdad de las siguientes proposiciones

I. {4} ∈ A
II. {4} ⊂ A
III. {2; 5} ∈ A
IV. {2; 4} ∈ A
V. {2; 5} ⊂ A
VI. {2; {4}} ⊂ A
VII. {2; {5}} ⊂ A
VIII. { 2; 4 } ∈ A
Ejercicio:
Señale el valor de Verdad de las siguientes proposiciones
I. ℕ⊂ℤ
II. ℤ+ = ℕ
III. ℤ∗ ⊂ ℕ
IV. ℤ ∪ ℕ ⊂ ℤ
V. ℕ ∖ ℤ = ϕ