Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebra Cap1
Algebra Cap1
INGENIERA CIVIL
INGENIERA ELCTRICA
ELECTRNICA Y TELECOMUNICACIONES
LGEBRA
NIVELACIN
CAPTULO 1
MARZO
2014
Estudiaremos varios aspectos o principios bsicos que nos permitan alcanzar con facilidad y
comprensin nuestros objetivos.
PRINCIPIOS BSICOS
Definicin intuitiva de conjunto.- Es la reunin o coleccin de objetos bien definidos, sean estos
fsicos o abstractos.
Objetos fsicos.- Son aquellos que se pueden tocar, como: personas, libros, vehculos; cosas en
general.
Objetos abstractos.- Son aquellos de los cuales se tienen nicamente una idea, como: das de la
semana, letras del alfabeto, nmeros, etc.
Ejemplos de conjuntos:
1. El conjunto formado por los alumnos: Luis, Juan, Carlos del primer ao A de Ingeniera.
2. El conjunto formado por los libros de Fsica, Geometra y Anlisis.
3. El conjunto formado por las vocales.
4. El conjunto formado por los das de la semana.
5. El conjunto formado por los nmeros naturales.
A los conjuntos se los nombra con letras maysculas indistintamente.
Los objetos que forman los conjuntos, son los elementos del conjunto y se los representan con letras
minsculas o nmeros.
Para los ejemplos colocados antes, se puede tener como:
1. A = { l, j, c }
4. D = { l, m, n, j, v, s, d }
2. B = { f, g, a }
3. C = { a, e, i, o, u }
Cardinalidad de un conjunto: Se obtiene comparando los elementos de un conjunto dado con los
elementos del conjunto de los nmeros naturales, y el ltimo elemento correspondiente al conjunto de
los nmeros naturales da la cardinalidad del conjunto. Es decir es simplemente el nmero de elementos
del conjunto. Y se representa as: n(...) ; donde entre los parntesis ir el nombre del conjunto. As para
nuestros ejemplos anteriores:
n(A)= 3
n(B)=3
n(C)=5
n(D)=7
Cuando un elemento est en un conjunto, se dice que pertenece a ese conjunto as para el ejemplo 3. el
elemento a pertenece al conjunto C y se representa a C , y cuando no est en el conjunto se dice que no
lo pertenece, as el elemento f para el ejemplo 3. no pertenece al conjunto C y se representa del modo
siguiente f C, nicamente tachando el smbolo usado anteriormente.
Propiedades Caractersticas de un conjunto:
Los conjuntos se pueden definir por:
1. Tabulacin o extensin.- Se define un conjunto por extensin o tabulacin cuando sus elementos
van separados por comas y encerrados entre llaves; como ya se indic en los ejemplos anteriores.
2. Comprensin o Construccin.- Un conjunto est definido por construccin o comprensin,
cuando se dan las caractersticas o propiedades que deben cumplir los elementos del conjunto. Y se
representa as:
A= { x / x.... }
Ejemplos:
C={ x/x sean las vocales } n(C)=5
D={ x/x sea un da de la semana }
D={ l, m, n, j, v, s, d } n(D)=7
E={ x/ -3 x < 4, x I}
E={ -3, -2, -1, 0, 1, 2, 3 } n(E)=7
I Nmeros enteros
H={x/-2<x5, x N}
H={ 1, 2, 3, 4, 5 } n(H)=5
N Nmeros naturales
K={x/-2<x5, x R}
R Nmeros reales
K= (-2,5] Intervalo semiabierto por la izquierda. n(K)= no se puede determinar.
CLASES DE CONJUNTOS
Conjunto Finito: Es aquel que tiene un nmero definido de elementos; el que tiene cardinalidad; es
decir se conoce con exactitud el nmero de elementos que lo compone. Ejemplos:
A = { x/x sean letras del alfabeto }
B = { 1,2,3,12'000.000 }
C = { x / x sea habitante de la Tierra }
Conjunto Infinito: Es aquel que no posee un nmero definido de elementos; el que no tiene
cardinalidad; es decir no se puede determinar el nmero de elementos que lo compone. Ejemplos:
N = Conjunto de los nmeros naturales.
D = { x/x sean estrellas del universo }
Conjunto Vaco: Es aquel conjunto que carece de elementos; y se representa:
Por Tabulacin: = { }, y
Por Comprensin: = {x/xx}
Ejemplo:
E = {x/ 3<x<4, xN } ; lo cual da por tabulacin E =
H = {x/ x, sean letras del alfabeto, anteriores a la letra A }
F = {x/ x2 = 9 y x sea par } ; definiendo por tabulacin ser F =
Conjunto Universo: Es aquel que tiene como elementos, los elementos de otros conjuntos, y su
smbolo es U.
Ejemplo:
A = {x / -5x0, x I}, por extensin es A = { -5, -4, -3, -2, -1, 0 } , n(A)=6
B = {x / -3x<5, x I} , por extensin es B = {-3, -2, -1, 0, 1, 2, 3, 4 } , n(B)=8
3
1
C = { 2, -8, -6, 2 , -9, 7,11,13 } , n(C)= 8
Luego podemos tener, de acuerdo al problema que se est analizando o resolviendo varios universos; a
continuacin colocamos dos de ellos. Los cuales tambin podemos representarlos con subndices.
1
U1 = { -9, -8, -6, -5, -4, -3, -2, -1,0, 2, 1, 2 , 2,3,4,7,11,13 }, n(U1)=18
U2 = { -9, -8, -6, -5, -4, -3, -2, -1,0, 2, 1, 2, 2,3,4, 5,6, 7, 8,9,10,11,13 }, n(U2 )=23
1
2
3
5
=
7
11
13 }
2.- Pero si relacionamos A con C ; se tiene que, a pesar que la cardinalidad de los dos conjuntos son
idnticas, las siguientes caractersticas que los diferencia, as:
2 y 2
} ; entonces como consecuencia de esto A C
15 y 15
Los siguientes son varios conjuntos numricos que se usan con mucha frecuencia en nuestro estudio:
N= {1,2,3,4,.}
Nmeros enteros.
I ={....-3,-2,-1}
Enteros negativos.
D={0, 1,2,3,4,...}
Enteros no negativos.
Q = { x / x sea igual a , b0 }
Np
Q
Nmeros primos.
Nmeros racionales.
Q= { x / x , b0 }
Nmeros irracionales.
Nmeros reales.
C
Nmeros complejos.
2. Conjuntos equivalentes: Dos conjuntos A y B son equivalentes cuando todos los elementos del
conjunto A se ponen en correspondencia uno a uno con todos y cada uno de los elementos del conjunto
B.
A dicha correspondencia de elementos de uno a uno se la conoce como correspondencia biunvoca.
Ejemplo:
Se da el conjunto A={x/ x sea I+ impar 11}; que expresado por tabulacin ser:
A = { 1,3,5,7,9,11 }, n(A)=6 , y el conjunto B = { a, b, c, d, e, f } con n(B)=6.
La correspondencia entre los elementos del conjunto A y del conjunto B se puede establecer del
siguiente modo:
A
1 3 5 7 9 11
a b c d e f
Las flechas indican la correspondencia entre los elementos de los dos conjuntos; pueden haber otras
correspondencias uno a uno entre los elementos dados de los conjuntos A y B.
Como los elementos del conjunto A si estn en correspondencia uno a uno con los elementos del
conjunto B; se dice que los dos conjuntos son equivalentes, y se representa simblicamente de la
siguiente manera:
A ~ B. Si no se presenta la correspondencia indicada, entonces se representa de la siguiente forma:
A B ; que se lee: el conjunto A no es equivalente al conjunto B.
RELACIONES DE INCLUSIN
3. Subconjunto ( o Subconjunto Impropio ): Un conjunto A es subconjunto de otro conjunto B
cuando todos los elementos del conjunto A estn en el conjunto B.
Ejemplo:
Dados los conjuntos: A = {x/ 5x11 , x I + impares } que
expresado por extensin es A={ 5, 7, 9, 11 } con n(A)=4 , y
B={ 11, 9, 7, 5}, con n(B)=4
Entonces se tiene que:
5
7
9
11
y
y
y
y
5
7 Luego ; que se lee:
}
9
es subconjunto de .
11
Cuando no ocurre lo indicado antes, entonces se dice que A no es subconjunto del conjunto B; y se lo
representa as: A B.
Para el caso del ejemplo que se est analizando se tiene adems que: tanto A B como B A , entonces
se concluye que A y B son iguales.
Luego, entonces: A = B , si y solo si A B y B A.
4. Subconjunto Propio: El conjunto A es subconjunto propio de otro conjunto B si y solo si estos
conjuntos cumplen con las siguientes condiciones:
1. A B , y
2. n(A) n(B) ;
Es decir; que el conjunto A es subconjunto o subconjunto impropio del conjunto B y que adems la
cardinalidad del conjunto A sea distinta de la cardinalidad del conjunto B, entonces como
consecuencia, y simblicamente se representa as: A B , que se lee: El conjunto A es subconjunto
propio del conjunto B. O tambin se dice que el conjunto B es superconjunto del conjunto A, y se lo
representa as: B A.
Tambin, esto que se ha indicado en las lneas de arriba, se lo aplica para el caso del numeral 3.
Ejemplo:
Dados los conjuntos A y B , analizar la relacin de inclusin propia entre ellos.
Donde:
A={ x / x 10, x I+ pares } , que definido por tabulacin es A={ 2, 4, 6, 8, 10 } , con n(A)=5 y,
B={ 2, 4, 6, 8, 10, 12 } , con n(B)=6.
Realizando el anlisis tenemos que:
1. A si es subconjunto de B , que se indica como A B , y
2. La cardinalidad n(A)=5 es distinta de la cardinalidad n(B)=6, entonces como consecuencia se
tiene que el conjunto A si es subconjunto propio del conjunto B, es decir A B B A.
Conclusiones:
1. El conjunto vaco es subconjunto de todo conjunto.
2. El conjunto vaco es subconjunto de s mismo, pero no es subconjunto propio de s mismo; es
decir si se cumple , pero no se cumple que , entonces .
3. Cualquier conjunto A es subconjunto de s mismo, A A ; pero no es subconjunto propio de s
mismo, A A .
4. Si A B A B , se dice entonces que los dos conjuntos A y B son comparables.
5. Conjunto Potencia: Es aquel conjunto que tiene como elementos todos los subconjuntos que se
pueden formar con los elementos de un conjunto dado.
As, si analizamos para varios conjuntos con distinto nmero de elementos, tenemos el siguiente cuadro:
Nombre N de elementos
SUBCONJUNTOS
Conclusin
A
B
C
1
2
3
, {1}
, {a}, {b}, {a,b}
,{1},{3},{5},{1,3},{1,5},{3,5},{1,3,5}
21
22
23
....................
24
....................
25
....................
2n
A = {1,3,5,7} , n(A) = 4
B = {2,4,6,7,9} , n(B) = 5
-5
-3
1 -1 3
1 3 -1
-3 -5
3
-3
1 -5
-1
Si, se tiene adems un Universo U = {-6, -5, -3, -2, -1, 1, 2, 3 } n(U) = 8 ; la representacin, mediante
diagrama de Venn - Euler, ser:
A
3
-2
-3
1 -5
-1
Siempre A U
-6
ANLISIS DE REGIONES
1. Un Conjunto:
U
A
R1
R2
-3
0 -1 -2
3 2
4
51
-3
-4
-5
A
0 -1 -2
3 2
4
51
-4
6
7
B
Anlisis de Regiones:
B
R2 R1 R3
R4
A
R1
B
R2 R3
b) A B
A
R1 R 2 R
3
B
R2
R3
R4
R1
Anlisis de Regiones
Tres conjuntos:
A={x/ x20; x I + Pares} ; 1). A={2,4,6,8,10,12,14,16,18,20}
B={-3,-2,-1,2,3,4,6,8,10,21,23}
C={ 4,8,12,16,20,24,28,32,-3,-1}
2). Elementos comunes entre
Elementos comunes entre
Elementos comunes entre
Elementos comunes entre
n(A)=10
n(B)=11
n(C) =10
A y B={2,4,6,8,10}
A y C={4,8,12,16,20}
B y C={ 4,8,-3,-1}
A, B y C={4,8}
3). Grfico:
A
14
-2
6 10 21
18
4
8 -3
16
-1
20 12
28
32
24
3
23
C
Anlisis de Regiones:
A
R5
R3
R2
R6
R1
R4
R7
C
R8
n(C)=7
D={a, b, c}
n(D)=3
E= {o, p, q, r}
n(E)=4
1) Definir los conjuntos: Si los conjuntos estn dados por construccin, se deben definir por tabulacin
o extensin; como es el caso de los conjuntos A y B, para el ejemplo.
2) Anlisis entre ellos:
1
2
3
4
A B B y C son disjuntos C y D son disjuntos
D y E son disjuntos
AC
BD
C y E son intersecantes
A D B y E son disjuntos
AE
AB
AC
C
AD
AE
BD
D
B
F
C
E
1) Relaciones de inclusin entre los conjuntos.
A y B Inters.
AC
AD
AE
AF
A y G Disj.
BC
B y D Inters.
B y E Inters.
B y F Inters.
BG
C
C
C
C
y
y
y
y
D Disj. D y E Inters.
E Disj. D F
F Disj. D y G Disj.
G Disj.
2) Representacin Grfica:
A
D
E
C
F
E y F Disj.
E y G Disj.
F y G Disj.
PROPOSICIONES
Definicin: Es una expresin con sentido completo, en un lenguaje cualquiera, que afirma o niega algo
y da una informacin, la cual puede ser verdadera o falsa.
Clases de Proposiciones
Se tienen proposiciones cerradas y proposiciones abiertas; a continuacin tratamos cada una de ellas.
Proposiciones Cerradas: Una proposicin cerrada, es una expresin numrica u oracin gramatical de
la cual se puede decir en forma inmediata si ella es verdadera o es falsa.
Ejemplo:
2+5=7
Quito es la capital de Colombia
Estas expresiones, son proposiciones cerradas, ya que se pueden decir automticamente si cada una d
ellas es verdadera o es falsa. As la primera proposicin ser verdadera, mientras que la segunda ser
falsa.
Representacin: A las proposiciones cerradas se las representa o se las nombra con letras minsculas
(cualquier letra del alfabeto), pero por lo general se emplean las letras p, q, r, s, t, u, v,... etc.
Con esto, para nuestros ejemplos indicados arriba, tendramos que la una podra llamarse p, y la otra q,
como indicamos a continuacin; pero siempre luego del nombre este debe ir acompaado con dos
puntos; as:
p: 2 + 5 = 7
q: Quito es la capital de Colombia.
A toda proposicin cerrada se le llama tambin simple y a las letras que las representan se les llama
valores o letras proposicionales.
Valor de verdad de una proposicin: A la veracidad o falsedad de una proposicin, se le conoce como
valor de verdad de la proposicin; y este puede ser verdadero o falso, pero nunca las dos al mismo
tiempo; y se representa de la siguiente manera:
VV = V Que se lee: El valor de verdad es verdadero,
VV = F Que se lee: El valor de verdad es falso.
As, para las proposiciones de nuestro ejemplo citado ms arriba se tendra:
p: 2 + 5 = 7
VV = V
q: Quito es la capital de Colombia
VV = F
Proposiciones Abiertas: Son aquellas oraciones gramaticales o expresiones numricas de las cuales no
se pueden decir inmediatamente si son verdaderas o son falsas, sino que hace falta ciertas caractersticas
o propiedades para poder definirlas.
Una proposicin abierta est formada por smbolos que se conocen unos como variables y otros como
constantes, que ms abajo los definiremos.
Ejemplos:
px: x + 4 = 7
qx : x2 + 5x +2 = 0
rx: x2 36 = (x + 6)(x 6)
sy: y2 3y 2 < 0
tx,y: x2y2 3xy + 2x y 3 = 0
ux : x es presidente del Ecuador.
10
Representacin: A las proposiciones abiertas se las representa con letras minsculas cualesquiera,
acompaadas de un subndice que se llama la variable de la proposicin abierta; as: px, qx, ... etc, o py,
qy, ... etc., como se indican en los ejemplos previos; que se leen: p sub x, q sub x, p sub y, q sub y. Si
empleamos un subndice como x , o y o z o cualquier otro, que es la variable. Si empleamos dos
subndices como es el caso de la proposicin que se observa en los ejemplos, se leer: la proposicin t
sub x,y , donde tanto x como y son variables de la misma proposicin.
Variable: Son smbolos que aparecen en las proposiciones abiertas y estos pueden ser reemplazados por
un elemento cualesquiera de un conjunto que se conoce como el Conjunto Satisfactor. Y pueden ser
nombradas con las ltimas letras del alfabeto como x, y, z,... etc.
Si en una proposicin abierta aparece varias veces la misma variable, sta debe ser reemplazada por el
mismo elemento que se tome del conjunto satisfactor.
Constante: Son elementos fijos de un conjunto determinado, y este conjunto generalmente es un
conjunto numrico; y se las nombra comnmente con las primeras letras del alfabeto.
Para que tenga sentido, lgica y se pueda estructurar adecuadamente lo que se est estudiando de las
proposiciones abiertas, debemos definir este nuevo conjunto que se ha introducido al definir la variable,
que es el de conjunto satisfactor.
Conjunto Satisfactor: Es el conjunto que tiene como elementos todos los valores que pueden tomar las
variables de una proposicin abierta, y este conjunto puede ser cualquier conjunto, que se puede llamar
como A, o el conjunto universo U.
As para nuestros ejemplos que se han colocado ms arriba, podemos tomar como un conjunto
satisfactor el siguiente:
A={-6,-3,0,1,2,3,4,6}
con n(A)=8
Para P(x) : P de x
Para Q(x): Q de x, .... etc.
Para P(y): P de y
Para Q(y): Q de y, ... etc. , y
Para P(x,y): P de x,y
Para Q(x,y): Q de x,y,.... etc.
En nuestro estudio consideraremos nicamente formas o funciones proposicionales con una sola
variable.
Conclusin: Si reemplazamos los valores o elementos del conjunto satisfactor por las variables de una
proposicin abierta, sta se transforma en una Forma Proposicional, que ser una proposicin cerrada
para cada elemento del conjunto satisfactor, y se puede decir inmediatamente si es verdadera V,o falsa F.
11
Ejemplos:
Analizamos las proposiciones abiertas dadas antes px, qx y rx con una sola variable, y dado el
conjunto satisfactor A , que se indica ms arriba.
Entonces se tiene ; La forma proposicional:
P(x): x + 4 = 7 donde para cada valor o elemento del conjunto satisfactor, tenemos:
P(-6): -6 + 4 = 7
P(-3): -3 + 4 = 7
P(0): 0 + 4 = 7
P(1): 1 + 4 = 7
P(2): 2 + 4 = 7
P(3): 3 + 4 = 7
P(4): 4 + 4 = 7
P(6): 6 + 4 = 7
VV = F
VV = F
VV = F
VV = F
VV = F
VV = V
VV = F
VV = F
Contingencia
Ahora para la siguiente proposicin abierta P(x): x2 + 3 = 12 , acompaada del siguiente conjunto
satisfactor A= {-4, -3, -2, 0, 3, 5} n(A)= 6 ; es decir para la forma proposicional: (P(x): x2 + 3 = 12 ,
A= {-4, -3, -2, 0, 3, 5} ).
P(-4): (-4)2 + 3 = 12
P(-3): (-3)2 + 3 = 12
P(-2): (-2)2 + 3 = 12
P(0): (0)2 + 3 = 12
P(3): (3)2 + 3 = 12
P(5): (5)2 + 3 = 12
19 = 12
12 = 12
7 = 12
3 = 12
12 = 12
28 = 12
VV = F
VV = V
VV = F
VV = F
VV = V
VV = F
Contingencia
A continuacin analicemos adems las formas proposicionales, Q(x) y R(x), para el conjunto
satisfactor del ejemplo anterior:
Contradiccin
Tautologa
Q(x): x2 + 7x + 3 = 0
R(x): x2 25 = (x + 5)(x 5)
R(- 3):
R(- 2):
3 = 0 VV=F
R( 0 ):
Q( 3 ): 9 + 21 +3 = 0 33 = 0 VV=F
R( 3 ):
Q( 5 ): 25 + 35 +3 = 0 63 = 0 VV=F
R( 5 ): 25 25 = (10)(0)
Q( 0 ): 0 + 0 +3 = 0
0=0
VV = V
VV = V
Cuando en una proposicin todos los valores de verdad son verdaderos se llaman identidad y esto
ocurra en todos los casos de factoreo.
Si dos proposiciones (funcin proposicional) tienen el mismo conjunto de verdad se dice que dichas
proposiciones son equivalentes. As si P = Q entonces: P(x) Q(x); p q ; P(x)Q(x); p q
12
Conclusin
El conjunto satisfactor puede con sus elementos aplicados en la proposicin darnos los valores de verdad
que son: o todos falsos o todos verdaderos o mesclados entre falso y verdadero.
Cuando en las proposiciones abiertas se reemplazan todo los elementos del conjunto satisfactor se
obtiene siempre VV = V estos se llaman identidades.
Conjunto de verdad: (Validez o solucin) es aquel conjunto que tiene como elementos aquellos del
conjunto satisfactor que hacen verdadera a la funcin o forma proposicional.
Representacin:
CV, P(x) = {x / x A ; P(x) Verdadero)
CV, P(x) = P el conjunto de verdad es P
Donde CV, P(x) Se lee conjunto de verdad P(x) es igual a P
Conclusin: As:
En Proposiciones
En conjuntos
P (X)
C. V, P(x)
P
Q (X)
C. V, Q(x)
Q
S(-6): 52 < 0
S(-3): 16 < 0
S(0): -2 < 0
S(1): -4 < 0
S(2): -4 < 0
S(3): -2 < 0
S(4): 2 < 0
S(5): 16 < 0
VV = F
VV = F
VV = V
VV = V
VV = V
VV = V
VV = F
VV = F
13
Forma simblica: p q
O P(x) Q(x)
Que tambin se puede leer:
O
p o q ; p disyuncin q
P(x) o Q(x) ; P(x) disyuncin Q(x).
Propiedad bsica o fundamental del conector: La proposicin compuesta ser falsa nicamente si las
dos simples son falsas, y ser verdadera en el resto de casos. Esto se puede ilustrar en el siguiente
cuadro.
14
P(x) Q(x)
V
P(x) Q(x)
de la disyuncin.
V
F
V
F
V
V
F
F
F
Luego: Si en las proposiciones se tiene P(x) Q(x) , entonces en conjuntos se tendr que: El conjunto
de verdad de P(x) es P , el conjunto de verdad de Q(x) es Q , y la disyuncin define la unin en
conjuntos; entonces se tendr P Q.
PQ
2. Conjuntos disjuntos:
n ( P Q ) = n (P) + n (Q)
PQ
3. Conjuntos Comparables:
3a.- P Q
PQ=Q
3b.- Q P
15
PQ=P
Ejemplo:
P = {1, 3, 5, 7, 9, 11} n (P) = 6
Q = {1, 2, 3, 4, 5, 9, 11, 13} n(Q) = 8
P Q = {1, 2, 3, 4, 5, 7, 9, 11, 13} n( P Q ) = 9
Q P = {2, 11, 13, 7, 3, 4, 5, 1, 9} n( Q P ) = 9
Propiedades de la Unin:
1. P Q = Q P
Ley Conmutativa
2. a.- P (P Q)
Propiedad de inclusin
b.- P (Q P)
3. a.- Q (P Q)
Propiedad de inclusin
b.- Q (Q P)
4. P P = P
Ley de Idempotencia
5. P =P
Ley de Identidad
6. P U=U
Ley de Identidad
7. (P Q) R = P (Q R)
Ley Asociativa
8. Para conjuntos comparables: a.- P Q P Q = Q
b.- Q P P Q = P
2. Conjuncin e Interseccin:
2a.- Conjuncin: La proposicin compuesta se obtiene uniendo dos proposiciones simples o dos
formas proposicionales P(x) , Q(x) con el conector y , que se representa en:
Forma literal:
p y q ; p conjuncin q ;
O
P(x) y Q(x); P(x) conjuncin Q(x), y
Forma simblica: p q O P(x) Q(x)
Propiedad fundamental: La proposicin compuesta ser verdadera nicamente cuando las dos
proposiciones o formas proposicionales sean tambin verdaderas, y ser falsa en el resto de casos.
P(x) Q(x) P(x) Q(x)
V
V
F
F
F
V
F
F
F
F
Luego: Si en las proposiciones se tiene: P(x) Q(x) , en conjuntos se tendr P Q , con similar
criterio que en la disyuncin.
Conclusin: La conjuncin en proposiciones, define la interseccin en conjuntos, la cual se expresa
as:
P Q = { x / P(x) Q(x), sea Verdadera }
Luego:
2b.- Interseccin de conjuntos: Es el conjunto de verdad de la conjuncin de proposiciones. Es aquel
conjunto que tiene como elementos los elementos del conjunto P y del conjunto Q; es decir los
elementos comunes de los conjuntos P y Q, y se representa en:
Forma simblica: P Q , y Forma literal:
16
P y Q ; P interseccin Q.
PQ
2. Conjuntos disjuntos:
P Q=
3. Conjuntos Comparables:
3a.- P Q
PQ=P
3b.- Q P
PQ=Q
Ejemplo:
P = { 1, 3, 5, 7, 9, 11 }
Q = { 1, 2, 3, 4, 5, 9, 11, 13 }
P Q = { 1, 3, 5, 9, 11 }
Q P = { 1, 3, 5, 9, 11 }
n(P)=6
n(Q) = 8
n( P Q ) =5
n( Q P ) = 5
Propiedades de la Interseccin:
1. P Q = Q P
Ley Conmutativa
2. a.- P ( P Q)
Propiedad de inclusin
b.- P (Q P)
3. a.- Q (P Q)
Propiedad de inclusin
b.- Q (Q P)
4. P P = P
Ley de Idempotencia
5. P U = P
Ley de Identidad
6. P =
Ley de Identidad
7. (P Q) R = P (Q R)
Ley Asociativa
8. Para conjuntos comparables: a.- P Q P Q = P
b.- Q P P Q = Q
9. Para conjuntos disjuntos:
P Q=
17
CARDINALIDAD:
Cardinalidad para dos conjuntos:
n( P Q ) = n(P)+n(Q) n( P Q )
As, para el caso de los ejemplos dados de la unin y de la interseccin vistos ms arriba, se tendr que:
n(P) = 6 , n(Q) = 8 , n(P Q)=5; entonces aplicando la relacin indicada anteriormente, se tiene:
n( P Q ) = 6 + 8 5 = 9 ;
Cardinalidad para tres conjuntos: De modo similar, cuando se trata de obtener la cardinalidad para
la unin de tres conjuntos se tendra la siguiente relacin:
n(P Q R) = n (P) + n (Q) + n ( R ) n (P Q) n (P R) n (Q R) + n (P Q R)
Tanto la expresin obtenida mas arriba, como esta para tres conjuntos se pueden demostrar bien sea
aplicando las definiciones de los conjuntos y sus operaciones, como mediante los diagramas de Venn.
De igual manera, se puede generalizar la cardinalidad de la unin para cuatro, cinco, etc conjuntos;
observando siempre la siguiente particularidad que: Cuando se tienen dos conjuntos, la expresin tiene
cuatro trminos; cuando se tienen tres conjuntos la expresin tiene ocho trminos; y as para cuatro
conjuntos la expresin tendra diecisis trminos, para cinco conjuntos treinta y dos, etc.
Aplicaciones de la cardinalidad de conjuntos:
Al momento, ya estamos en condiciones de poder resolver problemas literales de conjuntos, en los
cuales intervengan las respectivas cardinalidades, y adems las expresiones como slo o
nicamente, o, y.
En seguida indicamos algunos ejemplos al respecto:
1. Un deportista practica todos los das atletismo o natacin o ambos a la vez. Si durante el mes de
octubre, 15 das practic atletismo y 24 das practic natacin.
Cuntos das practic atletismo y natacin?
Este problema se puede resolver de dos maneras: Primero aplicando la relacin para la cardinalidad de la
unin de dos conjuntos vista ms arriba, y segundo mediante el planteo de ecuaciones, empleando uno o
varios diagramas de Venn.
Primero: Para aplicar la cardinalidad, damos nombres en primera instancia a los conjuntos que
intervienen en el problema, as: A al conjunto de los das que practica atletismo; N al conjunto de los
das que practica natacin, entonces:
n( A ) = 15 ; n( N ) = 24; Como adems, nos dice que las prcticas de estos deportes las realiza en el
mes de octubre, y este mes tiene 31 das, entonces n( A N ) = 31. Como la relacin de la cardinalidad
tiene cuatro trminos, y adems se tienen tres datos del problema, entonces se debe determinar el valor
del cuarto trmino, que en este caso es el nmero de das que practic atletismo y natacin; es decir
n(A N)
Luego: reemplazando los datos en la expresin se tiene: 31 = 15 + 24 - n( A N ) y de aqu se despeja
n( A N ) y se obtiene el valor que se nos pide en el problema:
n( A N ) = 39 31 = 8
18
Entonces el nmero de das que el deportista, practico atletismo y natacin a la vez fueron ocho.
Segundo: Empleando un diagrama de Venn, en el cual se colocan los nombres de los conjuntos, las
variables desconocidas y se plantean una o ms ecuaciones y se resuelve el problema,
determinando los valores desconocidos, los que pide se investigue en el problema, como lo
realizamos a continuacin:
15 x + x + 24 x = 31
x = 15 + 24 31 =8
Donde x es la interseccin entre A y N es decir es el valor pedido, el
nmero de das que el deportista practic los dos deportes a la vez.
2. En las listas de 100 alumnos que se han examinado de clculo y de geometra, figuran 48 alumnos
que han aprobado la primera asignatura y 70 que han aprobado la segunda, siendo 35 los alumnos que
han aprobado las dos. Cuntos alumnos hay que no han aprobado ninguna asignatura?
Ejercicios propuestos:
-
19
C
-
Sean los conjuntos A y B que no son comparables hacer un diagrama lineal de los conjuntos A,
B, A B, A B.
Dados los siguientes conjuntos: qu relacin existe entre los tres conjuntos; y determine las
operaciones indicadas.
A={1,2,3,4,5,6}, B={3,2,5,8,7}, C={2,3,7 }
a) (A B) C
b) (A B) C
c) A (B C)
En una batalla encarnizada por lo menos el 70% de los combatientes pierden un ojo, al menos el
75% una oreja, el 80% un brazo y al menos un 85% una pierna. Cuantos por lo menos han
perdido las 4 cosas.
20
21
3. Diferencia de Conjuntos: La diferencia entre dos conjuntos P y Q es aquel conjunto que tiene
como elementos, los elementos slo de P y no de Q. Se representa.
P Q = {x / x elementos slo de P }
P Q = {x / x P, x Q }
Q P = {x / x P, x Q }
Q
Slo P = P Q
b)
Q
Slo Q = Q P
PQ=P
QP=Q
Q
PQ=
P
Q P = Q P
QP=
b) Q P
P
Slo P
Slo R
R
22
Slo, P y Q
P
Slo, P y R
R
Ejemplo:
P = {x/x sea primo menor a 20}
P = {2, 3, 5, 7, 11, 13, 17, 19}
Q = {0, 1, 3, 6, 7, 14, 18, 20}
P Q = {3, 7}
P Q = {2, 5, 11, 13, 17, 19}
Q P = {0, 1, 6, 14, 16, 18, 20}
b) Slo, P y Q = ( P Q ) R
=(PQ)(PQR)
Slo Q y R = ( Q R ) P
=(QR)(QRP)
Slo, Q y R
Slo P y R = ( P R ) Q
=(PR)(QRP)
n(P)= 8
n(Q)= 9
n(P Q)= 2
n(P Q) = 6
n(Q P) = 7
Comprobacin:
n( P Q ) = n (P) n( P Q ) = 8 2 = 6
n( Q P ) = n (Q) n( P Q ) = 9 2 = 7
Propiedades:
1). P Q Q P
2). P Q, P Q, Q P Son disjuntos
3). ( P Q ) ( P Q ) = P
Y para cardinalidad de P: n(P) = n( P Q ) + n( P Q ), donde n( P Q ) = n(P) n( P Q )
4). ( Q P ) ( P Q ) = Q
Y para cardinalidad de Q: n(Q) = n( P Q ) + n( Q P ), donde n( Q P ) = n(Q) n( P Q )
5). ( P Q ) ( P Q ) ( Q P ) = P Q
De la cual para la cardinalidad de P Q: n( P Q ) = n( P Q ) + n( P Q ) + n( Q P ), que luego de
reemplazar las expresiones de 3) y 4), se tendr:
n( P Q ) = n(P) n( P Q ) + n( P Q ) + n(Q) n( P Q ) y por fin:
n( P Q ) = n(P) + n(Q) n( P Q ), que es la expresin para la cardinalidad de la unin de dos
conjuntos que se obtuvo antes, en la pgina 18.
6). ( P Q ) ( Q P ) = P Q = ( P Q ) ( Q P ) Que se conoce como Diferencia Simtrica.
7). P P =
8). P = P
9). P U =
10). U =
11). U = U
12). P ( Q R ) = ( P Q ) ( P R )
13). P ( Q R ) = ( P Q ) ( P R )
P
R
P (Q R)
Q P
R
PQ
23
R
PR
R
(P Q)(Q R)
Conjuntos Disjuntos:
13). P Q = P
14). Q P = Q
Conjuntos Comparables:
15). a) P Q
P Q=
b) Q P Q P=
Q P = slo Q
P Q = slo P
4. Negacin y Complemento:
4a.- Negacin: Dada una proposicin cualesquiera P(x) o p se puede obtener otra proposicin que diga
todo lo contrario, que se llama negacin de P(x) o negacin de p; y simblicamente se representa, para
los dos casos respectivamente ~P(x) y ~P
x2+4x+3=0
P(x) =
No P(x)
~P(x) =
;y
x2+3x12
~p =
Negacin P(x)
No p
Negacin de p
Ejemplos:
a. Proposicin:
Negacin:
x2+4x+3=0
x2+4x+30
~P(x) =
P(x) =
x2+3x12
x2+3x<12
VV=V
VV=F
VV=F
VV=F
24
P
Ejemplo: Determine el complemento del conjunto P si se conoce que:
P(x): x2+3x 12
P(0): 0 + 0 12
P(1): 1 + 3 12
P(2): 4 + 6 12
P(3): 9 + 9 12
P(4): 16+1212
Entonces
, y el conjunto satisfactor:
U = {0,1,2,3,4}
VV=F
VV=F
VV=F
VV=V
VV=V
P = {3,4}
P = {0,1,2} n( P)=3
n(U) = 5
Comprobacin:
Si: P(x): x2+3x12, entonces: P(x): x2+3x<12
P(0)= 0+0<12
VV=V
P(1)= 1+3<12
VV=V
P(2)= 4+6<12
VV=V
P(3)= 9+9<12
VV=F
P(4)= 16+12<12
VV=F
P = {0, 1, 2} que es el conjunto de verdad de P(x), como ya se obtuvo antes
Conclusin: Para poder obtener el complemento de un conjunto P; este conjunto siempre debe ser
subconjunto del Universo, caso contrario no se puede obtener su complemento.
Propiedades del Complemento:
1). P=U P
2). (P)=P
3). P P= U
4). P P=
5). = U
6). U=
7). P Q = P Q
Para conjuntos comparables (P Q):
8). P Q
9). P Q=U
10). P Q=
11). Q P= Slo universo = U Q = U Q = Q
25
V/: Tautologa: Es aquella proposicin que es verdadera para todos los casos.
|F: Contradiccin: Es toda proposicin que es falsa en todos los casos.
V/ |F
|F V/
Proposiciones
Conjuntos
P(x)
Q(x)
~P(X)
V/
|F
P
Q
P
A) Leyes de Idempotencia
1) P(x) P(x) P(x) Original
2) P(x) P(x) P(x) Dual
B) Leyes Conmutativas
3) P(x) Q(x) Q(x) P(x)
4) P(x) Q(x) Q(x) P (x)
C) Leyes Asociativas
5) [P(x) Q(x)] R(x) P(x) [Q(x) R(x)]
6) [P(x) Q(x)] R(x) P(x) [Q(x) R(x)]
D) Leyes Distributivas
7) P(x) [Q(x) R(x)] [P(x) Q(x)] [P(x) R(x)]
8) P(x) [Q(x) R(x)] [P(x) Q(x)] [P(x) R(x)]
E) Leyes de Identidad
9) P(x) |F P(x)
10) P(x) V/ P(x)
11) P(x) V/ V/
12) P(x) |F |F
F) Leyes de negacin
13) P(x) V/ P(x)
14) [P(x)] P(x)
15) P(x) P(x) V/
16) P(x) P(x) |F
17) |F V/
18) V/ |F
19)
26
CONJUNTOS
A) Leyes de Idempotencia
1) P P = P Original
2) P P = P Dual
B) Leyes Conmutativas
3) P Q = Q P
4) P Q = Q P
C) Leyes Asociativas
5) (P Q) R = P (Q R)
6) (P Q) R = P (Q R)
D) Leyes Distributivas
7) P (Q R) = (P Q) (P R)
8) P (Q R) = (P Q) (P R)
E) Leyes de identidad
9) P = P
10) P U = P
11) P U = U
12) P =
F) Leyes de complemento
13) P = U P Dual propia
14) (P) = P Dual propia
15) P P = U
16) P P =
17) = U
18) U =
19) P Q = P Q
Leyes de DMorgan
20) [P(x) Q(x)] P(x) Q(x)
21) [P(x) Q(x)] P(x) Q(x)
20) (P Q) = P Q
21) (P Q) = P Q
Leyes de Absorcin
22) P(x) [P(x) Q(x)] P(x)
23) P(x) [P(x) Q(x)] P(x)
22) P (P Q) = P
23) P (P Q) = P
Leyes de equivalencia
24) P(x) Q(x) [P(x) Q(x)] [P(x) Q(x)]
25) P(x) Q(x) P(x) Q(x)
APLICACIONES DE LAS LEYES
Ejemplos:
1. Demostrar: (A B) (A B) = A
1). Se debe escoger el miembro ms extenso
2). Probar si la igualdad es correcta mediante diagramas de Venn
B
(A B)
AB
3). Demostracin
(A B) (A B)
A (B B)
AU
A
(A B) (A B) = A
Justificacin
DATO
Ley distributiva
Ley de complemento
Ley de identidad
B
[(A B) B]
Demostracin
[(A B) B] [B (A B)]
[(A B) B] [(B B) A]
[B (A B)] [(B B) U A]
[(B A) (B B)] [U A]
[(B A) U] U
(B A) U
B A
(B) A
[B A]
(A B)
[B (A B)]
Justificacin
DATO
Ley de DMorgan, conmutativa
Ley conmutativa, asociativa
Ley distributiva, complemento
Ley de complemento, identidad
Ley de identidad
Ley de identidad
Ley de complemento
Ley de Morgan
Ley de complemento
27
(A B)
5.- Disyuncin Exclusiva: Una proposicin P(x) y otra Q(x) forman una proposicin compuesta si
estn unidas con el conector y se representa P(x) Q(x) ; se lee: P(x) Q(x) pero no ambas.
P(x) disyuncin exclusiva Q(x)
Propiedad fundamental: La proposicin compuesta es falsa cuando las dos simples son verdaderas o
falsas, y ser verdadera en el resto de casos.
P(x)
Q(x)
P(x) Q (x)
V
V
F
F
V
F
V
F
F
V
V
F
Ejemplo.
p: Quito es la capital del Ecuador VV=V
q: Quito est en la costa ecuatoriana VV=F
p q: Quito es la capital del Ecuador esta en la costa ecuatoriana, pero no ambas. VV=V
A continuacin realizamos la Tabla de verdad de la siguiente proposicin:
(p ~q) (~p q)
p q ~p ~q (p ~q) (~p q) (p ~q) (~p q)
V V F
F
F
F
F
V F F
V
V
F
V Esta columna es la misma
F V V
F
F
V
V que la disyuncin Exclusiva.
F F V V
F
F
F
Luego: P(x) Q(x) [P(x) Q(X)] [P (x) Q(x) ]
El conjunto de verdad de la disyuncin exclusiva es:
(P Q) (P Q) = {x/ P(x) Q(x) }
6.- Implicacin o Condicional: Una proposicin P(x) y otra Q(x) forman la proposicin compuesta si
estas estn unidas por el conector . P(x) Q(x) . Se lee si P(x) entonces Q(x) , P(x) condicional Q(x)
P(x) implica a Q(x) .
Propiedad fundamental: A P(x) se le conoce como antecedente o hiptesis y a Q(x) como
consecuente, tesis o conclusin.
Para que: P(x) Q(x) sea V P Q . Se debe cumplir esta relacin en conjuntos.
P(x)
V
V
F
F
V
F
V
V
28
p: 4 + 2 6
q: 5 4 4
VV=V
VV=F
a). p q
b). q p
c). p q
d). q p
VV = F
VV = V
VV = V
VV = F
p q: Si 4 + 2=6
q p: Si 5 4=4
p q: Si 4 + 26
q p: Si 5 44
entonces 5 4 =4
entonces 4 + 2 =6
entonces 5 4 4
entonces 4 + 2 6
VV=F
VV=V
VV=V
VV=F
(p q)
(q p)
V
V
F
F
1
V
F
V
F
2
F
F
V
V
3
F
V
F
V
4
V
F
V
V
5
V
V
F
V
6
Implicacin
Reciproca
Conversa
Contrapositiva
(p q) (q p)
V
V
F
V
7
V
F
V
V
8
Implicacin Contrapositiva
Reciproca Conversa
Conjunto de Verdad: El conjunto de verdad de la implicacin seria de P(x) Q(x) ~P(x) Q(x) ;
entonces:
P Q = {x/ P(x) Q(x) }
7.- Bidicondicional o Doble implicacin: El bidicondicional entre dos proposiciones P(x) y otra Q(x)
es una proposicin compuesta en el cual las proposiciones simples se enlazan con el conector si y slo si,
que corresponde a la proposicin [P(x) Q(x)] [Q(x) P(x)] y se simboliza P(x) Q(x) .
Se lee: P(x) bicondicional Q(x) ; P(x) si y slo si Q(x) P(x) es necesaria y suficiente para Q(x)
29
V
F
V
F
V
F
F
V
Conjunto de verdad:
(P Q) (P Q) = {x/ P(x) Q(x) }
(P Q) (Q P) = {x/ P(x) Q(x) }
8.- Conector Negativo: La proposicin compuesta se forma uniendo P(x) con otra Q(x) con el conector
que se lee Ni P(x), Ni Q(x) .
Propiedad fundamental: La proposicin compuesta es verdadera nicamente cuando las dos
proposiciones son falsas. As entonces tenemos la siguiente tabla de verdad:
27.- Leyes
P(x)
Q(x)
P(x) Q(x)
V
V
F
F
V
F
V
F
F
F
F
V
Conjunto de verdad:
9.- Disyuncin Negativa: La proposicin compuesta se forma uniendo dos simples con el conector
que se lee No P(x), o No Q(x) o tambin P(x) disyuncin negativa Q(x).
Propiedad fundamental: La proposicin compuesta es falsa nicamente cuando las dos son
verdaderas.
P(x) Q(x) P(x) Q(x)
V
V
F
F
28.- Leyes
V
F
V
F
F
V
V
V
30
RESUMEN
P(x) Q(x)
V
V
F
F
Disyun. Conjun.
V
V
V
F
V
F
V
F
V
F
F
F
Disyun.
Conector Disyuncin
Implic. Bicond.
Exclusiva
Negativo Negativa
F
V
F
V
F
F
F
V
V
F
V
F
F
V
V
F
V
V
V
V
Si las proposiciones simples estn separadas por comas, se deben analizar las que estn antes de
la coma y despus de la misma para luego unirlas con la conectiva principal que es la que va
inmediatamente despus de la coma. Ejm.
5 3=2
y 4+3=6 o
4+36
o 5 3=2
(p q) (~q p)
2).
Si la proposicin compuesta tiene parntesis, corchetes o llaves para obtener la tabla de verdad
de dicha proposicin se deben destruir los smbolos de agrupacin como en el lgebra normal
suprimiendo parntesis, luego corchetes, etc.
3).
Ejm.
~p ~q p ~p q ~p q
1.2.3.4.5.6.-
~p ; ~q
(~p ~q)
[(~p ~q) p]
(~p q)
[[(~p ~q) p] ~p]
{[[(~p ~q) p] ~p] q}
conectores fuertes
conectores dbiles
31
Ejm.
- Determine la TV de la siguiente proposicin:
{(p q) [p [~q (p p)]]}
p q ~p (p p) (p q) [~q (p p)] [p [~q (p p)]] {(p q) [p [~q (p p)]]}
V V F
F
V
F
V
V
V F F
F
F
V
F
F
F V V
F
V
F
F
V
F F V
F
V
V
V
V
Primer Mtodo: Para obtener la tabla de verdad de una proposicin en las primeras casillas se colocan
las variables que intervienen, en la proposicin compuesta a continuacin designamos una casilla para
cada operacin comenzando siempre con la negacin, en caso de que exista, y la ltima casilla nos dar
la tabla de verdad que buscamos.
Segundo Mtodo: Se colocan en las primeras casillas las proposiciones dadas, a continuacin se
designa una casilla para cada variable, conector y operador lgico, y en la parte inferior de la tabla se
colocan nmeros que nos indican los pasos que debemos seguir, y la casilla que corresponda al numeral
ms alto, ser la que tenga la tabla de verdad buscada.
p q {( p q ) [ p [~q (p p )]]}
V V
V V V
V
F
V
F
F V F F
V F
V F F
F
F
F
V V V F F
F V
F V V
V
V
F
F
F F F V
F F
F V F
V
V V
V V F F V
1 2
1 6 2 TV
3
8
4
7 1 5 3
- Implicacin lgica.
Una proposicin sea simple o compuesta P(x) implica lgicamente a otra proposicin sea simple o
compuesta Q(x), si y slo si una de las siguientes condiciones es verdadera:
1. P(x) Q(x) V/
2. ~P(x) Q(x) V/
3. P(x) ~Q(x) |F
Ejemplo: Probar si la siguiente proposicin pq pq
1) (p q)
V V V
V F F
F F V
F F F
1 4 2
(p q)
V V V V
V V V F
V F V V
V F F F
5
1 3 2
TV
Por lo tanto es implicacin lgica. TV: V/
2) (~ p ~ q)
F V F F V
F V V V F
V F V F V
V F V V F
3 1 5 4 2
(p q)
V V V V
V V V F
V F V V
V F F F
6
1 5 2
TV
-Equivalencia lgica.
Una proposicin sea simple o compuesta P(x) es lgicamente equivalente a otra proposicin sea simple
o compuesta Q(x), si y slo si al realizar el bicondicional el resultado es V/: P(x)V/
32
[(p ~ q) (~ p q)]
V
V F F V F F V F V
V
V V V F V F V F F
V
F F F V V V F V V
V
F F V F F V F F F
8
1 5 4 2 6 3 1 5 2
TV=V/
CUANTIFICADORES
Otra manera de transformar una funcin proposicional en proposicin cerrada es mediante el uso de los
cuantificadores.
Definicin.- Cuantificadores son smbolos que preceden a una funcin proposicional, y nos permite
convertir una proposicin abierta en proposicin cerrada, ya que nos indica el nmero de elementos o
individuos que hacen siempre verdadera una funcin proposicional P(x) o Px.
Ejemplo:
P(x): x es un nmero par. } A conjunto satisfactor U
1. Para todo x, P(x) Para todo x, x es un nmero par. V.V.=F
Para todo: es cuantificador universal.
Simboliza:
a. x, P(x)
b. x A, P(x)
Tambin se lee:
todo x es p
cada x es p
2. Existe en x tal que, P(x) Existe un x tal que, x es nmero par. V.V.=V
Smbolo:
a. x , P(x)
b. x , P(x)
c. x A , P(x)
Tambin se lee:
V.V.=V P = A = U
A=U
V.V.=F P A U
33
V.V.=V P
2.
x
V.V.=F P =
Ejemplos:
1. Forme los cuantificadores universal y existencial y obtenga los correspondientes V.V. Si:
P(x): x2 8x + 15 = 0 donde A={1,2,3,4,5}, n(A)=5
a. x, P(x) Para todo x A, x2 8x +15=0
P(x): x2 8x + 15 = 0
(x 5)(x 3) = 0
x=5 x=3
P= {3,5}
V.V.=F ;
n(P)=2
PA
Negacin de cuantificadores
1. Negacin del cuantificador universal.
~[x, P(x)] x, ~P(x)
Ningn x es P
Ejemplos:
Formal la negacin de los cuantificadores universal y existencial, y obtener su V.V.
1. x, P(x) para todo x A, (x2 25) = (x 5) (x + 5) V.V.=V
Negacin: x, ~P(x) existe un x tal que, (x2 25) (x 5) (x + 5)
P={} V.V.=F
2. x, P(x) existe un x tal que, (x2 25) (x 5) (x + 5)
V.V.=V
2
Negacin: x, ~P(x) ningn x, (x 25) = (x 5) (x + 5)
para todo x, (x2 25) (x 5) (x + 5)
P = P A V.V.=F
34
Ejemplos:
Represente aplicando el cuantificador apropiado, las negaciones y sus valores de verdad para las
siguientes expresiones.
1. Hay animales carnvoros. x, C(x) V.V.=V
Negacin: Ningn animal es carnvoro. x, ~C(x) VV=F
2. Existe al menos un volcn. x, V(x) V.V.=V
Negacin: No existe ningn volcn. x, ~V(x) VV=F
3. Cada nmero natural es entero. x, N(x) VV=V
Negacin: Existe al menos un nmero natural que no es entero. x, ~N(x) V.V.=F
4. Algunas personas son artistas. x, P(x) V.V.=V
Negacin: Ninguna persona es artista. x, ~P(x) VV=F
5. Todos los ngulos son congruentes. x, A(x) VV=F
Negacin: Existe al menos un ngulo que no es congruente. x, ~A(x) V.V.=V
6. Algunos ngulos son rectos. x, R(x) V.V.=V
Negacin: Ningn ngulo es recto. x, ~R(x) VV=F
7. Existe ngulos no obtusos. x, O(x) V.V.=V
Negacin: Ningn ngulo no es obtuso. x, ~O(x) VV=F
8. Alguna navegacin es peligrosa y toda clase de pesca es aburrida. x, P(x) x, A(x) VV=F
V
F
F
Negacin: Ninguna navegacin es peligrosa o existe al menos una pesca no aburrida.
~[x, P(x) x, A(x)] x, ~P(x) x, ~A(x) VV=V
F
V
V
9. Si la nacin es prospera, algunos ciudadanos son ricos. P(x) x, R(x) VV=V
V
V
V
Negacin: La nacin es prspera y ningn ciudadano es rico. ~[P(x) x, R(x)] VV=F
~[~P(x) x, R(x)]
P(x) x, ~R(x)
V
F
F
10. Ningn nmero natural es negativo. x, ~P(x) VV=V
Negacin: Algn nmero natural es negativo. ~[x, ~P(x)] VV=F
x, P(x)
11. Muchas personas viven en la pobreza absoluta. x, P(x) VV=V
Negacin: Todas las personas viven en la pobreza absoluta. ~[x, P(x)] VV=F
x, ~P(x)
35
12. Todos los pases latinoamericanos tienen deuda externa. x, P(x) VV=F
Negacin: Algunos pases no tienen deuda externa. x, ~P(x) VV=V
Formalice (representar en forma simblica), simplifique y niegue las siguientes proposiciones
compuestas.
Si todos los nmeros enteros son pares, entonces hay algn nmero entero primo, si solo si todos los
nmeros enteros no son primos; pero cualquier nmero entero no es primo.
p: todos los nmeros enteros son pares.
VV=F
q: hay algn nmero entero primo.
VV=V
~q: todos los nmeros enteros no son primos.
VV=F
r: cualquier nmero entero no es primo.
VV=V
[(pq) ~q] r
F V
F
V
V
F
F
[(p q) ~ q]
V V V F F V F
V V V F F V F
V F F F V F F
V F F F V F F
F V V F F V F
F V V F F V F
F V F V V F V
F V F V V F F
r
V
F
V
F
V
F
V
F
H1: (pq)
H2: q
C: p
H1 H2 C
[(p q) q ] p
2) Si Luis se casa, entonces Lourdes se tira dentro del tren. Lourdes se tira dentro del tren siempre y
cuando Luis no se haga Cura, por lo tanto, si Luis se casa entonces no se hace Cura.
p: Luis se casa
q: Lourdes se tira dentro del tren
r: Luis se hace cura
H1: (p q)
H2: (q ~r)
C: (p ~r)
(
H1
H2 )
[(p q) (q ~ r)] (p ~ r)
V V VFV F F V V V F FV
V V VVV VV F V V VVF
V F F F F V F V V V F FV
V F F F F F V F V V VVF
F V VFV F F V V F V FV
F V VVV VV F V F VVF
F V FVF V F V V F V FV
F V F F F F V F V F VVF
36