LGICA MATEMTICA

PROPOSICIONES:
Una proposicin en matemticas es un enunciado que por consenso
universal est sujeto a ser verdadero o falso.

Por ejemplo:

* -(-7+5*2)>-2

* Quito es la capital del ecuador

* 3x+2=6

V
F

*-4+3 =-1
* 2 es un numero par y menor que 10

V
V

Ejemplos:
* La raz de 16 es 4

* El primer presidente del Ecuador fue Juan Jos Flores

* Carro en el idioma ingles es cat

V
F

CONECTIVAS LGICAS
Las conectivas lgicas se clasifican en: Simples y Compuestas.

El nmero de combinaciones de una proposicin se realiza de la

siguiente formula:

n Numero de variables o

proposicin

CONECTIVAS LGICAS SIMPLES

NEGACIN
Es un operador lgico que sirve para negar una proposicin se representa con
el smbolo
(no, , ~, !, not)

Unario
p

21 = 2
CONJUNCIN
Es un operador que sirve para enlazar dos
proposiciones simples mediante el uso del
trmino que se representa con el smbolo (i, ^,

AND, &&, &)

Binario
p

p^q

= 2 * 2 =4

DISYUNCIN
Es un operador que se utiliza para enlazar dos proposiciones simples, se
representa con el smbolo (o, , OR)

22

=2*2=

Binario

CONECTIVAS LGICAS COMPUESTAS

IMPLICACIN
Es un operador que sirve para enlazar dos proposiciones p y q mediante la
expresin si entonces, se representa con el smbolo (, =>)
Binario
p
0
0
1
1

q
0
1
0
1

pq
1
1
0
1

22 = 2 *
2=4

EQUIVALENCIA
Cuando ambas proposiciones tienen el mismo valor de verdad para una misma
asignacin de valores de las proposiciones que las componen se representa
con el smbolo (, <=>)
Binario

pq

=2*2

Ejercicio en clase
~(p q ) [( q p ) ^ p ]

22 = 2 *
2=4

p
0
0
1
1

q
0
1
0
1

(pq)
1
1
0
1

~( p q)
0
0
1
0

( q p ) [( q p ) ^ p ] ~(p q ) [( q p ) ^ p ]
1
0
1
0
0
1
1
1
1
1
1
0
Contingencia

Ejercicios
Negacin
~( p q )
2

2
p
0
0
1
1

(p q)
0
0
0
1

q
0
1
0
1

=2*2
~(p q)
1
1
1
0

Contingencia
[( p v q ) ~p]

p
0
0
1
1

q
0
1
0
1

~p
1
1
0
0

=2*2=4
(p v q )
[(p v q)~p]
0
0
1
1
1
0
1
0
Contingencia

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

q
0
1
0
1

~q
1
0
1
0

22 = 2 * 2 = 4

(p q)
1
1
0
1

Tautlogia

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

Conjuncin
(P

Q)

22=2*2=4

( p q )

Contingencia

[( p r ) ( q ~ r )]

=2*2*

2 (=q 8 ~

p
0
0
0
0
1
1
1
1

q
0
0
1
1
0
0
1
1

r
0
1
0
1
0
1
0
1

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

q
0
1
0

~q
1
0
1

~r
1
0
1
0
1
0
1
0

(pr)
0
1
0
1
1
1
1
1

22 = 2 * 2 = 4

(p q)
1
1
0

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

[( p q ) ~ q]
1
0
0

Contingencia

Disyuncin
[( p q ) ( r ~ p )]
p
0
0
0
0
1
1
1
1

q
0
0
1
1
0
0
1
1

r
0
1
0
1
0
1
0
1

~p
1
1
1
1
0
0
0
0

23

=2*2*
( r ~ p ) [( p q ) ( r ~ p )]
1
1
1
1
1
1
1
1
1
1
0
0
1
1
0
1
Contingencia

(pq)
1
1
1
1
0
0
1
1

[( p q ) ~ p )]
2

p
0
0
1
1

q
0
1
0
1

=2*2=4
(pq)
[( p q ) ~ p )]
0
1
0
1
0
0
1
1
Contingencia

~p
1
1
0
0

[( p ~ q ) r ]
p
0
0
0
0

q
0
0
1
1

r
0
1
0
1

23

~q
1
1
0
0

=2*2*
( p ~ q ) [( p ~ q ) r ]
1
1
1
1
1
1
1
1

1
1
1
1

0
0
1
1

0
1
0
1

1
1
0
0

1
1
0
0
Contingencia

1
1
0
1

Implicacin

[( q r ) s]
q
0
0
0
0
1
1
1
1

r
0
0
1
1
0
0
1
1

s
0
1
0
1
0
1
0
1

23

=2*2*
(q r)
[( q r ) s]
0
1
0
1
1
0
1
1
1
0
1
1
1
0
1
1
Contingencia

[( q r ) ( ~ q r )]
q
0
0
1
1

r
0
1
0
1

(qr)
0
1
1
1

~q
1
1
0
0

22 = 2 * 2

( ~qr)
[( q r ) ( ~ q r )]
1
1
1
1
0
0
1
1
Contingenci
a

[( p ~q ) r ]

23
p
0
0
0
0

q
0
0
1
1

r
0
1
0
1

~q
1
1
0
0

=2*2*
( p ~q ) [( p ~q ) r ]
1
0
1
1
0
1
0
1

1
1
1
1

0
0
1
1

0
1
0
1

1
1
0
0

1
1
1
1
Contingencia

Equivalencia
[( q v p ) q]
2

p
0
0
1
1

q
0
1
0
1

(qvp)
0
1
1
1

=2*
[( q v p ) q]
1
1
0
1
Contingenci
a

[p ( q r )]
p
0
0
0
0
1
1
1
1

q
0
0
1
1
0
0
1
1

r
0
1
0
1
0
1
0
1

23

=2*2*
(qr)
[p ( q r )]
0
1
0
1
0
1
1
0
0
0
0
0
0
0
1
1
Contingencia

[ ~ q ( p q )]

2
p
0
0
1
1

q
0
1
0
1

~q
1
0
1
0

(p q)
1
1
0
1

=2*
[ ~ q ( p q )]
1
0
0
0
Contingencia

0
1
0
1

Teora de conjuntos
Definicin
Un conjunto es la coleccin 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 Comprensin
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 consideracin 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 sera 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 grficamente 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

AB
Re: A B

2) A C
AC=
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
AB
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
BF
Re: B F

PARTICIONES DE CONJUNTOS
Llamado tambin conjunto consiente, es una "P" de subconjunto de A, tal que:
1) Cada elemento de A pertenece a uno de los conjuntos de la coleccin.
aA
2) Que cada interseccin entre A sub 1 y A sub 2 observen ser iguales del
conjunto vaco, siendo A sub1 y Asub2 conjuntos de la particin "P"
a1 a2 =

3) Que la Unin 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 segn 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 sucesin +6

b2 = {3, 9, 15, 21...}

tiene una sucesin +6

b) 3 subconjuntos infinitos.
b1 = {0, 9, 18...}

tiene una sucesin +9

b2 = {3, 12, 21}

tiene una sucesin +9

b3 = {6, 15, 24...}

tiene una sucesin +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 segn 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 sucesin +4

b2 = {2, 6, 10, 14}

tiene una sucesin +4

3) subconjuntos infinitos.
b1 = {0, 8, 16...}

tiene una sucesin +8

b2 = {2, 10, 18}

tiene una sucesin +8

b3 = {4, 12, 20}

tiene una sucesin +8

OPERACIONES ENTRE CONJUNTOS

INTERSECCION: Sea la interseccin de A B denotada como: A B es el
conjunto que contiene aquellos elementos que estn en A y B.
Ejemplo:
A = {1,2, 5, 6}
B = {1,2,3,4}
Determinar y Graficar
AB
Re: A B

A = {0, 1, 2, 8}
B = {3, 4, 1,2}
Determinar y Graficar
AB
Re: A B

UNION: Sean A B dos conjuntos, la unin de 2 conjuntos A B es el conjunto

que contiene aquellos elementos que estn en A o bien en B o en ambos.
Ejemplo:
A= {0, 1, 2, 3}
B= {a, s, d, f}
Determinar y Graficar
AB
Re: A B

EJERCICIO
C = {0, -1, 2, 30}
D = {q, w, e, r}
Determinar y Graficar
CD
Re: C D

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

contienen aquellos elementos que estn 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

simtrica 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
AB
Re: A B

EJERCICIOS:
A= {0, 3, 6, 9}
B= {3, 2, 1,0}
Determinar y Graficar
AB

MISELAAS 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 AB
AB= {-1,-3,10}

AB

B) Determinar B=[C-D] F
B= [10,20,3/4] (3/4)

U=[C-D] F

C) Determinar ED= (E u D) - (DE)

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