FUNDAMENTOS LOGICO-MATEMATICOS

PARA EL DESARROLLO DE SISTEMAS

BLOQUE 2

Tema 4: INTRODUCCION A LA LOGICA

Mg. Rignoberto Zegarra Huamán

¿Cuáles de los siguientes enunciados son verdaderos o falsos?

a) El mundo es ancho y ajeno.

b) Estamos en el piso 3.
c) Jauja es la capital del Perú.
d) Abran la ventana.
e) El aula tiene 100 personas.
f) Estamos estudiando en IDAT.
Luego de analizar, vemos que:

a) El mundo es ancho y ajeno. (No se puede determinar)

b) Estamos en el piso 3. (Es falsa).
c) Jauja es la capital del Perú. (Es falsa).
d) Abran la ventana. (No se puede determinar).
e) El aula tiene 100 personas. (Es falsa).
f) Estamos estudiando en IDAT. (Es verdadera)
https://quizizz.com/join?gc=155887
 LOGRO DE SESIÓN
Al finalizar la sesión, el estudiante reconoce y diferencia
enunciados, proposiciones simples y compuestas,
además determina su correspondiente valor de verdad,
identifica las leyes de la lógica y determina el valor de
verdad de una expresión cuantificada, utilizando los
conocimientos y las operaciones realizadas en clase.
•
•
•
•
 Lógica

Ciencia formal Es una disciplina que Estudia el Ciencia formal que estudia la
que aparece hace por medio de reglas, razonamiento estructura o formas del
2500 años en la leyes y técnicas inductivo y pensamiento humano (como
época de determina si un deductivo. proposiciones, conceptos y
Aristóteles. razonamiento o razonamientos) para
argumento es válido. establecer leyes y principios
válidos y obtener criterios de
verdad.
ENUNCIADO: Es toda frase u oración que señala o expresa alguna idea a través de preguntas,
afirmaciones o negaciones, órdenes, expresiones de emoción o de saludo, etc.
ENUNCIADO ABIERTO es aquel que contiene letras o variables, pero no tienen la propiedad de
ser verdadero o falso
Ejemplos: x<9 x + 2 = 10 a+b=1 a2 + b2 = c2
PROPOSICIÓN LÓGICA (enunciado cerrado) es la expresión que admite la posibilidad de ser
Verdadera o Falsa, pero no ambas a la vez.
La veracidad o falsedad de una proposición se denomina “Valor de verdad de la proposición”
SON PROPOSICIONES: NO SON PROPOSICIONES:

39 es un número primo ( F ) Resuelve este problema

Huancayo queda en Junín ( V) ¿Puedes prestarme tu libro?
1/2 < 1/4 ( F) Buenos noches, profesor
 ¿Proposición lógica?
En el siguiente cuadro mencionar cuáles son proposiciones:

1.- La pandemia del COVID 19 es una amenaza permanente.

2.- ¡Estudia en casa!

3. Ellos, no hacen caso a las recomendaciones para el examen.

4.- El paseo de las musas queda en la ciudad de Chiclayo.

5.- El Perú no tiene un alto grado de inseguridad.

6.- ¿Qué debo de hacer para aprobar el curso?

EJEMPLO
Determinar si los siguientes enunciados son proposiciones lógicas e indicar su valor de verdad

1. ¡El coronavirus es una bacteria! ( NO) ( )

2. -7 es un número natural ( SI ) ( F)
3. Ojalá la pandemia pase pronto (NO ) ( )
4. 5+1<6 ( SI ) ( F)
5. A quien madruga Dios lo ayuda. (NO ) ( )
6. Prohibido saludar con beso. (NO ) ( )
7. La lógica es una ciencia formal ( SI ) ( V)
8. 7x+1 > 2 ( NO) ( )
9. Sólo se debe salir de día. ( NO) ( )
10. 7 es mayor que 8 o es un número primo ( SI ) ( V)
PROPOSICIONES SIMPLES Y COMPUESTAS

CLASES DE PROPOSICIONES

Simples o Compuestas o
atómicas moleculares

Pueden ser
No pueden Están unidos separadas en
Carecen de dividirse en por
conectores más de una
más de dos conectores proposición
lógicos. proposiciones. lógicos. simple.
PROPOSICIONES LÓGICAS SIMPLES
a) Hasta ayer hay 1 380 023 infectados de COVID-19 en el Perú. (F)
b) 15 es un número primo. (F)
c) Hoy es Martes en el Perú. (V)
d) Karen es administradora de la empresa Líder Com. (?)

Se le simbolizan con las letras p, q, r, s, t, etc, llamadas variables

proposicionales.

p: Hasta ayer hay 1 380 023 infectados de COVID-19 en el Perú. V(p) = F

q: 15 es un número primo. V(q) = F

r: Hoy es Martes en el Perú. V(r) = V

s: Karen es administradora de la empresa Líder Com. V(s) = ?
 Conectores Término Símbolo

Conjunción …y… 

Disyunción inclusiva …o… 

Disyunción exclusiva O…o… 

Condicional Si … entonces … →

Bicondicional … si y sólo si…

Negación No … 
PROPOSICIONES LÓGICAS COMPUESTAS

a) En el Perú hay 1380023 casos de COVID-19 y 48163 fallecidos (?)

b) 2 es un número par ó es impar . (?)

c) Ó acatamos la cuarentena ó el número de fallecidos aumenta. (?)
d) Si 3>5 entonces 10 es múltiplo de 5. (?)

e) Luis aprobará el curso si y solo si estudia. (?)

De manera simbólica:

a) (p ˄ q ) b) (p V q ) c) (p  q) d) (p → q ) e) (p q)
 TABLAS DE VALORES DE VERDAD

DISYUNCIÓN DISYUNCIÓN
CONDICIONAL BICONDICIONAL NERGACIÓN
CONJUNCIÓN INCLUSIVA EXCLUSIVA

P  Q P V Q P  Q P → Q P Q p p
V V V V V V V F V V V V V V V V F
V F F V V F V V F V F F V F F F V
F F V F V V F V V F V V F F V

F F F F F F F F F F V F F V F
VALOR DE VERDAD DE LAS PROPOSICIONES LÓGICAS COMPUESTAS

a) En el Perú hay 762314 caso de COVID-19 y 31644 fallecidos (?)

b) 2 es un número par ó es impar . (?)

c) Ó acatamos la cuarentena ó el número de fallecidos aumenta. (?)

e) Luis aprobará el curso si y solo si estudia. (?)

De manera simbólica:

a) (p ˄ q ) = F b) (p V q ) = V c) (p  q ) e) (p q)
F F V F V V V V
V F V F
F V F V
F F F F
LAS LEYES DE LA LÓGICA
Son reglas o leyes básicas que rigen el razonamiento lógico y la deducción.
Estas leyes son universales y aplican a todas las formas de razonamiento.
Algunas de las leyes más importantes incluyen:

• Ley de identidad: Establece que cualquier proposición es igual a sí misma.

Es una afirmación básica de consistencia.
Fórmula: 𝒑 = 𝒑 Lógica formal: 𝒑 →𝒑
• Ley de no contradicción: Afirma que una proposición no puede ser
verdadera y falsa al mismo tiempo.
Si p = V → p ≠ F, donde V y F son atributos contrarios
• Ley de tercero excluido: Indica que toda proposición debe ser verdadera o
falsa; No hay un término intermedio.
LAS LEYES DE LA LÓGICA

• Ley de contraposición: Si una proposición implica otra, la negación de la

segunda implica la negación de la primera.
𝒑 → 𝒒 ≡ ~𝒒 → ~𝒑
• Ley de doble implicación: Establece que una proposición es equivalente a
otra si ambas implican mutuamente su verdad.
𝒑 𝒒 ≡ (𝒑 → 𝒒) ∧ 𝒒 → 𝒑 ≡ ~(𝒑 ∆ 𝒒)
• Ley de De Morgan: Establece lo siguiente:

~(𝒑 ∧ 𝒒) ≡ ~𝒑 ∨ ~𝒒
~(𝒑 ∨ 𝒒) ≡ ~𝒑 ∧ ~𝒒
EJERCICIO PROPUESTOS:

Coloca (E) si es enunciado, (PL) si es proposición lógica y

(EA) si se trata de un enunciado abierto.

1. ¡Inteligente! ( )
2. Génova es la capital de Italia. ( )
3. El, es el delegado de la asignatura. ( )
4. ¿A qué hora es la reunión? ( )
5. Todos los cursos son fáciles. ( )
EJERCICIO PROPUESTOS:

Coloca verdadero (V) o falso (F), según corresponda a cada una de las
afirmaciones.
FORMALIZACIÓN o SIMBOLIZACIÓN
Es el procedimiento por el cual un enunciado se representa con proposiciones simples,
conectores u operadores lógicos y signos de agrupación.
Luego a las proposiciones simples se les reemplaza por variables proposicionales del lenguaje
objeto de la lógica proposicional.
Procedimiento: El procedimiento es el siguiente:
1. Se identifican las proposiciones simples.
2. Se identifican los conectores lógicos.
3. Se reemplazan las proposiciones simples por sus respectivas variables proposicionales.
4. Se colocan los conectores lógicos y los signos de agrupación.
5. Se escribe la fórmula lógica o esquema lógico.
Reconoce y formaliza:
Si el cielo es azul y es de día, entonces es de verano.

(Conjunción, implicación)

O el cielo es azul o es rojo, pero no ambos.

(Disyunción excluyente, conjunción, negación)

El cielo es azul si y solo si es de día.

(Bicondicional)
Son las expresiones que se pueden formar con variables, conectivos y signos de
colección, también se les llama esquemas moleculares. Ejemplo: (p → q)  ( p  q)
TABLA DE VERDAD DE UNA FÓRMULA LÓGICA
p q ( p → q )  ( p  q)

V V V V V V F V V
V F V F F V F F F
F V F V V V V V V
F V F V F V V V F
Si todos los valores de verdad son V; la
fórmula lógica resulta una tautología.

En general para “n” proposiciones, se pueden presentar 2n posibilidades

La característica tabular de una fórmula lógica es la columna de valores de
verdad debajo del operador de mayor jerarquía. Esta columna puede
presentar los siguientes casos:

Cuando todos los valores de verdad son verdaderos, el esquema es una

TAUTOLOGÍA.

Cuando todos los valores de verdad son falsos, el esquema es una

CONTRADICCIÓN.

Cuando algunos valores de verdad son verdaderos y otros falsos el

esquema es una CONTINGENCIA.
Ejemplo: Evaluar el siguiente esquema molecular: (p  q)  (p → r)

Solución

p q r (pq)   ( p →  r)
V V V V V V V V V F F
V V F V V V V F V V V
El esquema
V F V V F F V V V F F molecular es una
CONTINGENCIA
V F F V F F F F V V V

F V V F F V F F F V F
F V F F F V F F F V V
F F V F F F F F F V F
F F F F F F F F F V V
Formaliza: Señalar el valor de verdad, verifica la ley de De Morgan
Ejemplo: No es cierto que Pablo fue al banco y retiró el dinero

q r
Simbología:  ( q  r )
Nota: Cuando se niega una proposición compuesta, se niega al operador de mayor
jerarquía en dicha proposición.
Lógica de predicados
FUNCIÓN PROPOSICIONAL
Es un enunciado abierto de la forma P(x), es decir una expresión que contiene
alguna variable que al ser sustituida por un valor en particular se convierte en
proposición
Ejemplos:
x 2 + 2 > 20 es un enunciado abierto
P(x) : x 2 + 2 > 20 es una función proposicional

P(4) : 4 2 + 2 > 20 es una proposición FALSA

P(5) : 5 2 + 2 > 20 es una proposición VERDADERA

CUANTIFICADORES
Los cuantificadores se utilizan para transformar una función proposicional en una
proposición. Su misión es indicar cuántos elementos de un conjunto dado, cumplen con
cierta función proposicional.
1. CUANTIFICADOR UNIVERSAL ()
Se utiliza para indicar que TODOS los elementos de un conjunto dado cumplen determinada
función proposicional

Ejemplo:
Dado el conjunto A = { 4; 5; 6; 7}  x  A: p (x)
 x  A: x2 – 2x > 15 Se lee: “Para todo x que pertenece al
conjunto A, se cumple que x2 – 2x > 15
Cuantificador Función
universal proposicional
2. CUANTIFICADOR EXISTENCIAL (  )

Se utiliza para indicar que AL MENOS UN ELEMENTO de un conjunto dado, cumple

determinada función proposicional
Ejemplo:

Dado el conjunto A = { −1; 0; 3; 4; 5; 6 }  x  A / p (x)

 x  A / x2 – 3x > 5 Se lee: “Existe algún x que pertenece al

conjunto A, tal que: x2 – 3x > 5”

Cuantificador Función
existencial proposicional
 VALOR DE VERDAD DE UNA EXPRESIÓN CUANTIFICADA

Es VERDADERA si todos los elementos del conjunto A

cumplen la expresión P(x)
 x  A: P(x)
Es FALSA si al menos hay un elemento del conjunto A que
no cumple la expresión P(x)

Es VERDADERA si al menos hay un elemento del conjunto A

cumple la expresión P(x)
 x  A / P(x)
Es FALSA si ningún elemento del conjunto A cumple la
expresión P(x)
Ejemplo 1: Señalar el valor de Verdad de:
Dado el conjunto R (los reales):  x  R: x2 > 0
Solución:
Al sustituir x = 0 en la expresión dada: 02 > 0 FALSO
 La expresión:  x  R: x2 > 0 es FALSA

Ejemplo 2: Señalar el valor de Verdad de:

Dado el conjunto R (los reales):  x  R: x2 ≥ 0
Solución:
Al sustituir x = 0 en la expresión dada: 02 ≥ 0
0≥0 VERDADERO
 La expresión:  x  R: x2 ≥ 0 es VERDADERA
EJEMPLO 3: 



 →


Ejercicio 1:
En el Universo es los números reales, considere las siguientes funciones
proposicionales p(x): “ x > 2”, q(x): “ x2 > 4”
Expresa en lenguaje coloquial y decide el valor de verdad de las siguientes
proposiciones.
a) x p(x)
b) x [p(x) → q(x)]
c) x [q(x) → p(x)]

a) “Todos los números reales son mayores a 2”

b) “ Todo número real mayor que 2 tiene cuadrado mayor a 4”
c) “Cualquier número real con cuadrado mayor a 4 es mayor que 2”
 → a) V; q(x) es V para todo x que satisface p(x).
 → b) V
   c) F
 → d) F
2. Señalar el valor de Verdad de:
a) Dado el conjunto Z (los enteros):  x  Z / 2x2 – 8 =0

b) Dado el conjunto N (los naturales): ∀ x  N : 2x2 – 18 = 0

1. ¿Para qué me sirvió conocer las leyes de la lógica?

2. ¿En qué casos cotidianos podría aplicar lo aprendido?

3. ¿Cuáles fueron las dificultades que encontré en el desarrollo de este

tema?
GRACIAS