LOGICA MATEMATICA

Nombre del estudiante

Informe
Profesor
Nombre del docente

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA.

PROGRAMA ADSCRITO
CIUDAD-DEPARTAMENTO
2018
Objetivo General:

Proporcionar las herramientas que le permitan reconocer, elaborar y determinar la validez de

razonamientos lógicos tanto deductivos como inductivos.

Objetivo Específicos:

 Identificar y aplicar las diferentes leyes de la lógica en procesos de argumentación, al

llevarlas al lenguaje de la ciencia exacta.
 Desarrollar competencias para la construcción de funciones lógicas en problemas
cotidianos.
 Aplicar los conceptos acerca de la teoría de conjunto como, las leyes o reglas de
inferencia lógica.
Introducción
La teoría de conjuntos es básicamente una teoría o ramificación de la matemática, que estudia a
un cierto tipo de objetos denominado conjuntos, así como las propiedades de los conjuntos y las
operaciones a las que pueden ser sometidos. Asimismo, los problemas relacionados con estos.

A través de la teoría se pueden definir los siguientes conceptos y probar todas sus propiedades:
par ordenado, relación, función, partición, orden, estructuras algebraicas, los naturales, los
enteros, los racionales, los reales, los complejos, etc. Es decir, que su importancia radica en que a
partir de ella se puede reconstruir toda la matemática, salvo una excepción, la Teoría de
Categorías

Asimismo, aplicar las reglas de inferencias perteneciente a los razonamientos científicos los
cuales puede ser de tipo deductivo o inductivo.

En el siguiente informe se introducirá al lector a través de los fundamentos básicos de la teoría y

por medio de actividades individuales como cooperativas aplicaremos los conceptos y
conocimientos previamente adquiridos.
EJERCICIO 1

EJERCICIO 2
Aplicación de las reglas de la inferencia Lógica. Para el desarrollo de este ejercicio, es necesario
que el estudiante revise en el Entorno de Conocimiento (Unidad 2), las siguientes referencias:
Descripción del ejercicio:
A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
Si un ángulo de un triángulo es mayor de 90 grados, entonces la suma de los otros dos ángulos es
menor de 90 grados. La suma de los otros dos ángulos no es menor de 90 grados.
Conclusión: ____________________________________
Ley de inferencia aplicada: ________________________
Lenguaje simbólico: ______________________________
A partir del argumento que haya seleccionado deberá dar respuesta a los
siguientes ítems:
 La conclusión que se identifica en el argumento.
 La ley de inferencia que se aplica para probar el argumento
 Definir la expresión del argumento en lenguaje simbólico o formal.
Solución
p: Si un ángulo de un triángulo es mayor de 90 grados
q: la suma de los otros dos ángulos es menor de 90 grados
~q: La suma de los otros dos ángulos no es menor de 90 grados.
[ ( p → q)∧ ¬q ] → p
La conclusión es p aplicando el modus tollendo ponens (MTP). Como podemos observar las
proposiciones simples son dos p y q respectivamente mientras que existen una negación de una
de las dos proposiciones que en el caso particular es la negación de q. La expresión en el
lenguaje natural comienza con la proposición de p seguida del conector entonces. A
continuación, prosigue la proposición q. Después viene un punto y seguido que como bien
sabemos adiciona una idea a las anteriormente mencionada la cual, se puede simbolizar a través
de una conjunción la cual finaliza con la negación de la proposición q. Por ende, estamos frente a
uno de los dos tipos existentes de modus tolendo ponens
EJERCICIO 3
A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 3:
A Pedro le gustan los chocolates, comió muchos y le hicieron daño. Sandra comió bastantes
chocolates y enfermó. Por lo tanto, si comes demasiados chocolates te harán daño.
A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:
 Identificar si el razonamiento es deductivo o inductivo.
 Argumentar la respuesta con sus propias palabras.
Solución:
Para este caso en particular vemos que parte de una consideración subjetiva hasta llegar o definir
un principio general que sería considerar que todo aquellos que coman demasiados chocolates le
harán daño. Este concuerda con la definición del razonamiento inductivo el cual parte de lo
micro hasta lo macro o general, el cual se puede definir según diferentes autores como el proceso
del pensamiento mediante el cual, con base en experiencias, se establece un principio general, el
cual tendrá validez no sólo para los casos observados, sino también para todos los de su especie.
EJERCICIO 4
A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento
para el desarrollo del ejercicio 4:
Expresión simbólica

[( p→ q ) ∧ ( q → r ) ∧ ( r → s ) ∧ ( p ) ∧ ( s ∨r ) ] → r

Premisas
P 1: p → q
P 2: q → r
P 3: r → s
P4: p
P 5: s ∨ r
Conclusión: r
Solución:
Proposiciones Simples
p: Carina estudia sociología
q: La UNAD cuenta con la faculta o escuela ECSAH (Escuela de Ciencias Sociales, Artes y
Humanidades)
r: Carina estudia en la UNAD
s: El ECSAH cuenta con el programa de sociología
Razonamiento en lenguaje natural
Si Carina no estudia sociología entonces la UNAD cuenta con la faculta o escuela ECSAH, (y)
Si la UNAD cuenta con la faculta o escuela ECSAH entonces Carina no estudia en la UNAD,
(y) Si Carina no estudia en la UNAD entonces El ECSAH cuenta con el programa de sociología,
(y) Si Carina no estudia sociología, (y) Si El ECSAH no cuenta con el programa de sociología o
Carina estudia en la UNAD. Por tanto, Carina estudia en la UNAD
Tabla de verdad en Simulador
 Tabla de verdad
p q r s p r s p →q q→ r r →s s ∨r ( p →q )∧ ( q → r ) ∧ ( r → s ) ∧( p)∧( s ∨q)∧
[( p → r ) ( q → r ) ∧ ( r → s ) ∧( p)∧( s
V V V V F F F V F V V F V
V V V F F F V V F V V F V
V V F V F V F V V V F F V
V V F F F V V V V F V F V
V F V V F F F V V V V F V
V F V F F F V V V V V F V
V F F V F V F V V V F F V
V F F F F V V V V F V F V
F V V V V F F V F V V F V
F V V F V F V V F V V F V
F V F V V V F V V V F F V
F V F F V V V V V F V F V
F F V V V F F F V V V F V
F F V F V F V F V V V F V
F F F V V V F F V V F F V
F F F F V V V F V F V F V
 Anexo tabla de verdad
p p →q q→ r r →s s ∨r ( p →q )∧ ( q → r ) ( p →q )∧ ( q → r )(∧ (p →q s ) ( q → r ) ∧ ( r → s ) (∧(p →q
r → )∧ p) )∧ ( q → r ) ∧ ( r → s ) ∧( p)∧
F V F V V F F F F
F V F V V F F F F
F V V V F V V F F
F V V F V V F F F
F V V V V V V F F
F V V V V V V F F
F V V V F V V F F
F V V F V V F F F
V V F V V F F F F
V V F V V F F F F
V V V V F V V V F
V V V F V V F F F
V F V V V F F F F
V F V V V F F F F
V F V V F F F F F
V F V F V F F F F
Leyes de inferencia Lógica

P 1: p → q
P 2: q → r
P 3: r → s
P4: p
P 5: s ∨ r
Conclusión: r
P 6 : [ ( p → q ) ∧ p ] →q M . P. P . ( 1 ) , ( 4 )

P 7 : [ ( q → r ) ∧ q] → r M . P . P . ( 2) , ( 6)

P 8 : [ ( r → s ) ∧ r ] → s M . P . P . (3 ) , ( 7 )

P 9 : [ ( s ∨ r )∧ s ] → r M . T . P . (5) , (8)
Otro camino mas corto es aplicado doble negación ala P7
( r ) →r D . N . ( 7 )
Bibliografía
Márquez, A. A. (2009). Matematicas Simplificadas. Mexico: Pearson Educación.
Velásquez, E. A. (2013). Fundamentos de matematicas para ingenieria y ciencia. México:
Alfaomega Grupo Editor.