UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LÓGICA MATEMÁTICA

Unidad 2

Perlides Martínez Bohorquez

Código curso: 90004

Escuela de Ciencias Administrativas Contables, Económicas y de Negocios (ECACEN)

Administración de empresas

Cartagena de Indias, D.T. y C.

2020
 TAREA 3

Ejercicio 1: Conceptualización de las reglas de inferencia.

b. Determina el número de estudiantes de ingeniería del CAED de Girardot matriculados en el

año 2019 en el primer intersemestral ofrecido por la universidad, si se sabe que cada uno se

matriculo en al menos en uno de los tres cursos ofrecidos, probabilidad, cálculo diferencial y

Lógica Matemática. 53 se matricularon en el curso de probabilidad, 50 en el curso de cálculo

diferencial, 54 en el curso de Lógica Matemática, 33 en los cursos probabilidad y calculo

diferencial, 31 en el de probabilidad y Lógica Matemática, 33 en los cursos de cálculo

diferencial y Lógica Matemática, 23 en los tres cursos.

 ¿Cuántos estudiantes se matricularon en los cursos de probabilidad y calculo diferencial,

pero no en Lógica Matemática?

 ¿Cuántos se matricularon sólo en Lógica Matemática?

 ¿Cuántos estudiantes se matricularon en total?

Desarrollo

PASO A PASO PARA LA SUSTENTACIÓN

Para dar respuesta a las preguntas planteadas, inicialmente construimos el Diagrama de Venn:

Para contruir el diagrama de venn separamos la informacion dada en el problema:

 Cada estudiante se matriculó en al menos en uno de los tres cursos ofrecidos,

probabilidad, cálculo diferencial. Esto quiere decir que no hay estudiantes sin curso,
todos pertenecen a alguno de los conjuntos de las 3 materias.

 53 se matricularon en el curso de probabilidad. Al curso de probabilidad le damos el

nombre de conjunto (A). Sabemos que este 53, esta conformado por la suma de las
personas que ven este curso unicamente, que ven los otros dos cursos, o tomaron los 3.
 50 en el curso de cálculo diferencial. Al curso de cálculo diferencial le damos el nombre
de conjunto (B). Sabemos que este 50, esta conformado por la suma de las personas
que ven este curso unicamente, que ven los otros dos cursos, o tomaron los 3.

 54 en el curso de Lógica Matemática. Al curso de Lógica Matemática le damos el

nombre de conjunto (C). Sabemos que este 54, esta conformado por la suma de las
personas que ven este curso unicamente, que ven los otros dos cursos, o tomaron los 3.

 23 en los tres cursos. Es decir A∩B∩C=23, hay 23 personas que pertenecen a los tres
conjuntos. Por lo tanto comenzamos colocando en 23 en la interseccion de los 3
conjuntos.

 33 en los cursos probabilidad (A) y calculo diferencial (B). Esto incluye a los estudiantes
que participan en los 3 cursos también. Entonces, si queremos saber los que
pertenecen UNICAMENTE a A y B, restamos de 33 los 23 que perenecen a los 3 cursos.

A∩B= 33-23= 10 personas ven probabilidad y calculo pero NO logica

Lo que da respuesta a la primera pregunta: ¿Cuántos estudiantes se matricularon en los

cursos de probabilidad y calculo diferencial, pero no en Lógica Matemática?

 31 en el de probabilidad (A) y Lógica Matemática (C). Esto incluye a los estudiantes que
participan en los 3 cursos también. Entonces, si queremos saber los que pertenecen
UNICAMENTE a A y C, restamos de 31 los 23 que perenecen a los 3 cursos

A∩C =31-23= 8 personas ven probabilidad y lógica pero NO calculo diferencial

 33 en los cursos de cálculo diferencial (B) y Lógica Matemática (C). Esto incluye a los
estudiantes que participan en los 3 cursos también. Entonces, si queremos saber los que
pertenecen UNICAMENTE a B y C, restamos de 33 los 23 que perenecen a los 3 cursos.

B∩C=33-23 = 10
 Para saber cuantos estudiantes se matricularon UNICAMENTE en el curso de
PROBABILIDAD (A). Restamos de los 53 que nos dijeron que habian en ese curso, los
que tomaron 2 (PROBABILIDAD Y CALCULO o PROBABILIDAD LOGICA) y los que
tomaron los tres (PROBABILIDAD, LOGICA Y CALCULO).

A=53-10-8-23 = 12
En el gráfico se ve que restamos de 53, todo lo que esta dentro del circulo AMARILLO

 Para saber cuantos estudiantes se matricularon UNICAMENTE en el curso de CALCULO

(B). Restamos de los 50 que nos dijeron que habian en ese curso, los que tomaron 2
(CALCULO Y LOGIGA/ PROBABILIDAD Y CALCULO) y los que tomaron los tres
(PROBABILIDAD, LOGICA Y CALCULO).
B=50-10-10-23= 7
En el gráfico se ve que restamos de 53, todo lo que esta dentro del circulo AZUL
  Para saber cuantos estudiantes se matricularon UNICAMENTE en el curso de LÓGICA
(C). Restamos de los 54 que nos dijeron que habian en ese curso, los que tomaron 2
(PROBABILIDAD Y LOGIGA/ LOGICA Y CALCULO) y los que tomaron los tres
(PROBABILIDAD, LOGICA Y CALCULO).

C=54-8-10-23= 13 estudiantes se matricularon UNICAMENTE en LÓGICA MATEMÁTICA.

Con este paso respondemos la segunda pregunta: ¿Cuántos se matricularon sólo en Lógica

Matemática?

En el gráfico se ve que restamos de 53, todo lo que esta dentro del circulo ROJO
 Luego de identificar como estan conformado los conjuntos, sumando todos los
ejementos de los suconjuntos:
U= (A∪B∪C) =12+7+13+10+10+8+23= 83 estudiantes están matriculados en total.

Con este paso damos respuesta a la pregunta: ¿Cuántos estudiantes se matricularon en

total?

A CONTINUACION SE MUESTRA COMO ESTÁ ORGANIZADO EN EL TRABAJO

A= 53
B= 50
C= 54
A∩B= 33
A∩C =31
B∩C=33
A∩B∩C=23
A=53-10-23-8 = 12
B=50-10-10-23= 7
C=54-8-10-23= 13
U=12+7+13+10+10+8+23= 83
 El número de estudiantes se matricularon en los cursos de probabilidad y calculo

diferencial, pero no en Lógica Matemática es 10, porque:

(A∩B) - C= 33-13= 10
  Se matricularon únicamente en lógica matemática 13 estudiantes:

C=54-8-10-23= 13

 En total se matricularon 83 estudiantes:

U= (A∪B∪C)=12+7+13+10+10+8+23= 83

Ejercicio 2: Métodos para probar la validez de un argumento

b.
  Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción

basada en un contexto, el que se solicita es un contexto académico.

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las

proposiciones simples deben ser de autoría de cada estudiante.

 Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje

simbólico.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,

Excel o foto del desarrollo manual).

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

Expresión simbólica: [(𝑝∨𝑞) ∧ (∽𝑡) ∧ (𝑞→𝑡)] → (𝑝 ∧ ∽𝑡)

Premisas:
P1: 𝑝∨𝑞
P2: ∽𝑡
P3: 𝑞→𝑡
Conclusión: 𝑝∧∽𝑡
Desarrollo
PASO A PASO PARA LA SUSTENTACIÓN

 Tenemos la siguiente expresión:

Expresión simbólica: [(𝑝∨𝑞) ∧ (∽𝑡) ∧ (𝑞→𝑡)] → (𝑝 ∧ ∽𝑡)

Premisas:
P1: 𝑝∨𝑞
P2: ∽𝑡
P3: 𝑞→𝑡
Conclusión: 𝑝∧∽𝑡

PRIMER PUNTO

 Inicialmente le asignamos enunciados en lenguaje natural a los símbolos del

razonamiento. Sabiendo que pedian oraciones en un contexto académico.

Proposiciones simples:

p = Trabajo todo el día.

 q = Estudio todo el día.

t = Realizo las tareas virtuales.

∽t = No realizo las tareas virtuales.

SEGUNDO PUNTO

 Luego, expresamos en lenguaje natural (palabras) el razonamiento dado en simbolos.

Razonamiento en lenguaje simbólico:

[(𝑝∨𝑞) ∧ (∽𝑡) ∧ (𝑞→𝑡)] → (𝑝 ∧ ∽𝑡)

Teniendo en cuenta que:

∨ = representa la expresión “O”. Ejemplo: Hoy O mañana, una cosa o la otra.
∧ = representa la expresión “y” También los puntos en las oraciones. Ejemplo: Llorar y
reír, una cosa y la otra.
∽= representa la negación de algo “NO”. Ejemplo: NO fui al supermercado
→ = representa la consecuencia o conclusión si se encuenta en medio del
razonamiento de algo “Si__________, entonces/ Por lo tanto, ”. Ejemplo: Si no hago
ejercicio, entonces empeora mi salud.
Las letras p, q, t y –t ya las definimos en el paso anterior. Entonces el razonamiento en
palabras comunes es:

Razonamiento en lenguaje natural:

Trabajo todo el día o estudio todo el día. No realizo las tareas virtuales. Si estudio todo
el día entonces, realizo las tareas virtuales. Por lo tanto, trabajo todo el día y no realizo
las tareas virtuales.

TERCER PUNTO

 Introducimos la expresión en el software de la unad y nos dio este resultado, pusimos el

argumento y le dimos calcular.

 Tabla de verdad con el simulador Lógica UNAD

Argumento:
 Tabla:

Resultado obtenido con la tabla de la verdad: TAUTOLOGÍA.

TAUTOLOGÍA = Es decir que en la columna final todo dio verdadero, si todo da

verdadero el razonamiento es correcto.

CUARTO PUNTO
Armamos la tabla de la verdad teniendo en cuenta las tablas para cada simbolo
 Tabla de verdad manual

a c
b d e f

𝑝 𝑞 𝑡 ∽𝑡 (𝑝∨𝑞) (𝑞→𝑡) (𝑝∨𝑞)∧(∽𝑡)∧(𝑞→𝑡) (𝑝∧∽𝑡) [(𝑝∨𝑞) ∧(∽𝑡)∧(𝑞→𝑡)]→(𝑝 ∧ ∽𝑡)

V V V F V V F F V
V V F V V F F V V
V F V F V V F F V
V F F V V V V V V
F V V F V V F F V
F V F V V F F F V
F F V F F V F F V
F F F V F V F F V
1 2 3 4 5 6 7 8 9
 Se comprobó la tabla de verdad realizada de manera manual en Excel coincide con el

simulador de lógica de la UNAD, corroborando que el argumento es una

TAUTOLOGÍA.

 Primero definimos el numero de filas de la tabla asi:

2n = # de filas, n= numero de premisas
En este caso hay 4 premisas, entonces 24=8 filas

 Segundo, organizamos las columnas, así

a. las columnas con las premisas en positivo
b. las negaciones(b)
c. las premisas que están unidas por conectores = proposiciones
d. las proposiciones que llevan a la conclusión
e. la conclusión
f. todo el razonamiento

 Rellenamos la columna uno (1) mitad verdadero, mitad falso (vertical).

 Rellenamos la columna dos (2) con dos verdaderos, dos falsos y alternando hasta llegar
al final.
 Rellenamos la columna (3) con una celda verdadera y la siguiente falsa, alternando
hasta llegar al final.
 A partir de la columna 4, o la negación de t, aplicamos las tablas de verdad ya
conocidas.

a. En –t como es negación, colocamos todo lo que estaba como verdadero lo pasamos

a falso y lo falso a verdadero (viendo la columna 3 que es donde esta t en manera
de afirmación)
En el ejercicio: tabla de verdad original (guia)
𝑡 ∽𝑡
V F NEGACIÓN
F V p (-p)
V F
F V V F
V F
F V F V
V F
F V
3 4
b. Para la columna 5 que tiene el simbolo de disyunción O (V). Miramos la columna de
p y luego la de q y rellenamos teniendo en cuenta que siempre es verdadero a
menos que ambas premisas sean falsas.

En el ejercicio: tabla de verdad original (guia)

𝑝 𝑞 (𝑝∨𝑞)
V V V
V V V
V F V
V F V
F V V
F V V
F F F
F F F
1 2 5

c. La sexta columna (𝑞→𝑡) tiene el condicional, solo será falsa si q es verdadera y t es

falsa en la misma fila, del resto siempre es verdadero. Esto, porque de verdades no
se puede obtener una falsedad (esa es la regla).

En el ejercicio: tabla de verdad original (guia)

𝑞 𝑡 (𝑞→𝑡)
V V V
V F F
F V V
F F V
V V V
V F F
F V V
F F V
2 3 6
 d. En la séptima columna como las preposiciones estan unidas con la conjunción Y (∧)
solo ponemos verdadero si las tres son verdaderas. Si por lo menos una es falsa,
colocamos falso (F).

En el ejercicio: tabla de verdad original (guia)

∽𝑡 (𝑝∨𝑞) (𝑞→𝑡) (𝑝∨𝑞)∧(∽𝑡)∧(𝑞→𝑡)

F V V F
V V F F
F V V F
V V V V
F V V F
V V F F
F F V F
V F V F
4 5 6 7

e. En la octava columna como las preposiciones estan unidas con la conjunción Y (∧)
solo ponemos verdadero si las tres son verdaderas. Si por lo menos una es falsa,
colocamos falso (F). Al igual que en el paso anterior, pero teniendo en cuenta p y –t.

En el ejercicio: tabla de verdad original (guia)

𝑝 ∽𝑡 (𝑝∧∽𝑡)
V F F
V V V
V F F
V V V
F F F
F V F
F F F
F V F
1 4 8

f. En la novena columna colocamos todo el razonamiento porque ya analizamos sus

partes.
 El razonamiento
[(𝑝∨𝑞) ∧ (∽𝑡 )∧ (𝑞→𝑡)] → (𝑝 ∧ ∽𝑡)
tiene el condicional, vemos las columnas de las letras, solo será falsa si la causa es
falsa u la conclusion es verdadera. Como vemos, este caso no se presenta y siempre
se coloca verdadero. Así llegamos a la tautología.

(𝑝∨𝑞)∧(∽𝑡)∧(𝑞→𝑡) (𝑝∧∽𝑡) [(𝑝∨𝑞) ∧(∽𝑡)∧(𝑞→𝑡)]→(𝑝 ∧ ∽𝑡)

F F V
F V V
F F V
V V V
F F V
F F V
F F V
F F V
7 8 9

QUINTO PUNTO

 Leyes de inferencia Lógica

Determinación de premisas
Premisas:
Estas las da el
ejercicio
P1: 𝑝∨𝑞

P2: ∽𝑡

P3: 𝑞→𝑡

Conclusión: 𝑝∧∽𝑡

Hay una lista de propiedades que ya están dadas. Lo que queremos es usarlas y llegar a
este resultado: Conclusión: 𝑝∧∽𝑡
A continuación está el paso a paso de cuando aplicamos la ley en la tarea, con las
premisas del ejercicio (parte izquierda) y la ley de inferencia que usamos (parte
izquierda)

P4: ∽ 𝑞 Aplicando Modus Tollens en P3 y P2.

P3: 𝑞→𝑡
P2: ∽𝑡
P4: ∽ 𝑞

P5: 𝑞 ∨ 𝑝 Aplicando Conmutativa a P1.

P1: 𝑝∨𝑞
P5: 𝑞 ∨ 𝑝
 P6: 𝑝 Aplicando Silogismo Disyuntivo en P5 y P4.

P5: 𝑞 ∨ 𝑝
P4: ∽ 𝑞
P6: 𝑝

P7: 𝑝∧∽𝑡 Aplicando Conjunción en P6 y P2.

P6: 𝑝
P2: ∽𝑡
P7: 𝑝∧∽𝑡 CONCLUSIÓN

ASI SE PRESENTÓ EN EL TRABAJO:

Expresión simbólica: [(𝑝∨𝑞) ∧ (∽𝑡) ∧ (𝑞→𝑡)] → (𝑝 ∧ ∽𝑡)

Premisas:
P1: 𝑝∨𝑞
P2: ∽𝑡
P3: 𝑞→𝑡
Conclusión: 𝑝∧∽𝑡

Desarrollo

 Proposiciones simples:

p = Trabajo todo el día.

q = Estudio todo el día.

t = Realizo las tareas virtuales.

∽t = No realizo las tareas virtuales.

 Razonamiento en lenguaje natural

Trabajo todo el día o estudio todo el día. No realizo las tareas virtuales. Si estudio todo
el día entonces, realizo las tareas virtuales. Por lo tanto, trabajo todo el día y no realizo
las tareas virtuales.

 Tabla de verdad con el simulador Lógica UNAD

Argumento:
 Tabla:

Resultado obtenido con la tabla de la verdad: TAUTOLOGÍA.

 Tabla de verdad manual

𝑝 𝑞 𝑡 ∽𝑡 (𝑝∨𝑞) (𝑞→𝑡) (𝑝∨𝑞)∧(∽𝑡)∧(𝑞→𝑡) (𝑝∧∽𝑡) [(𝑝∨𝑞) ∧(∽𝑡)∧(𝑞→𝑡)]→(𝑝 ∧ ∽𝑡)

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

Se comprobó la tabla de verdad realizada de manera manual en Excel coincide con el

simulador de lógica de la UNAD, corroborando que el argumento es una

TAUTOLOGÍA.

 Leyes de inferencia Lógica

Determinación de premisas
Premisas:

P1: 𝑝∨𝑞

P2: ∽𝑡

P3: 𝑞→𝑡

Conclusión: 𝑝∧∽𝑡

P4: ∽ 𝑞 Aplicando Modus Tollens en P3 y P2.

P3: 𝑞→𝑡
P2: ∽𝑡
P4: ∽ 𝑞

P5: 𝑞 ∨ 𝑝 Aplicando Conmutativa a P1.

P1: 𝑝∨𝑞
P5: 𝑞 ∨ 𝑝

P6: 𝑝 Aplicando Silogismo Hipotético en P5 y P4.

P5: 𝑞 ∨ 𝑝
P4: ∽ 𝑞
P6: 𝑝

P7: 𝑝∧∽𝑡 Aplicando Conjunción en P6 y P2.

P6: 𝑝
P2: ∽𝑡
P7: 𝑝∧∽𝑡 CONCLUSIÓN
 ANEXOS

Anexo 1: Tablas de verdad utilizadas en el ejercicio 2.

NEGACIÓN
p (-p)
V F
F V

CONJUNCIÓN "Y" DISYUNCIÓN "O"

p q p^q p q pvq
V V V V V V
V F F V F V
F V F F V V
F F F F F F

CONDICIONAL "SI ___, BI CONDICIONAL "SI Y

ENTONCES" SOLO SI ___, ENTONCES"
p q p→q p q p↔q
V V V V V V
V F F V F F
F V V F V F
F F V F F V