UNIVERSIDAD POLITECNICA DE PACHUCA

MATEMÁTICAS DISCRETAS

Ingeniería en Telemática
Grupo: 63756.
Alumno: Julio Alberto Hernández Morales.
Matricula: 1711114000.
Profa: Alicia Ortiz Montes.
2º Cuatrimestre
INDICE
INTRODUCCIÓN ................................................................................................................................... 3
LÓGICA ................................................................................................................................................ 4
PRINCIPIOS DE LA LOGICA ................................................................................................................... 6
LOGICA MATEMATICA ......................................................................................................................... 7
LÓGICA DE PREDICADOS ..................................................................................................................... 9
REFERENCIAS BIBLIOGRAFICAS ......................................................................................................... 11

2
INTRODUCCIÓN
La Lógica es importante para los estudiantes de Telemática primeramente porque proporciona
una forma de saber si un desarrollo es correcto, tanto en matemáticas como en otras materias de
ciencias; pero también es importante porque nos presenta el lenguaje de expresiones booleanas
que utilizamos en los diferentes lenguajes de Programación, en Bases de Datos, y cualquier otra
materia de computación que utilice conceptos lógicos.

La lógica como cualquier ciencia y como la filosofía busca la verdad y es la que establece las
reglas para hacer un razonamiento correcto. Aquí debemos distinguir entre pensamiento correcto
y verdadero, la lógica proporciona una herramienta para saber si un desarrollo es correcto, pero la
veracidad del mismo dependerá de las premisas o sea las condiciones de las que se parte.

Si las condiciones dadas (premisas) son verdaderas, la lógica nos enseña métodos de
razonamiento o inferencia correctos para saber en qué casos la conclusión es también verdadera.

3
LÓGICA
Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica
proporciona reglas y técnicas para determinar si es o no valido un argumento dado.

La lógica es ampliamente aplicada en la Filosofía, Matemáticas, Computación, Física. En la

filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes
interpretaciones, sin embargo, la lógica permite saber el significado correcto. En las matemáticas
para demostrar teoremas e inferir resultados matemáticos que puedan ser aplicados en
investigaciones.

Lógica Natural: Es la capacidad de los seres humanos para razonar, hacer algo en forma
ordenada. Una colección de términos y reglas que vienen con el lenguaje natural y que nos permite
razonar y argumental en el mismo.

Lógica Material: es válida dentro de un universo de discurso o campo de aplicación debido a

ciertas propiedades peculiares de ese universo o contrastados sobre el terreno de la lógica formal.

Lógica Formal: Es la disciplina que define las condiciones para que la estructura del
pensamiento sea correcta utilizando reglas específicas (que no tratan una propiedad particular) para
la formación de diferentes estructuras de pensamiento. La obra de Aristóteles contiene un estudio
de la Lógica formal.

Lógica Informal: Es el estudio de los argumentos en lenguaje natural y abarca diferentes

habilidades no formales que necesitamos para evaluar el razonamiento. Los diálogos de Platón son
un ejemplo de la lógica informal.

Lógica simbólica: Es el estudio de las abstracciones simbólicas que exponen las características
formales de la inferencia lógica. Incluye la lógica proposicional y la lógica matemática.

Lógica inductiva: Se aplica para las formas de razonamiento en las que se deduce a partir de
los patrones observados para inferir que una conclusión dada es probablemente cierta.

4
LEYES DE LA LOGICA
1) La ley de la identidad: Establece que A es A. En otras palabras, algo es lo que es. Una
manzana es una manzana. Si algo existe tiene una naturaleza, una esencia.

Aún más, si algo tiene una identidad, no puede tener otra, ya que ésta es única e individual. En
otras palabras: Si algo existe cuenta con una serie de atributos que son consistentes consigo
mismo. Este algo, no tiene un conjunto de atributos que sean inconsistentes consigo mismo. Por
lo tanto, podemos fácilmente concluir, que un gato no es un paracaídas. Una manzana no es un
automóvil de carreras y un árbol no es una película.

2) La ley de la no contradicción: Nos dice que A no

puede ser tanto A y ninguna A al mismo tiempo y en el
mismo sentido. En otras palabras: algo, como una
declaración no puede ser al mismo tiempo tanto verdadero
como falso y del mismo modo. Con frecuencia usamos la
ley de la no contradicción en discusiones y debates ya que
somos capaces de reconocer cuando algo es contrario a sí
mismo. Basados en este principio, podemos concluir, que
la verdad no se contradice a sí misma.

3) La ley del tercero excluido: dice que una declaración es verdadera o falsa. Por ejemplo:
"El cabello de esa mujer es castaño." Es verdadero o falso que el cabello de esa mujer es castaño. La
ley del tercero excluido es importante ya que nos ayuda a tratar con absolutos y esto es
particularmente importante en una sociedad donde el relativismo es promovido y las declaraciones
verdaderas son negadas.

5
PRINCIPIOS DE LA LOGICA

El principio de razón suficiente: nos dice que "todo objeto debe tener una razón
suficiente que lo explique". Lo que es, es por alguna razón, "nada existe sin una causa o razón
determinante". El principio de razón suficiente nos da respuesta a una exigencia natural de nuestra
razón, según la cual nada puede ser nada más "porque sí", pues todo obedece a una razón.

El principio de causalidad: es el principio que muestra la relación entre la causa y el

efecto. Señala que todo lo que actúa o cambia tiene una razón o causa por la que actúa o cambia de
esa manera. La causalidad es la relación entre un evento (la causa) y un segundo evento (el efecto),
donde el segundo caso se entiende como consecuencia del primero.

Gracias a él, encuentran solución a problemas muy importantes, tales como: la existencia de
Dios, el conocimiento de la naturaleza de las cosas, la determinación de las leyes naturales.

Formulaciones del principio de causalidad. Suele enunciarse con las siguientes fórmulas:

A. "Todo efecto tiene una causa"; o: "No existe efecto sin causa".

B. "Todo cuanto se hace, tiene causa"; o: "Nada se hace sin causa".

C. “Todo cuanto comienza a existir, debe tener una causa eficiente".

D. "Todo cuanto existe de manera contingente, tiene causa eficiente".

6
LOGICA MATEMATICA
La Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de
métodos de razonamiento. En un nivel elemental, la Lógica proporciona reglas y técnicas para
determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en Matemáticas
para demostrar teoremas, sin embargo, se usa en forma constante para realizar cualquier actividad
en la vida.

DEFINICIÓN Y CLASES DE PROPOSICIONES

Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a
la vez. Toda proposición consta de tres partes: un sujeto, un verbo y un complemento referido al
verbo. La proposición es un elemento fundamental de la Lógica Matemática.

CONECTIVOS LÓGICOS EN PROPOSICIONES COMPUESTAS

Existen conectivos u operadores lógicos que permiten formar proposiciones compuestas, es

decir, formadas por varias proposiciones. Los operadores o conectores básicos son:

• Conjunción (operador and): Se utiliza para conectar dos proposiciones que se deben cumplir
para que se pueda obtener un resultado verdadero. Se le conoce como multiplicación lógica y su
símbolo es ∧ (and).

• Disyunción (operador or): Con este operador se obtiene un resultado verdadero cuando
alguna de las proposiciones es verdadera. Se conoce como suma lógica y su símbolo es ∨ (or).

7
 • Negación (operador not) Su función es negar la proposición. Esto significa que sí alguna
proposición es verdadera y se le aplica el operador not se obtendrá su negación (falso) y viceversa.
Este operador se indica por medio del símbolo ’.

PROPOSICIONES CONDICIONALES .

Una implicación o proposición condicional, es aquella que está formada por dos proposiciones
simples (o compuesta) p y q. Se indica de la siguiente manera: p→q (se lee "si p entonces q").

PROPOSICIÓN BICONDICIONAL

Sean p y q dos proposiciones. Una doble implicación o proposición es bicondicional cuando p

es verdadera si y solo si q es también verdadera. O bien p es falsa si y sólo si q también lo es. Se
indica de la siguiente manera: p↔q (se lee "p si y sólo si q").

8
LÓGICA DE PREDICADOS
La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio
matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica
matemática tiene estrechas conexiones con las ciencias de la computación y la lógica filosófica.

La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican
nociones intuitivas de objetos matemáticos como conjuntos, números,
demostraciones y computación.

La lógica de predicados estudia las frases declarativas con mayor grado de

detalle, considerando la estructura interna de las proposiciones. Se tomará como elemento básico
los objetos y las relaciones entre dichos objetos. Es decir, se distingue:

• Que se afirma (predicado o relación)

• De quien se afirma(objeto)

Definimos a continuación las reglas sintácticas para construir fórmulas:

Definición 1: El alfabeto de la lógica de predicados estará formado por los siguientes conjuntos
simbólicos:

•Conjunto de Símbolos de Variables(VAR): Es un conjunto de las últimas letras del alfabeto en

minúsculas. Se utilizan subíndices, por ejemplo:

•Conjunto de símbolos de Constantes (CONS): Este conjunto lo forman las primeras letras del
alfabeto en minúsculas, también utilizaremos subíndices:

•Conjunto de letras de función(FUNC): Representaremos a este conjunto por las letras f, g, h ,L.
Incluimos subíndices para poder diferenciar las funciones:

•Conjunto de letras de Predicado (PRED): Se representan mediante letras mayúsculas,

Símbolos de conectivas:

¬ = Negación

∨= Conectiva “o” Cuantificadores:

∧ = Conectiva “y” ∃=existencial

→ = implicación ∀=Universal

↔ = Doble implicación o equivalencia

9
CONCLUSIÓN
La palabra lógica viene del griego y significa, razón, tratado o ciencia. Y en computación es la
ciencia que estudia la forma de razonar correctamente, la que nos indica la forma correcta de
obtener conclusiones y los métodos conocidos para lograrlo.

En computación, software y otras ciencias relacionadas con la electrónica frecuentemente se

usan estructuras que dependen solamente de expresiones y valores lógicos, así por ejemplo
tenemos el sistema numérico binario que se utiliza para representar los números utilizando
solamente 0 y 1.

El trabajar con sólo 2 opciones facilita la implementación de los conceptos y simplifica su

manejo. Así una teoría resulta mucho más fácil de establecer y de justificar si tiene sólo dos valores
asociados, que otra por ejemplo una estructura de álgebra de números que tiene una cantidad
infinita.

Otro tipo de entes que se utilizan en computación que también está asociado a “dos” opciones,
es lo que se conoce como expresiones booleanas. Estas expresiones, que deben su nombre a George
Boole, se pueden ver caracterizadas como verdaderas ó falsas y de acuerdo a esta condición se
desarrolla el estudio sobre dichos conceptos. Este tema se conoce como cálculo de proposiciones.
Los argumentos son una de las formas más comunes en matemáticas, en lógica y en computación
de establecer razonamientos para llegar a la verdad.

10
REFERENCIAS BIBLIOGRAFICAS
TIPOS, LEYES Y PRINCIPIOS DE LA LOGICA.

https://sites.google.com/site/pensandoconlogica/primera-unidad/tipos-leyes-y-principios-basicos-
de-la-logica

LOGICA MATEMATICA.

https://www.ecured.cu/L%C3%B3gica_matem%C3%A1tica

https://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica

LOGICA.

https://es.wikipedia.org/wiki/L%C3%B3gica

LOGICA DE PREDICADOS

https://matedisunidad3.wordpress.com/category/3-2-logica-de-predicados/

11