UNIVERSIDAD AUTONOMA DE SANTO DOMINGO

Matemática Discreta para Computador

MAT-3920 -2

Tomas Eduardo Ramos Mercedes

UNIDAD 1 Tarea 1.1

Leidy Elizabeth Cáceres

100149691
 Contenido
1. Definición de lógica en matemática. ................................................................................................. 3
2. Principales conectivos lógicos (negación, conjunción, tipos de disyunciones, condicional ............. 3
y doble condicional) y la tabla de verdad de cada uno. .......................................................................... 3
2.1 Negación ..................................................................................................................................... 3
2.2 Conjunción:................................................................................................................................. 4
2.3 Disyunción .................................................................................................................................. 4
2.4 Disyunción exclusiva:.................................................................................................................. 4
2.5 Condicional: ................................................................................................................................ 4
2.6 Bicondicional: ............................................................................................................................. 5
3. Definición de tautología y de contradicción. Investigar cuales son las principales tautologías
usadas como reglas de inferencia y construir la tabla de verdad de cada una. ..................................... 5
3 ejemplos de deducción proposicional. .............................................................................................. 6
4. Qué es la forma normal disyuntiva y 2 ejemplos de cómo se aplica................................................ 7
5. Qué es la forma normal conjuntiva y 2 ejemplos de cómo se aplica. ............................................ 11
6. Cuáles son los cuantificadores lógicos y ejemplos de la aplicación de cada uno. .......................... 12
7. Definición de conjunto y generalidades. ........................................................................................ 12
8. Operaciones con conjuntos y ejemplos de cada uno. .................................................................... 12
Principales conjuntos numéricos y sus propiedades. ............................................................................ 14
Conjunto de los números naturales ................................................................................................... 14
Conjunto de los números enteros ...................................................................................................... 14
Conjunto de los números racionales .................................................................................................. 14
Conjunto de los números irracionales ............................................................................................... 15
Conjunto de los números reales......................................................................................................... 15
Conjunto de los números complejos .................................................................................................. 15
9. Definición de álgebra booleana y un ejemplo. ............................................................................... 15
Principio de Inducción Matemática y 3 ejemplos resueltos.................................................................. 16
13. Conjunto de verdad de una proposición y un ejemplo. .................................................................. 20
Bibliografía ............................................................................................................................................. 21
1. Definición de lógica en matemática.

Lógica es el estudio del razonamiento, se refiere específicamente a si el razonamiento es correcto. La

lógica se centra en la relación entre las afirmaciones y no en el contenido de una afirmación en
particular.
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es
el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.
Comprende la aplicación de las técnicas de la lógica formal a la construcción y el desarrollo de las
matemáticas y el razonamiento matemático, y conversamente la aplicación de técnicas matemáticas
a la representación y el análisis de la lógica formal. La investigación en lógica matemática ha jugado
un papel crucial en el estudio de los fundamentos de las matemáticas.
Los métodos lógicos se usan en matemáticas para demostrar teoremas y, en las ciencias de la
computación, para probar que los programas hacen lo que deben hacer.
2. Principales conectivos lógicos (negación, conjunción, tipos de disyunciones, condicional
y doble condicional) y la tabla de verdad de cada uno.

En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores
lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias
(atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor
de verdad de las fórmulas componentes.
Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de
muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados.
2.1 Negación
También llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o
en general, valores semánticos. Intuitivamente, la negación de una proposición es verdadera cuando
dicha proposición es falsa, y viceversa. En lógica clásica la negación normalmente se identifica con
la función de verdad que cambia su valor de verdadero a falso y viceversa.
2.2 Conjunción:
Es aquella proposición que es verdadera cuando p y q son verdaderas, y falsa
p q pÙq en cualquier otro caso. Se escribe p Ù q, y se lee "p y q".
1 1 1
1 0 0
0 1 0
0 0 0

2.3 Disyunción
Es aquella proposición que es verdadera cuando al menos una de las dos p o q es verdadera, y
falsa en caso contrario. Se escribe p Ú q, y se lee "p o q".
p q pÚq
1 1 1
1 0 1
0 1 1
0 0 0
2.4 Disyunción exclusiva:
Es aquella proposición que es verdadera cuando una y sólo una de las dos p o q es verdadera,
y falsa en cualquier otro caso. Se escribe p Ú q, y se lee "p o q, pero no ambas". Se usa muy
poco.
p q pÚq
1 1 0
1 0 1
0 1 1
0 0 0

2.5 Condicional:
Es aquella proposición que es falsa únicamente cuando la condición suficiente p es verdadera
y la condición necesaria q es falsa. Se escribe p Þ q, y se lee "si p entonces q".
p q pÞq
1 1 1
1 0 0
0 1 1
0 0 1
 2.6 Bicondicional:
Es aquella proposición que es verdadera cuando p y q tienen el mismo valor de verdad, y falsa
en caso contrario. Se escribe p Û q, y se lee "si y sólo si p entonces q".

p q pÛq
1 1 1
1 0 0
0 1 0
0 0 1

3. Definición de tautología y de contradicción. Investigar cuales son las principales tautologías usadas
como reglas de inferencia y construir la tabla de verdad de cada una.
En las disciplinas de la lógica y la retórica, se emplea el término tautología para referirse a
aquellos enunciados autoevidentes, obvios o redundantes, o sea, que resultan verdaderos desde
cualquier posible interpretación, pues se explican y afirman a sí mismos. Por ello, una tautología es
un argumento falaz, inválido, vacío.
Ejemplos de tautología
Son ejemplos de tautología los siguientes enunciados:

• Un hombre es un hombre.
• Corrí la distancia con mis propios pies.
• Todo lo que está de más, sobra.
• Las cosas cayeron hacia abajo.
• Subí hacia arriba de la escalera.
• El frío es causado por el descenso de la temperatura.

Y en términos lógicos, un ejemplo de tautología es la expresión: (p ^ q) → p , cuya tabla de la verdad

sería la siguiente:

p q p^q (p ^ q) → p

V V V V

V F F V

F V F V

F F F V
Contradicción. Al contrario de las tautologías, que son ciertas en cualquier formulación posible, las
contradicciones son falsas sean cuales sean los valores de sus premisas, ya que en su estructura
argumental se niega la conclusión que se desea obtener. Un ejemplo de ello sería el enunciado
“caímos hacia las alturas”, o el enunciado lógico p ^ p’ cuando p nunca es igual a p’.

3 ejemplos de deducción proposicional.

4. Qué es la forma normal disyuntiva y 2 ejemplos de cómo se aplica.
En lógica booleana, una forma normal disyuntiva (FND) es una estandarización (o
normalización) de una fórmula lógica que es una disyunción de cláusulas conjuntivas. Como
una forma normal, es útil en la demostración automática de teoremas. Una fórmula FND está
en forma normal disyuntiva completa si cada una de sus variables aparece exactamente una
vez en cada cláusula.
Al igual que en forma normal conjuntiva (FNC), los únicos operadores proposicionales en FND
son la conjunción, disyunción y negación. Una negación solo se puede aplicar a un literal, lo que
significa que solo puede preceder a una variable proposicional. Por ejemplo, todas las
siguientes fórmulas están en FND:
Ejemplo 1. Determinar un polinomio booleano(x,y)que tenga la tabla de verdad a continuación.

x y p(x,y)

\ (x\) ">11 \ (y\) ">11 \ (p (x, y)\) ">11

\ (x\) ">11 \ (y\) ">00 \ (p (x, y)\) ">00

\ (x\) ">00 \ (y\) ">11 \ (p (x, y)\) ">00

\ (x\) ">00 \ (y\) ">00 \ (p (x, y)\) ">11

Solución:

Queremos una salida “verdadera” cuando las entradas coincidan con la primera o cuarta fila, y sólo
entonces. Las entradas coinciden con la primera fila precisamente cuando ambas X & Y son verdaderas
(es decir, cuando la conjunción x ∧ y es verdadera), y coinciden con la cuarta fila precisamente cuando
ambas no son verdaderas y no son verdaderas (y es decir, cuando la conjunción X′ ∧ Y′ es verdadera).
Así que toma la disyunción de estas dos conjunciones(x,y)=(x∧y)∨(x′∧y′).
Ejemplo:

Determinar un polinomio booleano q(x,y,z) que tenga la tabla de verdad a continuación.

x y z q(x,y,z)

11 11 11 11

11 11 00 11

11 00 11 00

11 00 00 11

00 11 11 11

00 11 00 11

00 00 11 11

00 00 00 11
Solución 1

Cada fila, excepto la tercera, tiene resultado1,1, por lo que debemos formar conjunciones para todas
las filas excepto esa:

primera fila
x∧y∧z;

segunda fila
x∧y∧z′

cuarta fila
x∧y′∧z′

quinta fila
x′∧y∧z

sexta fila
x′∧y∧z′

séptima fila
x′∧y′∧zy

Eigésima fila
x′∧y′∧z′.′.

Por lo tanto, el polinomio booleano

\ comenzar {alinear*} q (x, y, z) & = (x\ tierra y\ tierra z)\ lor (x\ tierra y\ tierra z')\ lor (x\ tierra y'\
tierra z')\ lor (x'\ tierra y\ tierra z)\\ &\ fantasma {=}\ lor (x'\ tierra y\ tierra z')\ lor (x'\ tierra y'\
tierra\ z)\ lor (x'\ tierra y'\ tierra z')\ final {alinear*}

está a la vez en forma normal disyuntiva y tendrá la tabla de verdad deseada.

Solución. 2 solución alternativa

Podemos obtener una expresión mucho más simple paraq(x,y,z) al no usar el procedimiento (aunque
por supuesto el resultado no estará en forma normal disyuntiva).

Observe que queremos que la tercera fila tenga valor de salida0.0. En términos lógicos, queremos
que esa combinación (y solo esa combinación) de valores de entrada dé como resultado una salida
que “no es verdadera”. Así que el polinomio booleano

\ begin {ecuación*} q (x, y, z) = (x\ land y'\ land z) '= x'\ lor y\ lor z'\ end {ecuación*}

producirá la tabla de verdad deseada.

5. Qué es la forma normal conjuntiva y 2 ejemplos de cómo se aplica.
En lógica booleana, una fórmula está en forma normal conjuntiva (FNC) si corresponde a
una conjunción de cláusulas, donde una cláusula es una disyunción de literales, donde un
literal y su complemento no pueden aparecer en la misma cláusula. Esta definición es similar a
la de forma de productos de sumas usadas en teoría de circuitos.
Todas las conjunciones de literales y todas las disyunciones de literales están en FNC, puesto
que pueden ser vistas, respectivamente, como conjunciones de cláusulas de un literal, y como
conjunciones de una única cláusula. Al igual que en una forma normal disyuntiva (FND), los
únicos conectivos lógicos que pueden aparecer en una fórmula en FNC son
la conjunción, disyunción y negación. El operador negación solo puede aplicarse a un literal, y
no a una cláusula completa, lo que significa que este sólo puede preceder a una variable
proposicional o un símbolo de predicado.
En demostración automática de teoremas, la noción de «forma normal clausal» se utiliza
frecuentemente en un sentido más estricto, significando una representación particular de una
fórmula FNC como un conjunto de conjuntos de literales.

Ejemplos
6. Cuáles son los cuantificadores lógicos y ejemplos de la aplicación de cada uno.

Los cuantificadores lógicos son símbolos utilizados en matemática discreta para expresar de
manera concisa proposiciones que involucran variables y conjuntos de elementos. Los
cuantificadores permiten especificar la cantidad de elementos que satisfacen una determinada
propiedad.

El Cuantificador universal ∀ X, Y… Para todo x, y...

Cuantificador existencial ∃ x, y … Existe al menos un x, y...
Cuantificador existencial único ∃! X, y … Existe exactamente un x, y...
Negación del cuantificador existencial ∃ No existe ningún x, y...

7. Definición de conjunto y generalidades.

Lo podemos definir como una agrupación o colección de objetos que tienen una característica en
común.
En matemáticas, un conjunto es una colección de elementos considerada en sí misma como
un objeto matemático. Los elementos de un conjunto, pueden ser las
siguientes: personas, números, colores, letras, figuras, etc. Se dice que un elemento (o miembro)
pertenece al conjunto si está definido como incluido de algún modo dentro de él.
En matemática, la generalización está íntimamente relacionada con la abstracción y es que, a partir
de la generalización, uno puede abstraer conceptos y propiedades. Nuestros alumnos, al llegar al
secundario, ya han abstraído muchos conceptos y propiedades, quizás no de forma cociente, sino
como algo natural.

8. Operaciones con conjuntos y ejemplos de cada uno.

Ejemplo 1.

Dados dos conjuntos A={1,2,3,4,5,6,7,} y B={8,9,10,11} la unión de estos conjuntos será

A∪B={1,2,3,4,5,6,7,8,9,10,11}. Usando diagramas de Venn se tendría lo siguiente:
También se puede graficar del siguiente modo:

Ejemplo 2.

Dados dos conjuntos A= {1,2,3,4,5} y B= {4,5,6,7,8,9} la unión de estos conjuntos será

A∪B={1,2,3,4,5,6,7,8,9}. Usando diagramas de Ven se tendría lo siguiente:

Ejemplo 3.

Dados dos conjuntos F={x/x estudiantes que juegan fútbol} y B={x/x estudiantes que juegan básquet},
la unión será F∪B={x/x estudiantes que juegan fútbol o básquet}. Usando diagramas de Venn se
tendría lo siguiente:
Principales conjuntos numéricos y sus propiedades.

Conjunto de los números naturales

Los números naturales son los elementos de la sucesión 1,2,3,4,…1,2,3,4,… y fueron los primeros en
ser utilizados por las antiguas civilizaciones para contar objetos y representar cantidades. Cada uno
de ellos tiene un sucesor mayor en una unidad, por ejemplo, el sucesor
de 1212 es 12+1=13.12+1=13.
Algunas propiedades del conjunto de los números naturales son:
• Es infinito.

• Tiene primer elemento, pero no tiene último elemento.

• Todo número natural tiene un sucesor.
• Entre dos números naturales existe siempre un número finito de números naturales.
Conjunto de los números enteros
Los números enteros surgen como una solución a la limitación de los naturales en cuanto a la resta.
Introducir los números negativos −1,−2,−3,…−1,−2,−3,… permite realizar la operación de
resta a−b aun cuando a es menor que b. Integramos los números negativos y el cero a los naturales
para formar un nuevo conjunto numérico.
Algunas propiedades del conjunto de los números enteros son:
• Es infinito.

• No tiene primer ni último elemento.

• Todo número entero tiene un sucesor.
• Entre dos números enteros existe siempre un número finito de números enteros.
Conjunto de los números racionales
𝑎
La introducción de los números fraccionarios permite realizar los cocientes exactos a : b entre
𝑏
números enteros, aún en los casos en que a no sea múltiplo de b. El entero a se llama numerador, y
el entero b, que no puede ser 0, se llama denominador.

Algunas de las propiedades del conjunto de los números racionales son las siguientes:
• Es infinito.

• No tiene primer ni último elemento.

• Entre dos números racionales hay infinitos números racionales.
Conjunto de los números irracionales
Existen números cuya expresión decimal no entra en ninguna de las dos categorías antes
mencionadas, es decir, no son decimales exactos ni periódicos, sino que tienen infinitas cifras
decimales y estas no siguen ningún patrón.
Algunos números irracionales famosos son:
• π=3,14159265… que representa la relación entre el perímetro de una circunferencia y
su diámetro.
• e=2,71828182… la base de los logaritmos naturales.
• ϕ=1,61803399… la razón áurea.
Conjunto de los números reales
Hasta ahora tenemos dos grandes grupos de números: los racionales y los irracionales. Los primeros
pueden ser escritos como fracción e incluyen a los enteros y naturales; el segundo grupo contiene a
todos los números que no pueden ser escritos como fracción.

Algunas propiedades del conjunto de los números reales son:

• Es infinito.
• No tiene primer ni último elemento.
• Entre dos números reales existe un número infinito de números reales.
Conjunto de los números complejos
Para superar las restricciones antes mencionadas introducimos un nuevo conjunto numérico, el cual
tendrá incluido a los números reales y además deberá permitir encontrar raíces de índice par de
números negativos. Comenzamos definiendo un nuevo número, llamado unidad imaginaria y
representado con la letra i, que cumple la siguiente propiedad:
I2 = -1

9. Definición de álgebra booleana y un ejemplo.

El álgebra de Boole, también llamada álgebra booleana, es una estructura algebraica que esquematiza
operaciones lógicas. El álgebra booleana es una rama del álgebra. Se diferencia del álgebra elemental
en dos aspectos. Primero, los valores de las variables son los valores de verdad verdadero y falso,
normalmente denotados 1 y 0, mientras que en álgebra elemental los valores de las variables son
números. En segundo lugar, el álgebra booleana utiliza operadores lógicos como la conjunción (y)
denotada como ∧, la disyunción (o) denotada como ∨ y la negación (no) denotada como ¬. El álgebra
elemental, por otro lado, utiliza operadores aritméticos como la suma, la multiplicación, la resta y la
división. Por tanto, el álgebra de Boole es una modalidad formal de describir operaciones lógicas, de
la misma manera que el álgebra elemental describe operaciones numéricas.
Ejemplo:
Demostración del teorema 6
x + yx = x
x + y ∙ x = x∙1+x∙y Postulado 2: x ∙ 1 = x
= x∙(1+y) Postulado 4: x∙(y+z)=x∙y+x∙z
= x∙1 Teorema 2: x + 1 = 1
= x l.q.q.d Postulado 2: x ∙ 1 = x
Ejercicio a realizar previamente: Demostrar el teorema 2.
Función lógica y manipulación algebraica

• 1. A partir del planteamiento de un problema, determinamos las variables de entrada y salida

del mismo.
• 2. Deducimos y expresamos la relación lógica entre variables (las variables de salida dependen
de las de entrada).
• 3. Una de las primeras formas de expresión de esa relación puede ser con una tabla de
verdad.

Tabla de verdad (relación entre variables de entrada y salida)

xn-1xn-2… x0 Ym-1Ym-2…Y0

00…00 ??...?

00...01 ??...?

00…10 ??...?

2n-1 ??...?

m funciones de salida Y dependientes de n variables de entrada x

Principio de Inducción Matemática y 3 ejemplos resueltos.

La inducción matemática es un método para demostrar que algunas afirmaciones son ciertas para
todos los números naturales (o para todos los naturales a partir de alguno). Consideremos la
afirmación: Todo número mayor o igual a 7 es suma de un múltiplo de 3 y un múltiplo de 4.
Ejemplo 1:
Ejemplo 2:
Ejemplo 3
13. Conjunto de verdad de una proposición y un ejemplo.

El conjunto de verdad: son los valores para los cuales una proposición dada es correcta, es decir, los
valores para los que una proposición se cumple.
Por ejemplo: para la proposición: p(x): (x-2)/√(2x-7)=√(x-4)
Calculamos el conjunto de la verdad:
Como el lado derecho es una raíz es positivo puedo elevar ambos lados al cuadrado
(x-2)²/(2x-7) = x - 4
(x-2)² = (x-4)*(2x-7)
x²-4x + 4 = 2x² - 7x -8x + 28
2x² - x² - 15x + 4x + 28 - 4 = 0
x² - 11x + 24 = 0
Buscamos las raíces
x=3ox=8
Ahora si x = 3: la raíz de la derecha seria negativa, no puede ser 3.
El conjunto de verdad es A = {8} tiene un solo elemento para el cual se cumple lo deseado.
 Bibliografía

Johnsonbaugh, R. Matematicas discretas, sexta edición.

Lógica matemática, Wikipedia; https://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
Conectiva lógica, Wikipedia; https://es.wikipedia.org/wiki/Conectiva_l%C3%B3gica
Negación lógica Wikipedia;
https://es.wikipedia.org/wiki/Negaci%C3%B3n_l%C3%B3gica#:~:text=En%20l%C3%B3gica%20y%20
matem%C3%A1tica%2C%20la,proposici%C3%B3n%20es%20falsa%2C%20y%20viceversa.
Farrán, I; Invitación a las matemáticas, Teoría elemental de conjuntos
http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Conjuntos/conjuntos.htm#:~:text=Conjunci%C3%
B3n%3A%20es%20aquella%20proposici%C3%B3n%20que,y%20se%20lee%20%22p%20y%20q%22.&
text=Disyunci%C3%B3n%3A%20es%20aquella%20proposici%C3%B3n%20que,y%20falsa%20en%20c
aso%20contrario.
Tautología Revisado por Equipo editorial, Etecé (2020):
https://concepto.de/tautologia/#ixzz8T33dB03h
Corporación unificada nacional de educación superior con departamento de ciencias básicas:
matemática; deducción proposicional
https://www.academia.edu/5884623/deduccion_proposicional
Wikipedia; Forma normal disyuntiva https://es.wikipedia.org/wiki/Forma_normal_disyuntiva
Wikipedia; Cuantificador, https://es.wikipedia.org/wiki/Cuantificador
Generalidades de conjuntos https://geomatik6.webnode.es/generalidades -de-conjuntos/
Wikipedia, https://es.wikipedia.org/wiki/Conjunto
MATEMATICA ICONJUNTOS. OPERACIONES CON CONJUNTOS.
https://www.conoce3000.com/html/espaniol/Libros/Matematica01/Cap10-03-
OperacionesConjuntos.php
Flamath; Conjuntos numéricos: símbolos, operaciones y propiedades
https://flamath.com/conjuntos-numericos
Álgebra de Boole Wikipedia https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole
ÁLGEBRA BOOLEANA, Diseño Digital Departamento de Ingeniería Electrónica
https://uapa.cuaieed.unam.mx/sites/default/files/minisite/static/7aeaa4d5-346d-4a31-91d9-
ad11549328c5/Algebra-Boleana/index.html
Wikipedia; Inducción matemática
https://es.wikipedia.org/wiki/Inducci%C3%B3n_matem%C3%A1tica