ÍNDICE

1. Unidad 1: Lógica Matemática 3

1.1 Objetivo 3
1.2 Introducción 3

2. Información de los subtemas 4

2.1 . Definiciones 4

2.2 Proposiciones condicionales y bicondicionales 10

2.3 Tautología, contradicción y contingencia 14

2.4 Equivalencia de las proposiciones 18

3. Recursos Complementarios 20

4. Bibliografía 21
 Lógica Matemática - Proposiciones y conectivos lógicos

1. Unidad 1:

» Objetivo:

Aplicar los fundamentos de la lógica matemática para proporcionar reglas que

puedan determinar si es válido un razonamiento o argumento particular

Introducción

Los métodos del razonamiento son tratados por esta disciplina llamada “lógica”. La
lógica tiene como propósito brindar reglas que permitan determinar cuándo un
argumento o razonamiento es válido o no. Para poder establecer resultados que
sean válidos es utilizado el razonamiento lógico en diferentes disciplinas. Las reglas
de la lógica son utilizadas para las conclusiones de los experimentos científicos,
probar diferentes teoremas matemáticos y además también comprobar la
coherencia que deben de tener los programas de computadora. En este tema se
proporcionarán definiciones de proposiciones y sus conectores lógicos o símbolos
lógicos de los cuales se van a establecer y aplicar reglas de deducción para validar,
comprobar y a su vez poder construir los argumentos correctos en el área
matemática.
© Universidad Estatal de Milagro – UNEMI

3
 Lógica Matemática - Proposiciones y conectivos lógicos

2. Informacion de los subtemas

2.1 Definiciones

Proposiciones

Una afirmación o también llamada oración declarativa puede ser verdadera o falsa,
pero no puede ser ambas, a aquello se le denomina proposición. Una oración que es
interrogativa o exclamativa no es una proposición. Las letras p, q, r… en minúscula son
usadas para poder indicar las proposiciones. Ejemplo, Considere las siguientes
oraciones:

1. Quito es la Capital de Ecuador.

2. 5 + 4 = 9
3. ¿Quién está dentro de la casa?
4. ¡Esta deliciosa la comida!
5. ¿Vas mañana a Guayaquil?
6. a + b = c

Las oraciones (3), (4) y (5) claramente no pueden ser proposiciones porque no son
declarativas; las oraciones (1) y (2) son proposiciones, pero la oración (6) no lo es. El
© Universidad Estatal de Milagro – UNEMI

ejemplo (1) es verdadero, (2) es falso y (6) no tiene un resultado ni verdadero ni falso
ya que a, b y c no tienen valores asignados, por ende, no se puede corroborar que la
expresión sea verdadera o falsa.

Cuando una proposición resulta ser verdadera, el valor de verdad de aquella

proposición es verdadero, se indica por V. Por el contrario, cuando una proposición
resulta ser falsa, su valor de verdad será falso y se lo indica por F.

Una proposición puede ser simple o también compuesta. Una proposición compuesta
va a constar de 2 o más proposiciones simples.

4
 Lógica Matemática - Proposiciones y conectivos lógicos

Ejemplos:

Proposición: Quito es la capital del Ecuador y la mitad del mundo.

r: Quito es la capital del Ecuador y es la mitad del mundo.

p y q

La proposición r consta de dos enunciados simples. La primera, p, donde afirma que

Quito es la capital del Ecuador y la segunda, q, que Quito es la mitad del mundo.

Proposición: Pedro atiende en clases y estudia en casa, entonces él aprobará el año y

será aplaudido por sus padres.

La proposición consta de 4 enunciados simples:

p: Pedro atiende en clases

q: Pedro estudia en casa

r: Pedro aprobará el año

s: Pedro será aplaudido por sus padres

Función Proposicional
© Universidad Estatal de Milagro – UNEMI

Las funciones proposicionales en variables x son enunciados donde surge la aparición

de x como el sujeto y se llega a convertir en una proposición en el momento que se le
atribuye un valor a dicha variable.

En la proposición “cuatro es menor que seis” (4 < 6) si se reemplaza el número 4 por la

letra x, se va a obtener la siguiente expresión “x es menor que seis” (x < 6), pero si x no
representa al número 4, por el contrario, representa a cualquier número real, entonces
dicho enunciado x < 4 se va a denominar función proposicional y se escribe de la
siguiente manera: p(x) o p(x).

5
 Lógica Matemática - Proposiciones y conectivos lógicos

Ejemplo:

Función proposicional p(x); 3x-2 = 4. Si al remplazar x por 2 y x por 5, se va a obtener

los siguientes resultados y valores de verdad.

p(x)= 3x – 2 = 4. Si x=2, p(2)= 4 entonces 4 = 4 (Verdadero)

p(x)= 3x -2 = 4. Si x= 5, p(5)= 13 entonces 13 = 4 (Falso)

Tabla de verdad

Es la que va a mostrar todas las relaciones que se tiene entre los valores de verdad de
las proposiciones compuestas y subproposiciones, es construida a partir de estos.

En general para n proposiciones, pueden presentarse 2n posibilidades.

Tipos de Conectivos

Conjunción
Cuando se tiene p y q que son dos proposiciones cualesquiera, la proposición “p y q”
expresada de la siguiente manera p  q y denominada la conjunción de p y q, es
definida como una proposición compuesta, que resulta ser verdadera cuando
únicamente p y q son verdaderas y resulta ser falso en todo otro caso. El conector
usado es ().
© Universidad Estatal de Milagro – UNEMI

6
 Lógica Matemática - Proposiciones y conectivos lógicos

Tabla 1
Tabla de verdad Conjunción "p  q"
p q pq
V V V
V F F
F V F
F F F

La tabla 1 muestra la tabla de verdad para el conector de conjunción de las

proposiciones de p y q. (T, 2008).

Ejemplo:

p: 3 es impar

q: 2 es par

Conjunción:
p  q: 3 es impar y 2 es par

valor de verdad: V

Disyunción
Cuando se tiene p y q que son dos proposiciones cualesquiera, la proposición “p o q”
expresada de la siguiente manera p  q y denominada la disyunción de p y q, es
© Universidad Estatal de Milagro – UNEMI

definida como una proposición compuesta, que resulta ser falsa cuando las dos
proposiciones p y q son falsas y resulta ser verdadera en todo otro caso. El conector
usado es ().

7
 Lógica Matemática - Proposiciones y conectivos lógicos

Tabla 2

Tabla de verdad Disyunción "p  q"

p q pq
V V V
V F V
F V V
F F F

La tabla 2 muestra la tabla de verdad para el conector de disyunción de las

proposiciones de p y q. (T, 2008).

Ejemplo:

p: 3 es impar

q: 2 es par

Conjunción:
p  q: 3 es impar o 2 es par.
© Universidad Estatal de Milagro – UNEMI

valor de verdad: V

Negación
Al tener cualquier proposición p, otra proposición al momento de escribir antes de p
“es falso que” o “no es el caso que” o al añadir el término “no” en la proposición p en
forma adecuada, se denomina la negación de p y se expresa de la siguiente manera p,
también se puede expresar como p’, p. Si la proposición p resulta ser verdadera, al
momento de negarla (p) es falsa, y si p resulta ser falsa, al momento de negarla (p)
es verdadera.

8
 Lógica Matemática - Proposiciones y conectivos lógicos

Tabla 3

Tabla de verdad Negación "p"

p p
V F
F V

La tabla 3 muestra la tabla de verdad para el conector de negación de la proposición p.

(T, 2008).

Ejemplo, si p es el enunciado “Cristóbal Colón descubrió América”, entonces p va

hacer cualquiera de los enunciados siguientes:

1. Es falso que Cristóbal Colón descubrió América

2. No es el caso que Cristóbal Colón descubrió América
3. Cristóbal Colón no descubrió América

El valor de verdad de la proposición p es V y el de p es F.

© Universidad Estatal de Milagro – UNEMI

9
 Lógica Matemática - Proposiciones y conectivos lógicos

2.2 Proposiciones condicionales y bicondicionales

Proposiciones condicionales

Definición

Al ser p y q proposiciones, la proposición compuesta que se lee “si p, entonces q” y se

expresa pq, se denomina proposición condicional, la misma que da un valor de falso
cuando p es verdadero y q es falso, y por consiguiente da un valor de verdadero en
todo otro caso.

En aquella proposición condicional, p se denomina premisa o hipótesis y q se llama

consecuencia o también denominada conclusión. En algunos casos existen autores
que a pq la llaman como implicación.

Ejemplo:

“Si me despierto a las 6 de la mañana, iré a trotar”, es representado como pq o

también se lo puede considerar un contrato.

Si p es verdadero y q es verdadero, el contrato no es infringido y “pq” da un valor de

verdad de verdadero.

Si p es verdadero y q es falso (Me despierto a las 6 de la mañana, pero voy a trotar), el

contrato es infringido y “pq” da un valor de verdad de falso.

Si p es falso y q es verdadero o falso (No me despierto a las 6 de la mañana; puedo o

no ir a trotar), el contrato no es infringido y “pq” es verdadero.
© Universidad Estatal de Milagro – UNEMI

10
 Lógica Matemática - Proposiciones y conectivos lógicos

Tabla 4

Tabla de verdad proposición condicional “p q”

p q pq
V V V
V F F
F V V
F F V

La tabla 4 muestra la tabla de verdad para el conector de proposiciones condicionales

de p y q. (T, 2008).

Otras expresiones:

p sólo si q
q cuando p
todo p verifica q
si p entonces q
p implica q
q si p
si p, q
© Universidad Estatal de Milagro – UNEMI

Proposiciones bicondicionales

Definición

Al ser p y q proposiciones, la proposición compuesta que se lee “p si y solamente si q”

y se expresa pq, se denomina proposición bicondicional, la misma que da un valor
de verdadero cuando p y q son iguales en su valor de verdad, y por consiguiente da un
valor de falso en todo otro caso.

11
 Lógica Matemática - Proposiciones y conectivos lógicos

Es sencillo comprobar que “p  q” es verdadero cuando las dos condicionales es

decir pq y qp son verdad. Por ello el símbolo  se trata de una combinación de 
y.

Tabla 5

Tabla de verdad proposición bicondicional “p  q”

p q pq
V V V
V F F
F V F
F F V

La tabla 5 muestra la tabla de verdad para el conector de proposiciones

bicondicionales de p y q. (T, 2008).

Ejercicio:

Teniendo la formula lógica (𝑝  𝑞)  (𝑝  𝑟); realizar la tabla de verdad

correspondiente

Para n proposiciones, pueden presentarse 2 n posibilidades. Tenemos 3 proposiciones

por lo tanto: 23 = 8
© Universidad Estatal de Milagro – UNEMI

12
 Lógica Matemática - Proposiciones y conectivos lógicos

Tabla 6:

Ejemplo empleando tipos de conectivos

p q r p (pq) (pr) (pq)  (pr)

F F F V V F F

F F V V V V V

F V F V V F F

F V V V V V V

V F F F F F V

V F V F F F V

V V F F V F F

V V V F V F F

La tabla 6 muestra un ejercicio incluyendo los tipos de conectivos ya mencionados.

Elaboración propia.
© Universidad Estatal de Milagro – UNEMI

13
 Lógica Matemática - Proposiciones y conectivos lógicos

2.3 Tautología, contradicción y contingencia

Formula Lógica

Definición

El conjunto de conectivos lógicos con sus respectivas proposiciones y los símbolos de

agrupación se lo llama formula lógica.

Ejemplo:

~{(𝑝 → 𝑞)(𝑠  t)}

(𝑝  ~𝑞)  𝑝

[~(𝑝 → 𝑝)  (𝑝 ↔ 𝑞)]  [(~𝑝 → 𝑞)  ~𝑝]

Tautología

Definición

Si al momento de hacer la evaluación de una fórmula lógica, da como resultado que

absolutamente todos los valores de verdad son verdaderos al realizar cualquier
combinación de los valores de verdad de las proposiciones que componen la fórmula,
entonces dicha fórmula lógica es una Tautología.

Ejemplo:

1. Evaluar la proposición p v p por medio de una tabla de verdad:

Tabla 7
© Universidad Estatal de Milagro – UNEMI

Primer ejemplo de Tautología

p p p v p
V F V
F V V

14
 Lógica Matemática - Proposiciones y conectivos lógicos

En la tabla 7 se puede observar que para cualquier combinación que se realice de las
proposiciones p y la negación de p (p), la proposición p v p resulta ser siempre
verdad. La proposición p v p es tautología. Elaboración propia.

2. Formula lógica { ( p  q )  p } q, Evaluar la tabla de verdad:

Tabla 8

Segundo ejemplo de Tautología

p q pq {(pq)p}  q
V V V V V V
V F F F V F
F V V F V V
F F V F V F

En la tabla 8 se puede observar que para cualquier combinación que se realice de las
proposiciones p y q, resulta ser siempre verdad. Esta fórmula lógica da un resultado de
tautología. Elaboración propia.

Contradicción

Definición

Si al momento de hacer la evaluación de una fórmula lógica, da como resultado que

absolutamente todos los valores de verdad son falsos al realizar cualquier
combinación de los valores de verdad de las proposiciones que componen la fórmula,
© Universidad Estatal de Milagro – UNEMI

entonces dicha fórmula lógica es una Contradicción.

Ejemplo:

Evaluar la siguiente proposición p  p

15
 Lógica Matemática - Proposiciones y conectivos lógicos

Tabla 9

Ejemplo de Contradicción

p p p  p
V F F
F V F

En la tabla 9 se puede observar que para cualquier combinación que se realice, resulta
ser siempre falso. Esta fórmula lógica da un resultado de Contradicción. Elaboración
propia.

Contingencia

Definición

Cuando una proposición contiene en sus resultados de tabla de verdad al menos un

valor de verdad verdadero y un valor de verdad falso, entonces se lo conoce como
Contingencia. Es decir, cuando una proposición no es ni tautología ni contradicción,
esta es una contingencia. Como ejemplo se consideran las tablas de verdad de los
diferentes conectivos lógicos ya mencionados.

Ejemplo:

Evaluar la siguiente proposición (p  q)p

© Universidad Estatal de Milagro – UNEMI

Tabla 10

Ejemplo de contingencia

p q pq (p  q)p
V V V V
V F V F
F V V V
F F F V

16
 Lógica Matemática - Proposiciones y conectivos lógicos

En la tabla 10 se puede observar que para existen valores de verdad tanto falsos
como verdaderos. Esta fórmula lógica da un resultado de Contingencia. Elaboración
propia.

Ejercicio:

De la siguiente formula lógica 𝑝 [(𝑝)(𝑞)], identificar si su tabla de verdad es una

tautología, contradicción o contingencia.

Tabla 11

Ejercicio p [(p)  (q)]

p q p q [(p)  (q)] p  [(p)  (q)]

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

La tabla 11 muestra como resultado una contradicción. Elaboración propia.

© Universidad Estatal de Milagro – UNEMI

17
 Lógica Matemática - Proposiciones y conectivos lógicos

2.4 Equivalencia de las proposiciones

Proposiciones lógicamente equivalentes

Para que dos proposiciones se denominen equivalentes, los resultados de sus tablas
de verdad tienen que ser iguales. En caso de ser así su expresión es la siguiente: p 
q

Ejemplo:

Tabla de verdad de la proposición condicional pq

Tabla 12

Proposición Condicional

p q pq
V V V
V F F
F V V
F F V

La tabla 12 muestra la tabla de verdad de una proposición condicional. Elaboración

propia.

Evaluar la siguiente proposición p  q, mediante la tabla de verdad

Tabla 13
© Universidad Estatal de Milagro – UNEMI

Proposición p  q

p p q p  q
V F V V
V F F F
F V V V
F V F V

La tabla 13 muestra la tabla de verdad de la proposición p  q. Elaboración propia.

18
 Lógica Matemática - Proposiciones y conectivos lógicos

Se puede observar la tabla 12 y 13, que los resultados de las tablas de verdad de las
dos proposiciones son idénticos. Por ende, se señala que son proposiciones
lógicamente equivalentes, se lo expresa de la siguiente manera:

(𝑝 → 𝑞) ≡ (~𝑝  𝑞)

Ejercicio

Realice la tabla de verdad de las siguientes fórmulas lógicas ~(𝑝𝑞) y ~𝑝  ~𝑞 y

muestre si son lógicamente equivalentes:

Tabla 14

Proposiciones lógicamente equivalentes

p q pq (p  q) p q p  q
V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V

La tabla 14 muestra que ambas proposiciones son lógicamente equivalentes por ende
se expresa ~(𝑝𝑞)  ~𝑝  ~𝑞. Elaboración propia.
© Universidad Estatal de Milagro – UNEMI

19
 Lógica Matemática - Proposiciones y conectivos lógicos

3. Recursos complementarios
Los siguientes recursos complementarios son sugerencias para que se pueda
ampliar la información sobre el tema trabajado, como parte de su proceso de
aprendizaje autónomo:

» Aquino, O. A. (s.f.). Lógica Matemática. Obtenido de

http://www.utm.mx/~octavioalberto/pdf/diapositivas_logica_p1.pdf

» Arroyo, R. F. (s.f.). La enseñanza de los conectivos lógicos. Obtenido de

https://cdigital.uv.mx/bitstream/handle/123456789/38570/ergo7p73-
86.pdf?sequence=1&isAllowed=y
© Universidad Estatal de Milagro – UNEMI

20
 Lógica Matemática - Proposiciones y conectivos lógicos

4. Bibliografía

» Espinosa Armenta, R. (2010). Matemáticas Discretas. ALFAOMEGA.

» Richard, J. (2015). Matemáticas Discretas. PEARSON.

» T, V. (2008). Matemáticas Discretas con Teoría de Gráficas y Combinatoria.

MC GRAW HILL.
© Universidad Estatal de Milagro – UNEMI

21