Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
2
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
3
LEYES
C). A U U D). A
C). U c D). c U
E). A
C C
A F). Uc =
G). c = U H). AC A U
C). A B A B D). A B B C AC
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
4
Se define por extensión cuando se escribe una lista de todos sus elementos. Esta forma de definir
un conjunto no es práctica cuando el conjunto tiene una cantidad infinita de elementos. Por
ejemplo:
A={3,5,6,7}
Definir un conjunto por comprensión consiste en describir con una función proposicional P(x,y) los
atributos o las condiciones que cumplen sus elementos x.
Por ejemplo, el siguiente es el mismo conjunto A anterior, pero definido por comprensión :
A={xN: 3x7}
Este conjunto está definido por medio de la función proposicional P(x,y)= 3x7
A B x : x B x A
Una relación de inclusión no estricta se denota como AB y acepta la posibilidad de que A=B, en
cuyo caso se dice que A es subconjunto no propio de B.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
5
A B x B, x A
Igualdad de conjuntos:
Axioma de extensión.
Dos conjuntos son iguales si y solo si, tienen los mismos elementos:
{1,1,4,4,4,5,6,7,7} = {1,4,5,6,7}.
Cada una de las operaciones de conjuntos tiene una representación de diagrama de Venn (1880):
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
6
Definición de conjuntos.
Pregunta 1).
A A = {x N: 2 < x 5 } A= {
B A = { x N: x= 2y, y N } A= {
C A = { x N: x=2y – 1, y N } A= {
2
D A = { x R: x < 0 } A= {
2
E A = {x : x 1 = 0, x R} A= {
2
F A = {x : ( x 1) = 0, x R } A= {
3 2
G A = {x : x 2x + x = 2, x R } A= {
2 2
H A = {x : (x + 8) = 9 , x R } A= {
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
7
Pregunta 2). Describe por comprensión cada uno de los siguientes conjuntos. Considera como el
conjunto universo al conjunto N={números naturales}:
A A = {1, 2, 3, 4, 5, 6} A= {
C A = {1, 3, 5, 7, 9, . . . } A= {
D A = {2, 4, 6, 8, 10, . . .} A= {
Pregunta 3). De los conjuntos de los incisos A) al H), señala cuales son iguales entre sí .
Pregunta 4). Sea el conjunto universo U= {xN: 1x9}, y A= {1, 2, 3, 4, 5}; B= {4, 5, 6, 7}.
Describe por extensión los elementos de los conjuntos señalados:
A Ac
B Bc
C AB
D AB
E AB
F ABC
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
8
G BA
H BAC
I AB
J (AB)(AB)
K (AB)c
L AcBc
M (AB)c
N AcBc
Pregunta 5). Sea el conjunto universo U={1,2,3,4,5,6,7,8}, y los eventos A={1,2,3,5}, B={1,2,4,6},
C={1,3,4,7}, cuyos elementos se disponen como se muestra a continuación:
Define por extensión los conjuntos que resultan de las siguientes operaciones:
A). AB=
B). ABC=
C). AB=
D). (AcB)C=
E). AcB=
F). BA=
G). Ac=
H). (AB)c(BA) =
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
9
Pregunta 6). Utiliza diagramas de Venn para representar la operación de conjuntos dada en cada inciso,
y a partir de la observación del diagrama escribe en la tercera columna una operación equivalente
a la operación dada. Es probable que algunas de las operaciones de la 1ª columna sean
operaciones equivalentes de otro renglón.
Operación de
Diagrama de Venn Operación equivalente.
conjuntos.
A AB
B ABC
C BA
D BAC
E AB
F (AB)(AB)
G (AB)c
H AcBc
I (AB)c
J AcBc
c
K (AB)
C
L (BA)A
M U (AB)
N (AB) A,
C
O (A-B)B
P A(AB)(AC)]
c
Q AB
Nota: Estas equivalencias pueden servir como ejercicio para determinar cuando son necesarios y
cuando no los paréntesis. Por ejemplo ABC :
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
10
Las interpretaciones 1 y 2 son diferentes, por lo tanto demuestra la importancia del uso de signos
de agrupación.
Algebra de conjuntos.
Pregunta 7). Dados 3 conjuntos cualesquiera A,B, C. Contesta falso (F) o verdadero (V).
FoV
A BA Ac
B (AB) B=
C A = A
D A B = (AB) (AB)
G [A (BC)]C = AC (BC) C
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
11
Intervalos.
Un intervalo es un segmento de recta numérica acotado por dos valores extremos a y b, tales que
a<b , llamados límite inferior y límite superior respectivamente.
Notación de intervalos:
Un intervalo se puede definir por como un conjunto por comprensión Interv={x:ax<b} y es
equivalente a la notación [a,b).
Usar corchetes [] significa que el intervalo incluye a ambos extremos, y los paréntesis () significan
que en el intervalo no se incluyen los extremos .
Sea el símbolo “es equivalente a…”, se dan los siguientes casos de intervalos: abiertos,
cerrados o semiabiertos y sus notaciones equivalentes:
A). {x: a x b}[a, b], es cerrado por ambos extremos (incluye ambos).
B). {x: a < x < b}(a, b), es abierto por ambos extremos (no incluye ningún extremo).
C). {x: a x < b}[a, b) es semiabierto (cerrado por la izquierda y abierto por la derecha).
D). {x: a<xb}(a, b] es semiabierto, (abierto por la izquierda y cerrado por la derecha).
Cardinalidad de un conjunto.
La cardinalidad de un conjunto A se denota |A| y se refiere al número de elementos que hay en A.
Por ejemplo, la cardinalidad de A={x: x es una letra vocal}={a,e,i,o,u}, es |A|=5.
|AB|=|A|+|B|
B). Cardinalidad de AB (AB).
|AB|=|A|+|B||AB|
C).Cardinalidad de ABC.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
12
|ABC|=|A|+|B|+|C||AB||AC||BC|+|ABC|
|AB|=|A|+|B|2|AB|
Para tres conjuntos se verifica que:
|ABC|=|A|+|B|+|B|2|AB|2|AC|2|BC|+4|ABC|
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
13
n
2). i 1
Ai A
El conjunto potencia P(A) es el conjunto de todos los subconjuntos que se pueden formar con los
elementos de A.
Por ejemplo, si A={1,2,3}, entonces:
P(A)=[{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3},]
Cerradura de un conjunto.
Sea S un conjunto con una operación binaria *. Sea A un conjunto tal que A S. Entonces se dice
que A es cerrado bajo la operación *, si a, b A se cumple (a * b) A.
57=2, 2N
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
14
Clasificación de números.
Pregunta 1).
Contesta falso o verdadero a cada una de las siguientes proposiciones. P es el conjunto de los
números primos y es subconjunto propio de los números naturales, PN.
Proposición respuesta
(f, v)
A 1
Z
2
B 5 Qc
C 3
8N
D 9
Q
4
E 2 Qc
F 7 N
G 2 Qc
H 3 Q
I 4 Z
J 12/3 N
K 9P
L 11 P
M 1 R
N 2 Z
O 2 R
P 4R
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
15
Pregunta 2). Dados los siguientes intervalos numéricos en los números reales; A=[2, 4), B = (3, 8),
escribe en términos de corchetes y paréntesis el intervalo que resulta de la operación indicada en
cada inciso:
A A B
B A B
C A B
D BA
Pregunta 3). Considera los siguientes intervalos en el campo de los números reales R:
A =[3, 1), B = [1, 2]. Determina el intervalo que resulta de las siguientes operaciones
de conjuntos:
A A B
B A B
C A B
Pregunta 4). Escribe en términos de paréntesis y corchetes el intervalo que resulta de las
siguientes operaciones de conjuntos de números reales:
respuesta
A x : x 1 x : 3 x 2
B x : x 2 x : x 0
C x : 3 x 1 x : x 2
D x : 2 x 3 x : x 1
E x : 3 x 0 x : 2 x 3
Cardinalidad de un conjunto.
Pregunta 5). Sea U un conjunto universo finito que contiene a los conjuntos A y B.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
16
Pregunta 6). Deduce la cardinalidad del conjunto |ABC|, a partir de las siguientes
cardinalidad de los siguientes conjuntos:
B). ¿Cuál es la probabilidad de que un estudiante elegido aleatoriamente estudie uno de los dos
lenguajes pero el otro no?.
Pregunta 8). Una persona desayuna huevos o tocino (o ambos) durante el mes de enero. Si comió
tocino 25 mañanas y huevos 18 mañanas ¿Cuántas mañanas comió tanto huevos como tocino?
Pregunta 9).
Sean A y B dos conjuntos no mutuamente excluyentes. Se tiene que |B|=6, |AB|=14, |AB|=3.
Deduce la cardinalidad de A.
A). A(BC)
C). A(BC)
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
17
A). A (B C) =
B). (A B) (A C) =
C). (A B) C =
Partición de un conjunto.
Pregunta 14). Sea S={a,b,c,d,e,f, g}. Determina cuales de las siguientes son particiones de S.
Pregunta 16).
Sea el conjunto A ={a, b, c, d}. Determina cuál es su conjunto potencia P(A).
Pregunta 17). Sea el conjunto S={1,2,3}. Determina cuál es su conjunto potencia P(S).
Inclusión de conjuntos.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
18
E = {3, 5}
Indica cuál de estos conjuntos (A,B, … E, o ninguno) podría sustituirse en lugar del subconjunto X
que aparece en las siguientes proposiciones:
Pregunta 19). Determina si cada una de las siguientes proposiciones es falsa o verdadera.
Construye diagramas de Venn como apoyo en tu análisis.
FoV
A) A B A B
c
B) A B Ac B c
C) A B Ac B U
D) A B B A =
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
19
Ejemplo. Sean U un conjunto universo, ordenado, y A un conjunto tal que AU. Se muestran a
continuación sus funciones características:
Esta forma de “mutiplicar” no está definida en el álgebra de vectores, pero funciona para obtener
AB usando la multiplicación de filas o columnas de Excel.
Ejemplo. Sean U un conjunto universo, ordenado, y A un conjunto tal que AU. Determina el
conjunto que resulta ser AB, por medio de fAB=fA*fB , con las funciones características
siguientes:
Solución.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
20
La unión de conjuntos AB usando funciones características se hace como una suma de vectores:
fAB= fA+fB fA*fB
Ejemplo. Sean U={1,2,3}, A={3}, B={1,3}. Encuentra por medio de sus funciones características el
conjunto AB:
Solución:
Solución.
fAB=fA+fB2fAfB
Ejemplo.
Dados los siguientes conjuntos A y B, realizacon sus funciones características la diferencia
simétrica AB:
=(1,2,0,1,0,1)2[(1*0,1*1,0*0,0*1,0*0,0*1)
=(1,2,0,1,0,1)2(0,1,0,0,0,0)
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
21
=(1,2,0,1,0,1)(0,2,0,0,0,0)=(1,0,0,1,0,1)
fAB=fABc=fA*fBc
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
22
Pregunta 2). Determina cuales son las funciones características de los siguientes conjuntos:
U={a,e,i,o,u}
A={a,i,o,u} FA=
B={a,e,u} FB=
C={o,u} FC=
D={u} FD=
E={a} FE=
A). FAC= FA*FC=
B). FEC= FE+FC FE*FC=
C). FCE= FC+FE 2FC*FE=
D). F(AB)C=
E). F(AcB c) =
F). F(AB)C =
G). F(AcB c) =
Pregunta 3). Dados los conjuntos universo U, A y B y sus funciones características, realiza con estas
últimas la operación que se indica en cada inciso:
U=(1,2,3,4,5,6),
B). AB= { }
C). fAB= ( )
D). AB= { }
E). fAB= ( )
F). AB = { }
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
23
Una relación binaria R:AB, es un mapeo entre los elementos de un conjunto A (dominio) y un
conjunto B (contradominio). No siempre el contradominio es el mismo conjunto que el rango, y en
tales casos el contradominio contiene al rango.
Ejemplo. Sea R una relación R:AB, donde A={1,2,3} y B={x,y,z}, tal que:
R={(1,y), (1,z),(3,y)}
Como cualquier relación binaria R:AB, esta R es subconjunto del producto cartesiano AB,
RAB. Esta relación R se puede representar con el siguiente diagrama sagital:
Dominio A Contradominio B
Una función proposicional P(x,y) establece la regla de correspondencia que se da entre el dominio
A y el rango B.
Ejemplo. En los siguientes incisos, de la relación dada se indica la función proposicional P(x,y) que
la define:
Criterio de pertenencia.
Sea una relación binaria R={(x,y): P(x,y)}.
A). Si P(x,y)=V, entonces el par (x,y)R:
xRyP(x,y)=V
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
24
El conjunto universo de toda relación R:AB es el producto cartesiano AB. Una relación R es un
subconjunto propio RAB.
Ejemplo.
Sean los conjuntos A={1,2,3}, B={x,y,z}.
El conjunto universo de posibles relaciones R:AB es:
AB={(1,x),(1,y),(1,z),(2,x),(2,y),(2,z),(3,x),(3,y),(2,z)}
B). R={(1,y),(2,x),(2,z),(3,x),(2,z)}
C). R={(1,x),(2,x),(2,z),(3,y)}
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
25
Toda relación binaria R:AB, donde |A|=m,|B|=n, se puede representar como una matriz
de orden mn llamada matriz de adyacencia.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
26
1 si xi , y j R
( x, y )ij
0 si xi , y j R
Ejemplo. Sea el conjunto A={1,2,3,4} y la relación R:AA que se representa en el siguiente grafo
dirigido:
R= {(1,1),(1,2),(2,4),(3,2),(1,3)}
Ejemplo.
AA={(1,1),(1,2),(1,3),(2,1),(2,2,),(2,3),(3,1),(3,2),(3,3)}
1 0 1
M R 0 1 1 R={(1,1),(1,3),(2,2),(2,3)}
0 0 0
0 1 1
M S 1 1 0 S={(1,2),(1,3),(2,1),(2,2),(3,2)}
0 1 0
Con estas relaciones se construyen los ejemplos de las operaciones que se definen a
continuación.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
27
Se obtiene la matriz MRc del complemento RC de una relación R, intercambiando los 1 por 0 y
viceversa. Esto se logra por medio de la diferencia relativa de los conjuntos UR:
M RC M U M R
Ejemplo.
R={(1,1),(1,3),(2,2),(2,3)}, S={(1,2),(1,3),(2,1),(2,2),(3,2)}
En el universo:
AA={(1,1),(1,2),(1,3),(2,1),(2,2,),(2,3),(3,1),(3,2),(3,3)}
1 1 1 1 0 1 0 1 0
M RC 1 1 1 0 1 1 1 0 0
1 1 1 0 0 0 1 1 1
MU MR M
Rc
De acuerdo con los 1 de la matriz MRc se tienen los siguientes elementos en el conjunto
complemento RC de la relación R:
1 1 1 0 1 1 1 0 0
MSC 1 1 1 1 1 0 0 0 1
1 1 1 0 1 0 1 0 1
C
MU MS MS
De acuerdo con los 1 de la matriz MSc se tienen los siguientes elementos en el conjunto
complemento SC de la relación S:
Sc={(1,1),(2,3),(3,1),(3,3)}
Definición: R1={(b,a):(a,b)R}
M R 1 M R
T
Ejemplo.
R={(1,1),(1,3),(2,2),(2,3)}, S={(1,2),(1,3),(2,1),(2,2),(3,2)}
en el universo:
AA={(1,1),(1,2),(1,3),(2,1),(2,2,),(2,3),(3,1),(3,2),(3,3)}
M R 1 M R
T
S1={(2,1),(3,1),(1,2),(2,2), (2,3)}
1 0 1 0 1 1 S
1* 0 0 *1 1*1 0 0 1
M R 0 1 1 M S 1 1 0
, R
M 0 *1 1*1 1* 0 0 1 0
RS
R={(1,1),(1,3),(2,2),(2,3)}, S={(1,2),(1,3),(2,1),(2,2),(3,2)}
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
29
1 0 1 0 1 1 S 1 0 0 1 1 1 1 1 1
M R 0 1 1 M S 1 1 0
R
M RS 0 1 1 1 1 0 1 2 1
0 0 0 0 1 0 0 0 0 1 0 0 0 1 0
M RS
R={(1,1),(1,3),(2,2),(2,3)}, S={(1,2),(1,3),(2,1),(2,2),(3,2)}
En una matriz de adyacencia las componentes diferentes de cero, indican que el par
ordenado que corresponde a esa posición de la matriz sí sí está en el conjunto.
Ejemplo. Sean los conjuntos A = {1,2,3} y B = {1,2,3,4} y las relaciones R:AB y S: AB, cuyas
matrices de adyacencia se dan a continuación:
R:AB, R={((1,1),(1,2),(1,4),(2,4),(3,1),(3,2),(3,3)},
S:AB, S={(1,2),(1,3),(2,1),(2,4),(3,1),(3,2)}
1 1 0 1 0 1 1 0
M R 0 0 0 1 M S 1 0 0 1
,
1 1 1 0 1 1 0 0
Escribe la matriz de adyacencia que corresponde a la operación de conjuntos que se indica en cada
inciso.
A) Sc =
B) RS =
C) RS = D) R-1
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
30
1 0 1 0
0 0 1 0
B). M R
1 0 0 0
1 1 0 1
Pregunta 2). Describe por extensión los elementos de las relaciones R:AA que se representan en los
siguientes grafos dirigidos. Las pequeñas letras en las aristas del grafo del inciso B), representan
cierta escala del grado o frecuencia de conexión entre los nodos:
A). B).
A). R=
B). R=
Pregunta 3). Sean R y S relaciones R:AB y S:AB con A = {1,2,3, 4} y B = {1,2,3}. Dadas las matrices
MR y MS, escribe el conjunto de elementos que resultan de las operaciones indicadas en cada
inciso.
1 2 3 1 2 3
1 1 0 1 1 0 1 0
Matrices de adyacencia: ,
MR 2 0 1 1 MS 2 1 0 1
3 0 1 0 3 1 0 1
4 1 0 1 4 1 1 1
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
31
Escribe el conjunto que resulta de las operaciones indicadas en la matriz de adyacencia de cada
inciso:
Pregunta 4). Sean el conjunto A={1,2,3, 4} y las relaciones R y S tales que R:AA y S:AA, donde:
Escribe las matrices de adyacencia del conjunto que se indica en cada uno de los siguientes incisos:
A). MR
B). MS
C). MRS
D). MRS
E). MR1
F). MSc
Pregunta 5). Sean los conjuntos A={1,2,3} y B={x,y} y las relaciones R:AB y S: AB, tales que:
A={1,2,3}, B={x,y}.
A). R=
B). Rc=
C). R-1=
D). S=
E). Sc=
F). S-1=
G). S=
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
32
FoV
1 1
A Si RS, R S
B Si RS, Rc Sc
C (RS)1= R1 S1
D (RS) C R CSC
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
33
Sean dos relaciones R: AB y S: BC, que tienen en común el conjunto B, B es rango de la
relación R y es dominio de la relación S.
Es posible mapear elementos desde A hasta C mediante la composición RS.
R: AB={(a,b):aA bB}
S: BC={(b,c):bB cC}
La composición de las relaciones S y R se denota SR, en el orden inverso a como aparecen los
conjuntos en el diagrama sagital.
Ejemplo. Sean los conjuntos A ={1, 2, 3, 4}, B={a, b, c, d}, C={x, y, z}. Con estos se definen las
siguientes relaciones R y S:
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
34
De este diagrama es posible determinar los elementos de SR, con los pares (a,c) que
logran una conexión desde el conjunto A hasta el conjunto C:
RS={(2,z),(3,x),(3,z)}
Pregunta 2).
Pregunta 3). Sea el conjunto A={1,2,3,4} y las relaciones S:AA y T:AA, con los siguientes pares
ordenados:
R={(1,1),(1,2),(2,3),(2,4),(3,4),(4,1),(4,2)}, S={(3,1),(4,4),(2,3),(2,4),(1,1),(1,4)}
A). MR°R=
B). R°R=
C). MR°S=
D). R°S=
E). MS°R=
F). S°R=
G). MS°S=
H). S°S=
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
35
1). Reflexiva.
Una relación R: AA es reflexiva ssi (x,x) R x A.
2). Simétrica.
Una relación R: AA es simétrica si (x,y) R entonces (y,x) R
M R 1 M R
T
3). Asimétrica.
Una relación R: AA es asimétrica ssi (x,y) R: xy, entonces (y,x) R.
4). Antisimétrica.
Una relación R: AA es antisimétrica si (x,y), (y,x) R, ssi x=y.
Es decir, si no existen pares (x,y) y (y,x) tales que xy.
Los términos simétrica y antisimétrica no son opuestos, una relación puede tener ambas
propiedades o carecer de ambas.
5).Transitiva.
Una relación R en un conjunto A es transitiva si (x,y), (y,z) R entonces (x,z) R.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
36
Ejemplo.
A). La relación de inclusión AB es una relación de orden ya que satisface las siguientes
propiedades:
Una relación R sobre un conjunto A se dice que es de orden estricto si es asimétrica y transitiva.
Ejemplo.
A). La relación x<y es de orden no estricto.
Respuesta:
Relación reflexiva simétrica asimétrica antisimétrica transitiva
A R1
B R2
C R3
D R4
E R5
F R6
G R7
H R8
I R9
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
37
Pregunta 2).
Contesta F o V. Justifica el porqué de tu respuesta en cada inciso, con un ejemplo para los casos V
y un contraejemplo para los casos F.
Proposición. F o V. Ejemplo o
contraejemplo.
A Una relación R es simétrica si RR-1
Pregunta 4).
Clasifica las siguientes relaciones en términos de los tipos definidos en los apartados I a IV
anteriores.
A La relación de igualdad
B La relación de inclusión propia de conjuntos,
AB.
C La relación de inclusión no propia de
conjuntos, AB.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
38
Pregunta 5). Sean el conjunto A ={1,2,3}, y las siguientes relaciones de A en A; R ={(1,1),(1,2),(2,1), (2,2),
(2,3), (3,3)}, S= {(1,1),(1,2),(2,2),(3,1),(3,2), (3,3)}, T={(2,1),(2,3),(3,2),(3,3)}. Verifica con estas
relaciones los incisos del siguiente teorema.
Pregunta 6). Sean A ={a,b,c}, R ={(a,a),(a,b),(b,a), (a,c), (c,a)}. Verifica el siguiente teorema.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
39
1). x 6
2). 3x11
3). Sara es mayor de 18 años
4). Sara tiene credencial para votar.
Variable proposicional.
Una variable proposicional es una letra que representa una proposición que se puede calificar
como “verdadera o falsa”.
Ejemplo.
Se definen las variable proposicionales p y q como:
p= Sara tiene credencial para votar
q=Sara es mayor de 18 años
La forma sentencial (cadena de símbolos) pq se interpretaría como:
“Si Sara tiene credencial para votar, entonces Sara es mayor de 18 años”
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
40
En una tabla de verdad se presentan todas las combinaciones F-V de las proposiciones que
conforman una proposición compuesta.
Si la proposición compuesta consta de n proposiciones simples entonces la tabla tendrá 2n
renglones:
Número de renglones=2n, n=número de proposiciones
A). La negación, p.
Negación
p p
1 0
0 1
B). La conjunción, pq.
Variables CONJUNCIÓN
proposicionales.
p q pq
1 1 1
1 0 0
0 1 0
0 0 0
Variables DISYUNCIÓN
proposicionales.
p q pq
1 1 1
1 0 1
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
41
0 1 1
0 0 0
D). La implicación (proposición condicional), pq.
“Si a todos los gatos les gusta el hígado y Chito es un gato, entonces a Chito
le gusta el hígado”.
Variables
proposicionales. BICONDICIONAL
p q pq
1 1 1
1 0 0
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
42
0 1 0
0 0 1
Dos proposiciones son equivalentes cuando ambas tienen el mismo vector de verdad.
Por ejemplo las proposiciones pq y qp son equivalentes:
Ejemplo). Dadas las siguientes variables proposicionales, E, F,G y H, escribe la forma sentencial
que corresponde a la proposición compuesta (molecular) dada en cada inciso:
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
43
Ejemplo). Escribe en lenguaje ordinario y con palabras ordinarias lo que representa la expresión
simbólica dada en cada inciso, con las siguientes proposiciones simples:
Son aquellas que tienen el mismo vector de verdad ante todas las combinaciones posibles de F-V
de sus proposiciones simples.
Por ejemplo, adoptando la notación V=1, F=0, las proposiciones en rojo son equivalentes entre sí
porque tienen el mismo vector de verdad ante un mismo orden de todas las combinaciones FV
de las proposiciones p y q:
p q (pq) Tautología:
(pq) p
1 1 1 1
1 0 0 1
0 1 0 1
0 0 0 1
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
44
p q p q pq
1 1 0 0 0
1 0 0 1 0
0 1 1 0 1
0 0 1 1 0
p q p pp
1 1 0 0
1 0 0 0
0 1 1 0
0 0 1 0
Pregunta 2). Escribe en lenguaje ordinario y con palabras ordinarias lo que representa la expresión
simbólica dada en cada inciso, con las siguientes proposiciones simples:
A). ( H F) G
B). ( E H) F G
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
45
Pregunta 3). Escribe en forma simbólica las siguientes proposiciones dadas en lenguaje ordinario.
Utiliza variables proposicionales como J para jueves, L para lunes, etcétera.
Pregunta 4. En cada inciso se indica el tipo de conectivo lógico que se espera sea el principal. Coloca
los paréntesis necesarios para que así sea.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
46
Tablas de verdad.
[ A (X Y) ]
Proposición:
Respuesta:
Pregunta 6).Determina el valor de verdad de las siguientes proposiciones compuestas, con los
siguientes valores de verdad para las proposiciones simples A,B=1 y X,Y=0:
Pregunta 7). En los siguientes incisos, si se trata de un par de proposiciones determina si son
estas son equivalentes. Si se trata de una sola proposición determina si es tautológica,
contingente o contradictoria:
1 (pq) y ( pq)
2 p(qr) y (pq)(pr)
3 pq y pq
4 ((pq) p) y p
5 (pq) y (pq)( qp)
6 [(pq)r] y ((pq)r)
7 [(pq) q]q
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
47
8 ((pq) q)p
9 ((pq) p)p
10 p[(qr)( s)] y p (qr) (ps)
11 p (q r)
12 (pq)(pr)
13 (p q) (pr)
14 [(pq)(qp)]pq
15 (pq)(qp)
16 (pq) y pq
17 (pq) y pq
18 (pq) q y [(pq) q]
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
48
Introducción.
En la práctica de la ARGUMENTACIÓN es importante contar con alguna herramienta de
diagnóstico que permita determinar si la estructura de un argumento (premisas y
conclusión) tiene validez lógica o no. Un argumento que es válido en su forma, nunca va a
tener una instancia de sustitución de premisas verdaderas con conclusión falsa.
Todo argumento formalmente válido tiene conclusión verdadera cuando las premisas son
verdaderas. Es labor de la investigación científica determinar si algunas proposiciones de
interés son verdaderas o no.
Falacias.
Los argumentos que no son formalmente válidos se llaman falacias. Se dividen en:
Argumentos.
Un argumento es un razonamiento que consiste en una serie de proposiciones llamadas
premisas, cuyas afirmaciones contribuyen a sustentar una conclusión.
Ejemplo.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
49
Una tabla de verdad consiste en el número total de combinaciones posibles de los valores
de verdad F o V de las premisas y la conclusión.
En la primer columna, se escriben la mitad [2n]/2 con V y la otra mitad con F, en la segunda
columna [2n]/4 con V y la otra mitad con F, y así sucesivamente.
Por ejemplo, si un argumento tiene 3 proposiciones simples, su tabla de verdad tendrá 23=8
renglones, como el siguiente:
Proposición.
No. de p q r (pq)r
combinaciones
1 1 1 1
2 1 1 0
3 1 0 1
4 1 0 0
5 0 1 1
6 0 1 0
7 0 0 1
8 0 0 0
“Si en un renglón que tenga todas las premisas verdaderas, la conclusión es falsa, es suficiente
para declarar el razonamiento como inválido”.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
50
Chomsky ha sugerido que “Si los simios pueden utilizar el lenguaje, también lo
usarían en la naturaleza. No lo usan. Por lo tanto, no pueden utilizar el lenguaje”.
Para escribir esta forma sentencial cada punto en el texto representa el final de
una proposición, que en este caso es una premisa.
1 1 1 0 0
1 0 0 1 0
0 1 1 0 1
0 0 1 1 1
Solo se tiene una instancia de sustitución con premisas son verdaderas y en ella la
conclusión también resulta verdadera, por lo que el argumento se considera válido.
Ejemplo.
Verifica por medio de una tabla de verdad si este argumento es válido o no:
Solución:
Se definen las siguientes proposiciones simples:
r: tener pulmones
Se observa que, en todos los casos donde las premisas son verdaderas la conclusión
también es verdadera. No hay ningún caso de premisas verdaderas y conclusión falsa.
Por lo tanto, el razonamiento es válido.
Ejemplo. Los argumentos válidos con premisas falsas tienen conclusión falsa también:
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
52
(VH) (VD)
V V/ H D
Con tres proposiciones se tienen 23=8 renglones en la tabla de verdad. En la siguiente tabla de
verdad se señalan en rojo las instancias de sustitución de premisas verdaderas, y en todos los
casos la conclusión también es verdadera:
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
53
Pregunta 1). Escribe en su forma sentencial el argumento de cada inciso y construye una tabla de
verdad para determinar mediante una instancia de sustitución de premisas verdaderas con
conclusión falsa si el argumento es válido o no.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.
54
J).
Si yo fuera su mujer y usted fuera mi marido, entonces
yo nunca dejaría de amarlo. Yo he dejado de amarlo.
Por lo tanto, yo no soy su mujer o usted no es mi marido.
Dalmiro García Nava. Dpto. de Matemáticas. CUCEI. UdG.2021-A. Obra sin fines de lucro.