LÓGICA MATEMÁTICA

PROPOSICIONES:
Una proposición en matemáticas es un enunciado que por consenso universal está sujeto
a ser verdadero o falso.

Por ejemplo:

* -(-7+5*2)>-2 F
* Quito es la capital del ecuador V
* 3x+2=6 F
*-4+3 =-1 V
* 2 es un numero par y menor que 10 V

Ejemplos:

* La raíz de 16 es 4 V

* El primer presidente del Ecuador fue Juan José Flores V

* Carro en el idioma ingles es cat F

CONECTIVAS LÓGICAS
Las conectivas lógicas se clasifican en: Simples y Compuestas.
El número de combinaciones de una proposición se realiza de la siguiente formula:

n→ Numero de variables o proposición

2
CONECTIVAS LÓGICAS SIMPLES

NEGACIÓN

Es un operador lógico que sirve para negar una proposición se representa con el símbolo

(no, ¬, ~, !, not)

Unario
p ¬p 21 = 2
0 1

1 0

CONJUNCIÓN

Es un operador que sirve para enlazar dos proposiciones simples mediante el uso del término que
se representa con el símbolo (i, ^, AND, &&, &)

Binario

p q p^q 22 = 2 * 2 =4
0 0 0

0 1 0

1 0 0

1 1 1

DISYUNCIÓN

Es un operador que se utiliza para enlazar dos proposiciones simples, se representa con el símbolo
(o, ,ͮ OR)

Binario
22 = 2 * 2 = 4
p q p ͮ q
0 0 0
0 1 1
1 0 1
1 1 1
 CONECTIVAS LÓGICAS COMPUESTAS

IMPLICACIÓN

Es un operador que sirve para enlazar dos proposiciones p y q mediante la expresión si …

entonces, se representa con el símbolo (→, =>)

Binario

22 = 2 * 2 = 4
p q p→q
0 0 1
0 1 1
1 0 0
1 1 1

EQUIVALENCIA

Cuando ambas proposiciones tienen el mismo valor de verdad para una misma asignación de
valores de las proposiciones que las componen se representa con el símbolo (↔, <=>)

Binario

22 = 2 * 2 = 4
p q p↔q
0 0 1
0 1 0
1 0 0
1 1 1

Ejercicio en clase

~(p → q ) ↔ [( q → p ) ^ p ] 22 = 2 * 2 = 4

p q (p→q) ~( p → q) ( q → p ) [( q → p ) ^ p ] ~(p → q ) ↔ [( q → p ) ^ p ]
0 0 1 0 1 0 1
0 1 1 0 0 0 1
1 0 0 1 1 1 1
1 1 1 0 1 1 0
Contingencia
Ejercicios
Negación

~( p ˄ q ) 22 = 2 * 2 = 4

p q
0 0
0 1
1 0
1 1
(p ˄ q) ~(p ˄ q)
0 1
0 1
0 1
1 0
Contingencia

[( p v q ) ˄ ~p] 22 = 2 * 2 = 4

p q ~p (p v q ) [(p v q)˄~p]
0 0 1 0 0
0 1 1 1 1
1 0 0 1 0
1 1 0 1 0
Contingencia

[( p → q ) v ~ q] 22 = 2 * 2 = 4

p q ~q (p → q) [( p → q ) v ~ p]
0 0 1 1 1
0 1 0 1 1
1 0 1 0 1
1 1 0 1 1

Tautólogia
Conjunción

(˥P Λ ˥Q) 22=2*2=4

p q ˥p ˥q ( ˥p Λ ˥q )
0 0 1 1 1
0 1 1 0 0
1 0 0 1 0
1 1 0 0 0
Contingencia

23 = 2 * 2 * 2 = 8
[( p ˅ r ) ˄ ( q → ~ r )]

( q → ~ r [( p ˅ r ) ˄ ( q →
p q r ~r (p˅r) ) ~ r )]
0 0 0 1 0 1 0
0 0 1 0 1 1 1
0 1 0 1 0 1 0
0 1 1 0 1 0 0
1 0 0 1 1 1 1
1 0 1 0 1 1 1
1 1 0 1 1 1 1
1 1 1 0 1 0 0
Contingencia

[( p → q ) ˄ ~ q] 22 = 2 * 2 = 4

p q ~q (p → q) [( p → q ) ˄ ~ q]
0 0 1 1 1
0 1 0 1 0
1 0 1 0 0
1 1 0 1 0
Contingencia
Disyunción

[( p → q ) ˅ ( r → ~ p )] 23 = 2 * 2 * 2 = 8

p q r ~p (p→q) ( r → ~ p ) [( p → q ) ˅ ( r → ~ p )]
0 0 0 1 1 1 1
0 0 1 1 1 1 1
0 1 0 1 1 1 1
0 1 1 1 1 1 1
1 0 0 0 0 1 1
1 0 1 0 0 0 0
1 1 0 0 1 1 1
1 1 1 0 1 0 1
Contingencia

[( p ˄ q ) ˅ ~ p )] 22 = 2 * 2 = 4

p q ~p (p˄q) [( p ˄ q ) ˅ ~ p )]
0 0 1 0 1
0 1 1 0 1
1 0 0 0 0
1 1 0 1 1
Contingencia

[( p → ~ q ) ˅ r ] 23 = 2 * 2 * 2 = 8

p q r ~q ( p → ~ q ) [( p → ~ q ) ˅ r ]
0 0 0 1 1 1
0 0 1 1 1 1
0 1 0 0 1 1
0 1 1 0 1 1
1 0 0 1 1 1
1 0 1 1 1 1
1 1 0 0 0 0
1 1 1 0 0 1
Contingencia
Implicación

[( q ˅ r ) → s] 23 = 2 * 2 * 2 = 8

q r s (q ˅r) [( q ˅ r ) → s]
0 0 0 0 1
0 0 1 0 1
0 1 0 1 0
0 1 1 1 1
1 0 0 1 0
1 0 1 1 1
1 1 0 1 0
1 1 1 1 1
Contingencia

[( q ˅ r ) → ( ~ q ˅ r )] 22 = 2 * 2 = 4

q r ~q (q˅r) ( ~q˅r) [( q ˅ r ) → ( ~ q ˅ r )]
0 0 1 0 1 1
0 1 1 1 1 1
1 0 0 1 0 0
1 1 0 1 1 1
Contingencia

[( p ˅ ~q ) → r ] 23 = 2 * 2 * 2 = 8

p q r ~q ( p ˅ ~q ) [( p ˅ ~q ) → r ]
0 0 0 1 1 0
0 0 1 1 1 1
0 1 0 0 0 1
0 1 1 0 0 1
1 0 0 1 1 0
1 0 1 1 1 1
1 1 0 0 1 0
1 1 1 0 1 1
Contingencia
Equivalencia

[( q v p ) ↔ q] 22 = 2 * 2 = 4

p q (qvp) [( q v p ) ↔ q]
0 0 0 1
0 1 1 1
1 0 1 0
1 1 1 1
Contingencia

[p ↔ ( q ˄ r )] 23 = 2 * 2 * 2 = 8

p q r (q˄r) [p ↔ ( q ˄ r )]
0 0 0 0 1
0 0 1 0 1
0 1 0 0 1
0 1 1 1 0
1 0 0 0 0
1 0 1 0 0
1 1 0 0 0
1 1 1 1 1
Contingencia

[ ~ q ↔ ( p → q )] 22 = 2 * 2 = 4

p q ~q (p →q) [ ~ q ↔ ( p → q )]
0 0 1 1 1
0 1 0 1 0
1 0 1 0 0
1 1 0 1 0
Contingencia
Teoría de conjuntos
Definición
Un conjunto es la colección ordenada o desordenada de elemento, los objetos del
conjunto se llaman elementos. Denotaremos a los conjuntos con letra MAYUSCULA y a los
elementos con letras MINUSCULAS
Cuando un elemento pertenece a un conjunto se lo denota (a ϵ A)
Pero cuando este elemento no pertenece a un conjunto representa (a ɇ A)
La coma "," separa cada elemento y siempre debe de tener las llaves como en el conjunto
como en la respuesta.
EJEMPLO:

1) A = {1, 15, 22, -2, 6} Respuesta: Las comas indican que solo hay 5 elementos dentro del
conjunto

2) B = {E, G, A, C, W} Respuesta: Las comas indican que solo hay 4 elementos dentro del conjunto

3) C = {ǖ, @, ӭ, Ω, *, 4} Respuesta: Las comas indican que solo hay 6 elementos dentro del
conjunto

4) D = {-1, ¶, Q, ọ} Respuesta: Las comas indican que solo hay 4 elementos dentro del conjunto

Ejemplos:
v= {a, e, i, o, u } → Total Infinito

N= {0,1,2,3} → Infinito Parcial

Z= {…-3,-2,-1,0,1,2,3…} →Infinito Parcial

Q= { -1/10, 1 ,0, 2/3} → Infinito Comprensión

IGUALDAD DE CONJUNTOS

La igualdad de conjuntos se denota como A = B y se considera que dos conjuntos son iguales si y
solo si tienen los mismos elementos.

EJEMPLO:

1) A = {1, 2, 3, 4, 5} B = {1, 2, 3, 4, 5} A=B

2)B = {W, R, W, S} F = {W, R, W, S} B=F

3) C = { -1, ¶, Q, ọ} P = { -1, ¶, Q, ọ} C=P

4) D = {ǖ, @, ӭ, Ω, *, 4} H = {ǖ, @, ӭ, Ω, *, 4} D=H

CONJUNTO VACIO

Es el conjunto que no tiene elementos y se denota como " ф, { } " si {x ϵ Z / x > 0 Ø, x > x^ 3} = ф

EJEMPLO

1) x = 2, 2 > 2^3 = 2 > 8 = Falso CONJUNTO VACIO

2) x = 4, 4 > 4^3 = 4 >64 = Falso CONJUNTO VACIO

3) x = 3, 3 > 3^3 = 3 > 27 = Falso CONJUNTO VACIO

4) x = 5, 5> 5^3 = 5 > 125 = Falso CONJUNTO VACIO

CONJUNTO UNIVERSAL

Contiene todo el elemento en consideración al problema tratando y se lo denotara "U, Re, Rf"

EJEMPLO

1.- Sean los conjuntos:

A = { aves} B = { peces } C = { anfibios } D = {tigres}

Existe otro conjunto que incluye a los conjuntos A, B, C y D y es conjunto de todos los animales

U = { animales } Este sería el conjunto universal.

2.- Sean los conjuntos:

E = { mujeres } F = { hombres }

El conjunto que incluye a los conjuntos E y F es el universo, conformado por

U = { seres humanos } Conjunto Universal

REPRESENTACION GRAFICA DE CONJUNTOS

Los conjuntos pueden representarse gráficamente en diagramas de VENN

A = {1, 2, -1, 7} D = {a, e, m} B = {0, 1, 7}

Determinar y Graficar
1)A ᴖ B

Re: A ᴖ B

AᴗB

Re: A ᴗ B

2) A ᴖ C

AᴖC=ф

Re: A ᴖ C = ф
3) A ᴗ D

Re: A ᴗ D

4) D ᴗ B

Re: D ᴗ B

SUBCONJUNTO Y SUBCONJUNTO PROPIO

SUBCONJUNTO: Sean A Λ B dos conjuntos, se dice que A se subconjunto de B, si y solo si todo

elemento de A es un elemento de B. se denota como A ᴄ B

Ejemplo:

A = {1,2,3} B={1,2,3,4}

Determinar y Graficar

AᴄB

Re: A ᴄ B
SUBCONJUNTO PROPIO: Se dice que, A subconjunto de B, pero A es distinto que B y se denota
como A c B ↔ A c B Λ A ≠ B

B = {4, 7, 9, 13} F = {13, 9, 4, 7}

Determinar y Graficar

BᴄF
Re: B ᴄ F

PARTICIONES DE CONJUNTOS

Llamado también conjunto consiente, es una "P" de subconjunto de A, tal que:

1) Cada elemento de A pertenece a uno de los conjuntos de la colección.

aϵA

2) Que cada intersección entre A sub 1 y A sub 2 observen ser iguales del conjunto vacío, siendo A
sub1 y Asub2 conjuntos de la partición "P"
a1 ᴖ a2 = ф

3) Que la Unión de todos los particiones o subconjuntos deben dar como resultado "A"
a1 + a2+ a3+ an… = A

Ejemplo:

A = {1, 2, 3, 4, 5, 6, 7, 8}

a1 = {1, 2, 3, 4}

a2 = {1, 3, 5, 6, 7, 8}

a3 = {1, 3, 5, 7}

a4 = {2, 4}

a5 = {6,8}
1) Indique si los siguientes conjuntos son o no una "P" de A

* {a1, a5} → Falso, porque faltan 5, 7 según criterio 3.

* {a1, a2} → Falso, porque se intersectan los elementos 1, 3.

* {a3, a4, a5} → Verdad = "P"

2) Sean:

A = {a, b, c, d, e, f}

a1 = {a, b, c}

a2 = {b, d, e, f}

a3 = {a, c, d, e, f}

a4 = {d, e}

a5 = {f}

Determinar la "P" de A

* {a1, a3} → Falso, porque se intersectan los elementos a y c.

* {a1, a2} → Falso, porque se intersectan el elemento b.

* {a4, a1} → Falso, porque falta el elemento f.

* {a5, a4, a1} → Verdadero = "p

3) Si "B = {0, 3, 6, 9}

Escriba una "P" de B que contenga.

a) 2 subconjuntos infinitos.

b1 = {0, 6, 12, 16...} tiene una sucesión +6

b2 = {3, 9, 15, 21...} tiene una sucesión +6

b) 3 subconjuntos infinitos.

b1 = {0, 9, 18...} tiene una sucesión +9

b2 = {3, 12, 21…} tiene una sucesión +9

b3 = {6, 15, 24...} tiene una sucesión +9

 EJERCICIOS

A = {2, 4, 6, 8, 10, 12} B = {0, 2, 4, 6, 8, 10, 12…}

a1 = {2, 4}

a2 = {6, 8}

a3 = {8, 10, 12}

a4 = {2, 4 ,6}

a5 = {12}

1) Indique si los siguientes conjuntos son o no una "P" de A

* {a1, a2} Falso, porque faltan 10, 12 según criterio 3.

* {a1, a4} Falso, porque se intersectan los elementos 2, 4.

* {a3, a4} Verdad = "P"

Escriba una "P" de B que contenga.

2) subconjuntos infinitos.

b1 = {0, 4, 8, 12…} tiene una sucesión +4

b2 = {2, 6, 10, 14…} tiene una sucesión +4

3) subconjuntos infinitos.

b1 = {0, 8, 16...} tiene una sucesión +8

b2 = {2, 10, 18…} tiene una sucesión +8

b3 = {4, 12, 20…} tiene una sucesión +8

OPERACIONES ENTRE CONJUNTOS

INTERSECCION: Sea la intersección de A Λ B denotada como: A ᴖ B es el conjunto que contiene

aquellos elementos que están en A y B.

Ejemplo:

A = {1,2, 5, 6}

B = {1,2,3,4}
Determinar y Graficar

AᴖB

Re: A ᴖ B

A = {0, 1, 2, 8}

B = {3, 4, 1,2}

Determinar y Graficar

AᴖB
Re: A ᴖ B

UNION: Sean A ᴧ B dos conjuntos, la unión de 2 conjuntos A ᴗ B es el conjunto que contiene

aquellos elementos que están en A o bien en B o en ambos.

Ejemplo:

A= {0, 1, 2, 3}

B= {a, s, d, f}

Determinar y Graficar

AᴗB
Re: A ᴗ B
 EJERCICIO

C = {0, -1, 2, 30}

D = {q, w, e, r}

Determinar y Graficar

CᴗD

Re: C ᴗ D

DIFERENCIA: Sean A ᴧ B la diferencia denotada A - B es el conjunto que contienen aquellos

elementos que están en A, pero no en B.
A= {1, 4, 7}
B= {a, e, 4}
C= {x, y, z}
Determinar y Graficar
A-B
Re: A - B
EJERCICIO:
Determinar y Graficar
A-C
B-A
Re: A - C Re: B - A

COMPLEMENTO: Sean U el conjunto universal y sea A un conjunto cualquiera, el

complemento de A, denotado como: U, A, Ᾱ, Ά y
Ejemplo:
Re: {1, 2, 3, 4, 5}
A = {2, 5}
Determinar y Grafica
Ac Re: {1, 2, 3, 4, 5}
EJERCICIOS:
Re: {a, b, 5, 9, d}
A = {b, 5}
Determinar y Graficar
Ac
Re: { a, b, 5, 9, d}

DIFERENCIA SIMETRICA: Lean A ᴧ B dos conjuntos, la diferencia simétrica denotada como

A ∆ B es el conjunto que contiene aquellos elementos que pertenecen a A o a B pero no
ambas.
A ∆ B = (A - B) ᴗ (B - A)
A ∆ B = (A ᴗ B) - (B ᴖ A)
Ejemplo:
A= {2, 4, 7, 9}
B= {4, 7, 8}
Determinar y Graficar
A∆B
Re: A ∆ B
 EJERCICIOS:
A= {0, 3, 6, 9}
B= {3, 2, 1,0}
Determinar y Graficar
A∆B

MISELAÑAS DE EJERCICIOS

1) Sean los conjuntos

A= {-1,-3,0,1,10,20,3/4,11,-5,7}
B= {-1,-3,10}
C= {10,20,3/4}
D= {11,-3,-5,-7}
E= {-3,3/4,-5,0}
F= {3/4}
A) Determinar A˄B
A˄B= {-1,-3,10} A˄B
B) Determinar B=[C-D]˄ F
B= [10,20,3/4]˄ (3/4) U=[C-D]˄ F

C) Determinar E∆D= (E u D) - (D˄E)

(E u D) = {11,-3,3/4,-5,7,0}
(D˄E) = {-3,-5}
(E u D) - (D˄E) = {11,3/4,7,0} R//
U= E∆D= (E u D) - (D˄E)