LCClCA MA1LM1lCA

?
1LC8lA uL CCn!un1CS
unlvL8SluAu AL8L81C Pu81AuC
lngenlerla Comerclal
Algebra l
rofesor Adrln 8ulz de vlnaspre Cabrera
ardevc872[gmall.com
2013
1
l.- L|ementos de Lg|ca Matemt|ca
ropos|c|n, es una expresln que puede ser
verdadera (v) o falsa (l).
Las proposlclones se denoLarn por las leLras
p, q, r, s,..."
L[emp|os de propos|c|ones:
L1: las galllnas son aves"
L2: los alumnos de esLa clase quleren ser
lngenleros comerclales"
ropos|c|n, es una expresln que puede ser
verdadera (v) o falsa (l).
Las proposlclones se denoLarn por las leLras
p, q, r, s,..."
L[emp|os de propos|c|ones:
L1: las galllnas son aves"
L2: los alumnos de esLa clase quleren ser
lngenleros comerclales"
2
L3: que dla es hoy" NC es una proposlcln
L4: NC es una proposlcln
una proposlcln se dlce CCMULS1A, sl esL
formada por Dos o Mas proposlclones.
L3: los hombres son morLales y laLn es
hombre"
L6: n es un numero lmpar y (n+1) es un
numero par
L7: n es un numero par y (n+1) es lmpar
2
3 10
L3: que dla es hoy" NC es una proposlcln
L4: NC es una proposlcln
una proposlcln se dlce CCMULS1A, sl esL
formada por Dos o Mas proposlclones.
L3: los hombres son morLales y laLn es
hombre"
L6: n es un numero lmpar y (n+1) es un
numero par
L7: n es un numero par y (n+1) es lmpar
3
ConecLlvos Lglcos (CL)
CL1: Sl p" es una proposlcln la negacln
de p", se denoLa como "p " o " p "
CL2: ", se lee o"
p q : se |ee "p o q "
(dls[uncln)
CL3: /" , se lee y "
p /q : se |ee "p y q "
(con[uncln)
p
p
V I
I V
p q
p q
V V V
V I V
CL1: Sl p" es una proposlcln la negacln
de p", se denoLa como "p " o " p "
CL2: ", se lee o"
p q : se |ee "p o q "
(dls[uncln)
CL3: /" , se lee y "
p /q : se |ee "p y q "
(con[uncln)
V I V
I V V
I I I
p q
/q
V V V
V I I
I V I
I I I
4
CL4: =", se lee |mp||ca"
p =q " : se lee p |mp||ca q" o
s| p entonces q"
CL3: <", se lee equlvalencla "
p <q " : se lee p es equ|va|ente a q " o
p s| y s|o s| q "
p q
=q
V V V
V I I
I V V
I I V
CL4: =", se lee |mp||ca"
p =q " : se lee p |mp||ca q" o
s| p entonces q"
CL3: <", se lee equlvalencla "
p <q " : se lee p es equ|va|ente a q " o
p s| y s|o s| q "
p q
<q
V V V
V I I
I V I
I I V
3
CL6: ", se lee exc|uyente "
p q ": se lee p q pero no ambos "
Las proposlclones :
p, p q , p / q , p =q , p <q , p q , son
propos|c|ones compuestas, se pueden segu|r
comb|nndose y se forman nuevas
propos|c|ones
p q
p q
V V I
V I V
V V
CL6: ", se lee exc|uyente "
p q ": se lee p q pero no ambos "
Las proposlclones :
p, p q , p / q , p =q , p <q , p q , son
propos|c|ones compuestas, se pueden segu|r
comb|nndose y se forman nuevas
propos|c|ones
I V V
I I I
6
una proposlcln compuesLa, se dlr que es:
una 14u1OLO6l4, sl columna flnal de la Labla
correspondlenLe slo son verdades (v).
una cON1k4ulcclN, sl columna flnal de la
Labla correspondlenLe slo son falsedades (l).
una cON1lN6Ncl4, sl columna flnal de la
Labla correspondlenLe conLlene verdades y
falsedades, es declr no es nl LauLologla nl es
conLradlccln.
una proposlcln compuesLa, se dlr que es:
una 14u1OLO6l4, sl columna flnal de la Labla
correspondlenLe slo son verdades (v).
una cON1k4ulcclN, sl columna flnal de la
Labla correspondlenLe slo son falsedades (l).
una cON1lN6Ncl4, sl columna flnal de la
Labla correspondlenLe conLlene verdades y
falsedades, es declr no es nl LauLologla nl es
conLradlccln.
7
LLLS DLL ALGL8kA kCCSICICNAL
A1: ComplemenLo:
( p) =p
A2: ConmuLaLlvldad:
(p . q) =(q . p) , (p q) =(q p) ,
(p =q) =(q =p) , (p =q) =(q =p)
A3: AsoclaLlvldad:
(p . q) . r) =(p . (q . r) ),
(p q) r) =(p (q r) ),
((p =q) =r) =(p =(q =r))
A1: ComplemenLo:
( p) =p
A2: ConmuLaLlvldad:
(p . q) =(q . p) , (p q) =(q p) ,
(p =q) =(q =p) , (p =q) =(q =p)
A3: AsoclaLlvldad:
(p . q) . r) =(p . (q . r) ),
(p q) r) =(p (q r) ),
((p =q) =r) =(p =(q =r))
8
A4: ulsLrlbuLlvldad:
(p . (q r) =(p . q) (p . r),
(p (q . r)) =(p q) . (p r)
A3: de uL Morgan o de uualldad:
((p . q) =(p q))
((p q) =(p . q))
A6: de ldempoLencla:
p . p =p
p p =p
A4: ulsLrlbuLlvldad:
(p . (q r) =(p . q) (p . r),
(p (q . r)) =(p q) . (p r)
A3: de uL Morgan o de uualldad:
((p . q) =(p q))
((p q) =(p . q))
A6: de ldempoLencla:
p . p =p
p p =p
9
uos proposlclones p" y q" son equlvalenLes
( p =q ) =( p =q ) es una LauLologla
Algunas equlvalenclas hablLuales:
1.- p . v =v , p . l =p
2.- p v =p , p l =l
3.- p . p =v , p p =l
4.- p =q =-p q
uos proposlclones p" y q" son equlvalenLes
( p =q ) =( p =q ) es una LauLologla
Algunas equlvalenclas hablLuales:
1.- p . v =v , p . l =p
2.- p v =p , p l =l
3.- p . p =v , p p =l
4.- p =q =-p q
10
una lunClCn 8CCSlClCnAL es una
senLencla o aflrmacln que conLlene una
varlable (x").
Notac|n : (), (x),(x),(x),...
una funcln proposlclonal se 18AnSlC8MA
en una 8CCSlClCn cuando a la varlable (x)
se le aslgna un valor deLermlnado.
Cuando funcln proposlclonal se Lransforma
en una proposlcln es puede ser vL8uAuL8A
(v) o lALSA (l).
una lunClCn 8CCSlClCnAL es una
senLencla o aflrmacln que conLlene una
varlable (x").
Notac|n : (), (x),(x),(x),...
una funcln proposlclonal se 18AnSlC8MA
en una 8CCSlClCn cuando a la varlable (x)
se le aslgna un valor deLermlnado.
Cuando funcln proposlclonal se Lransforma
en una proposlcln es puede ser vL8uAuL8A
(v) o lALSA (l).
11
L[emplos:
Ll1: ()=xx + 3x - 10 = 0, es una
proposlcln vL8uAuL8A sl x = -3 x = 2 y es
lALSA para oLros valores de la varlable x".
Ll2: (x)=x3< x < 7, (x) es
verdadera slo para x 4, 3, 6, para oLros
valores de x (x) es falsa.
Ll3: (x)=xx + 1 = 0, es falsa. or
que?
L[emplos:
Ll1: ()=xx + 3x - 10 = 0, es una
proposlcln vL8uAuL8A sl x = -3 x = 2 y es
lALSA para oLros valores de la varlable x".
Ll2: (x)=x3< x < 7, (x) es
verdadera slo para x 4, 3, 6, para oLros
valores de x (x) es falsa.
Ll3: (x)=xx + 1 = 0, es falsa. or
que?
12
CUAN1IIICADCkLS
CuAn1lllCAuC8 unlvL8SAL : V ", se lee
para Lodo(s)".
LCu1: Vx, x 0 (v)
LCu2: Vx, x +1 0 (v)
LCu3: Vx, x 0 (v)
CUAN1IIICADCkLS
CuAn1lllCAuC8 unlvL8SAL : V ", se lee
para Lodo(s)".
LCu1: Vx, x 0 (v)
LCu2: Vx, x +1 0 (v)
LCu3: Vx, x 0 (v)
13
CuAn1lllCAuC8 LxlS1LnClAL : ", se lee
exlsLe ", puede se uno varlos elemenLos
LCL1: x, x 0 (v)
LCL2: x, x +1 0 (v)
LCL3: x, x 0 (v)
CuAn1lllCAuC8 LxlS1LnClAL unlCC: ! ", se
lee exlsLe un nlCC ".
CuAn1lllCAuC8 LxlS1LnClAL : ", se lee
exlsLe ", puede se uno varlos elemenLos
LCL1: x, x 0 (v)
LCL2: x, x +1 0 (v)
LCL3: x, x 0 (v)
CuAn1lllCAuC8 LxlS1LnClAL unlCC: ! ", se
lee exlsLe un nlCC ".
14
negacln de los cuanLlflcadores
V = , =V , ! =V
L1: (Vx ), ( y ) (x + y =7 =x =y)
Noganoo la pioposicion anloiioi, so liono
(Vx ), ( y ) (x + y =7 =x =y) =
(Vx ),( y ) (x + y =7 =x =y) =
( x ),(Vy )(x + y ) =7 . ( x =y)=
( x ),(Vy ) (x + y ) =7 ( x =y)
negacln de los cuanLlflcadores
V = , =V , ! =V
L1: (Vx ), ( y ) (x + y =7 =x =y)
Noganoo la pioposicion anloiioi, so liono
(Vx ), ( y ) (x + y =7 =x =y) =
(Vx ),( y ) (x + y =7 =x =y) =
( x ),(Vy )(x + y ) =7 . ( x =y)=
( x ),(Vy ) (x + y ) =7 ( x =y)
13
L2: (Vx ), (x = x)
Noganoo la pioposicion anloiioi, so liono
(Vx ), x =x) =(Vx ),(x =x) =
( x ),(x = x)
L8: , noganoola
L2: (Vx ), (x = x)
Noganoo la pioposicion anloiioi, so liono
(Vx ), x =x) =(Vx ),(x =x) =
( x ),(x = x)
L8: , noganoola
16

, , \ = =
( )
( )
, , \ = =
( )
( )
, , =

, , \ =