Asignatura: LGEBRA Carrera: Construccin Civil

Profesor: LUIS ALBERTO AL!IIA LI"A#A Se$estre % A&o: SEGU#!O '()*

U#I!A! I: +U#!A,E#TOS !EL LE#GUA-E ,ATE,TICO
PRI,ERA PARTE: L.GICA
La matemtica estudia las propiedades de ciertos objetos, tales como nmeros, operaciones,
conjuntos Es necesario por lo tanto contar con un lenguaje apropiado para expresar estas propiedades
de manera precisa .Desarrollaremos aqu un lenguaje que cumpla estos requisitos, al cul llamaremos
lenguaje matemtico.
El lenguaje matemtico est formado por una parte del lenguaje natural, al cul se le agregan
variables y smbolos lgicos que permiten una interpretacin precisa de cada frase
Ele$entos /e lgica
Pro0osiciones: Llamaremos proposicin a cualquier expresin ling!stica de la cual tenga
sentido preguntarse si es verdadera o falsa.
E1e$0lo: )2 3A%er llovi4 5 '2 Seis es $enor 6ue cuatro5 *2 La circunferencia es una curva5 72 Si
llueve entonces no ir8 a la 0la%a9
alor /e er/a/
Decimos que una proposicin verdadera tiene el valor de verdad "verdadero# y que una
proposicin falsa tiene el valor de verdad "falso#.De esta forma, usamos la expresin "valor de verdad#
para referirnos indistintamente al $ec$o de que una proposicin es verdadera o falsa.
%epresentaremos los valores de verdad "verdadero o "falso# por &, ' respectivamente. (ambi)n
se adopta a veces el convenio *,+ para significar respectivamente &, '.
,onviene destacar que no compete de la lgica establecer el valor de verdad de las
proposiciones- de eso se ocupan las ciencias particulares. En lgica, se consideran las proposiciones
con su valor ya asignado- por ejemplo, diremos "la ballena es una ave# es una proposicin falsa, porque
as lo dice la .oologa.
Ejemplos/ *0 "la suma de las longitudes de dos lados de un tringulo es mayor que la longitud de
cualquier lado#, es una proposicin a la cual se asocia el valor "verdadero# en geometra.10 2l
enunciado "3 es un nmero impar# se le asocia el valor "falso# en matemtica.40 La expresin "5qu)
fastidio6, no es una proposicin por cuanto no tiene sentido asignarle valor verdadero o falso.
E1ercicios 0ro0uestos:
In/i6ue cu:les /e las siguientes e;0resiones son 0ro0osiciones:
a0 3 es un nmero primo
b0 &ene.uela es una nacin
c0 Dic$oso el rbol que es apena sensitivo.
d0 7uenos das.
e0 Es falso que 1 8 19 :
f0 2vive el seso y despierte.
g0 ;o $ay mal que dure cien a<os.
In/i6ue el valor /e ver/a/ /e las siguientes 0ro0osiciones:
a0 *4 es un nmero primo
b0 El gaviln es un mamfero
c0 3 es un nmero primo
d0 ,asas =uertas es una novela vene.olana
e0 >n tringulo es un cuadriltero
f0 %mulo ?allegos escribi Do<a 7rbara
Lengua1e si$<lico /e la Lgica Pro0osicional
@odemos considerar la lgica proposicional como un lenguaje simblico artificial, dise<ado
para representar y anali.ar las formas ms simples de ra.onamiento.
,omo un lenguaje simblico la lgica proposicional consta de tres tipos de smbolos/
*0 &ariables o letras proposicionales
10 ,onectivos lgicos
40 Aignos de agrupacin
)2aria<les o letras 0ro0osicionales: @odemos convenir en considerar el "conjunto# >, de todas las
proposiciones posibles del leguaje, como conjunto universal y designado como/ "el universo del
discurso#. @odemos representar las proposiciones o elementos de este conjunto con letras minsculas
como/ p, q, r..., y llamaremos variables o letras proposicionales.
Dadas una o ms proposiciones del lenguaje corriente, podemos representarlas en nuestro
lenguaje de la lgica proposicional mediante el uso de variables, o letras proposicionales, y viceversa, a
cada variable del lenguaje de la lgica proposicional podemos asignar una proposicin del lenguaje
corriente, teniendo en cuenta/
>na letra proposicional o variable BpC siempre representa una misma proposicin y slo una.
&ariables diferentes no necesariamente representan siempre distintas proposiciones.
E1e$0lo: sea =0> la 0ro0osicin: =' es un n?$ero 0ar>
@ =6> la 0ro0osicin: =-uan es inteligente>
Pue/e suce/er 6ue a =r> le asigne$os ta$<i8n la 0ro0osicin =' es un n?$ero 0ar>9
'2 Conectivos lgicos: Ai examinamos el contenido de las proposiciones podemos notar que muc$as
estn constituidas por combinaciones de otras proposiciones. Distinguimos as las proposiciones
"compuestas# de las proposiciones "simples#.
a0 "Duan es alba<il# es una proposicin simple
b0 "Duan es alba<il y @edro es carpintero# es una proposicin compuesta
Ai por q y p designamos/
p/ "Duan es alba<il#.
q/ "@edro es carpintero#.
La proposicin b0 la podemos expresar en la forma/ "p y q#
De esta forma, a partir de dos proposiciones simples "p# y "q# y la conjuncin "y# obtenemos una
nueva proposicin "p y q#, donde la conjuncin "y# sirve para enla.ar las dos proposiciones simples.
Llamamos "conectivos lgicos# o simplemente "conectivos#, a los smbolos que permiten construir a
partir de una o ms proposiciones simples o compuestas, otra proposicin compuesta. En general, los
conectivos lgicos relacionan las proposiciones y nos permiten anali.ar el valor de verdad de una
proposicin compuesta a partir de los valores de verdad de sus proposiciones componentes.
#egacin: El smbolo E, que leemos/ "no#, "la negacin de#, es un conectivo que al preceder a una
proposicin, la niega.
El conectivo E precede siempre a la proposicin afectada por )l.
Los valores de verdad que se asignan al conectivo negacin vienen establecidos por la siguiente
especificacin.
La negacin de una proposicin verdadera es una proposicin falsa, y la negacin de una proposicin
falsa es una proposicin verdadera.
>na forma interesante de representar esta especificacin es mediante el siguiente esquema, llamado
tabla de verdad.
p Ep
& '
' &
Esta tabla nos muestra el efecto de introducir la negacin, desde el punto de vista del valor de verdad
de la proposicin resultante. 2s, la proposicin BpC puede ser verdadera o falsa, y veremos segn la
tabla que al proposicin resultante al aplicar la negacin a BpC, o sea BEpC que es falsa cuando p es
verdadera cuando p es falsa.
O<servacin: Ai se niega una proposicin del tipo/ "(odo 2 es 7# se indica que ";o todo 2 es decir
que "2lgn 2 no es 7#. El t)rmino algn# debe entenderse en =atemtica con el significado de "uno o
ms#, es decir "al menos un#.
Con1uncin: El smbolo F , que leemos "y# Gconjuncin copulativa0 es un conectivo que enla.a dos
proposiciones para formar una nueva proposicin. Dadas dos proposiciones p. H, la conjuncin pFq
tiene el significado "p y q#.
El valor de verdad de pFq es/ verdadero si las dos proposiciones que la componen son verdaderas, y es
falso si al menos una de las dos proposiciones que la componen es falsa.
0 6 0A6
& & &
' & '
& ' '
' ' '
!is%uncin: La disyuncin es un conectivo que corresponde a la conjuncin disyuntiva "o#.
;tese que en el lenguaje comn, dadas dos proposiciones p, q, la expresin "p o q# puede indicar uno
de estos dos significados/
a0 "p o q# significa/ "La proposicin p o la proposicin q, o ambas#. En la expresin "el prximo
ministro ser abogado o economista#, la disyuncin "o# tiene el significado que se indica en Ga0. En
efecto, se significa con dic$a expresin que el prximo ministro ser abogado, ser economista o
tendr ambos ttulos.
b0 "p o q# significa " la proposicin p o la q, pero no ambas#. En la expresin "el funcionario dimitir
o ser destituido#, la disyuncin "o# tiene el significado indicado en Gb0, es decir, "el funcionario
dimitir o bien ser destituido, pero no ambas cosas#.
,uando "o# tiene el significado Ga0, se dice que es una "disyuncin inclusiva#, y cuando tiene el
significado Gb0, se dice que es una "disyuncin exclusiva#.
E1e$0lo5 si decimos/ "El domingo a las I p.m. ir) a Aantiago o a ,oncepcin#. @ara cualquiera que
escuc$e, queda claro que si voy a un lugar no ir) al otro- es decir, que una de las acciones de ser
ejecutadas excluye a la otra. El "o# excluyente. Ai en cambio decimos/ "regalar) la ropa vieja o la que
)ste rota#, se entiende que si tengo ropa vieja que adems est) rota, )sta se incluir en el lote que
regalar. En este caso el "o# no es excluyente. Ai en ambos casos se comprende lo que se quiere decir
es por el sentido general de la frase, pero desde un punto de vista lgico, es decir, cuando no nos
interesa el contenido de las proposiciones, sino exclusivamente su valor de verdad o falsedad, $ay dos
interpretaciones diferentes para la relacin establecida entre proposiciones por el conectivo "o#.
#ota: En el lenguaje cotidiano, para aclarar que la "o# que se est empleando es "exclusiva#, se suele
reiterar, es decir, se emplea dos veces- la primera ve., encabe.ando la frase. 2s se dice/ "J paga o lo
demando#, "J entras o sales#.
%epresentaremos la disyuncin inclusiva por el smbolo v , y la disyuncin exclusiva , por el
smbolo
.
El valor de verdad de p q es/ verdadero, si al menos una de las dos proposiciones, es verdadera, y
falso, si ambas proposiciones son falsas.
0 6 P v 6
& & &
' & &
& ' &
' ' '

E1e$0los:
=Estu/io 0or li<ros>5 o =Estu/io 0or a0untes>
- Ai soy un estudiante al que le gusta combinar los temas de los libros con los apuntes de clases,
entonces estudio por ambos. 2s, p y q son ambas verdaderas- el resultado final es/ que estudio, y
en consecuencia pv q es verdadera.
- Ai soy un estudiante que estudia exclusivamente por libros y desec$a todo apunte, entonces estudio
por libros y no por apuntes. 2s p es verdadera y q es falsa- el resultado final es/ que estudio, y en
consecuencia p v q es verdadera.
- Ai soy un estudiante que no estudia por libros y en cambio me limito a tomar apuntes y estudiar por
)stos, entonces no estudio por libros y estudio por apuntes. 2s p es falsa y q es verdadera- el
resultado final es/ que estudio, y en consecuencia p q es verdadera.
- Ai soy un estudiante irresponsable que va a la >niversidad a pasear, entonces ni estudio por libros,
ni estudio por apuntes- en este caso p y q son ambas falsas y como el resultado final es/ no estudio,
entonces p v q es falsa.
El valor de verdad de p q es/ verdadero, si una de las proposiciones es verdadera y la otra falsa- y
es falso, si ambas proposiciones son verdaderas, o si ambas son falsas.
K su tabla de verdad es/
p q p q
& & '
' & &
& ' &
' ' '
E1e$0los: Esta tar/e vo% a Antofagasta o esta tar/e vo% a al/ivia9
G,orrientemente esto se anuncia as/ esta tarde, voy a 2ntofagasta o voy a &aldivia0.
- Ai afirmo que voy a ambas partes, esto indica que ambas proposiciones p y q son verdaderas- pero
el $ec$o es que no puedo ir a ambas partes esta tarde, por lo tanto la proposicin p q es falsa.
- Ai no puedo viajar por falta de dinero, por ejemplo, entonces ni voy a 2ntofagasta, ni voy a
&aldivia- por lo tanto p y q son ambas falsas. El resultado es que no viajo, luego p q es falsa.
- Ai decido ir a 2ntofagasta, entonces esta tarde no ir) a &aldivia- por lo tanto p es verdadera y q es
falsa. El resultado es que viajo, luego p q es verdadera.
- Ai decido ir a &aldivia, entonces esta tarde no ir) a 2ntofagasta- por lo tanto p es falsa y q es
verdadera. El resultado es que viajo, luego p q es verdadera.
Con/icional: La proposiciones que se construyen sobre la estructura/ "Ai ...entonces...# dan lugar a un
importante conectivo/ el "condicional#, algunas veces llamado especficamente "condicional material#.
Au uso en la matemtica es constante. @or ejemplo/ "Ai un nmero es divisible por 3, entonces es
divisible por 4#. "Ai un cuadriltero es un rombo, entonces sus diagonales son perpendiculares#.
El conectivo condicional se representa por el smbolo L, que enla.a las dos proposiciones p, q/ pLq,
se lee/ "Ai p, entonces q#.
De las dos proposiciones p, q ligadas por el conectivo condicional, la primera recibe el nombre de
"antecedente#, y la segunda, de "consecuente#.
@ara examinar el significado de pLq nos apoyaremos en un ejemplo.
Aupongamos que el condicional/
"Ai mi $ijo aprueba, entonces le $ago un obsequio#, lo que significa es simplemente que/ ";o es as
que mi $ijo apruebe y no le $aga un obsequio#.
Ai mi $ijo aprueba, entonces le $ago un obsequio.
";o es as que mi $ijo apruebe y no le $aga un obsequio#.
Es decir, el significado de pLq es el mismo que el de EGpFEq0
;tese a$ora que si p es verdad y q es falso ocurre lo siguiente/ Eq es verdad y como p es tambi)n
verdad, pFEq es verdadero y entonces su negacin EGpFEq0 es falso.
Es decir el condicional pLq es falso, cuando p es verdadero y q es falso. Es fcil ver que en cualquier
otro caso pLq es verdadero. @ara ello veamos la siguiente tabla/
p q EGpFEq0
& & &
' & &
& ' '
' ' &
El valor de verdad pLq es/ falso, si el antecedente p es verdadero y el consecuente q es falso, y es
verdadero en todos los dems casos.
Au tabla de verdad es/
p q pLq
& & &
' & &
& ' '
' ' &
La ra.n de discutir el condicional en funcin de una proposicin EGpFEq0, que segn $emos dic$o,
tiene el mismo significado que pLq, se debe principalmente a que, expresiones de la forma
"Ai....entonces...# tiene diferente sentido en el lenguaje de la lgica proposicional al que normalmente
se les da en el lenguaje corriente.
@or ejemplo, la proposicin/ "si 1 es un nmero par, entonces Duan tiene 1+ a<os#, es absurda en el
lenguaje corriente, ya que la verdad de ser dos un nmero par no tiene relevancia alguna para saber la
edad de Duan.
(ampoco, en el lenguaje corriente, se le asigna algn valor de verdad al condicional, cuando el
antecedente es falso.
@or ejemplo a la proposicin/ "Ai ,oln lleg a la luna, entonces ,oln era astronauta# no le podemos
asignar un valor de verdad de acuerdo con nuestro conocimiento intuitivo como $ablantes del
castellano.
Ejemplo/ La proposicin/ "Ai @e. descubri a 2m)rica, entonces dos es un nmero impar# siempre es
verdadera, ya que es suficiente que el antecedente sea falso para que el condicional sea verdadero.
I$0licacin: Los condicionales que interesan en el ra.onamiento matemtico son los condicionales
verdaderos.
Hueremos asegurarnos que a partir de una proposicin verdadera obtengamos otra proposicin
verdadera. Es por ello que eliminamos el caso en que el condicional es falso, es decir, el caso en que a
partir de una proposicin verdadera obtenemos una proposicin falsa.
2 todo condicional verdadero le damos el nombre de "implicacin# y lo representamos con el smbolo

La implicacin p q se lee/ "p implica q#.
@or ejemplo, supongamos que a es un nmero y/
p/ "a es un nmero divisible por 3#
q/ "a es un nmero divisible por 4#
de la implicacin p q, concluimos que, si p es cierto G@or ejemplo a9 *10, entonces tambi)n q es
cierto.
>na conclusin de gran importancia por lo que concierne al ra.onamiento matemtico es la siguiente/
cada ve. que se tenga una implicacin p q se puede asegurar que si p es verdadera, q tambi)n es
verdadera.
La implicacin tiene la propiedad "transitiva#. Es decir, si se tienen las implicaciones/
p q y q r entonces se verifica la implicacin p r.
Ejemplo/ Aean las proposiciones.
p/ "La figura 2 es un rombo#
q/ "La figura 2 es un paralelogramo#
r/ "La figura 2 es un cuadriltero>
'igu
ra 2
!e las /os i$0licaciones:
p q, o sea/ "La figura 2 es un rombo implica que la figura 2 es un paralelogramo#.
q r, o sea/ "La figura 2 es un paralelogramo implica que la figura 2 es un cuadriltero#.
,oncluimos/ p r es decir/
"la figura 2 es un rombo que implica que la figura 2 es un cuadriltero#.
E6uivalencia/ Ai se verifican las implicaciones p q y q p entonces se dice que p y q son
equivalentes y se escribe p q.
Aupongamos que a, b son nmeros y consideremos las siguientes proposiciones/
p/ "a 8 M b 8 *#
q/ "a Mb#
Ae verifica p q es decir p es equivalente a q, lo cual significa que cada ve. que p es verdadera
tambi)n q es verdadera y cada ve. que p sea falsa, tambi)n q es falsa.
Signos /e agru0acin: Los componentes de una proposicin compuesta pueden ser a su ve.
proposiciones compuestas. @ara evitar confusiones y ambig!edades introduciremos algunos signos de
agrupacin que nos facilitarn indicar la estructura de las proposiciones.
>saremos los siguientes signos de agrupacin.
@ar)ntesis "G 0#
,orc$etes "
Llaves "N O#
El uso de estos signos de agrupacin es bastante anlogo a la forma en que se utili.an los mismos en
aritm)tica.
El uso de signos de agrupacin se regir por las siguientes reglas/
*0 Los par)ntesis que $ayan de encerrar otros par)ntesis, no encerrados ya por otros signos de
agrupacin, sern sustituidos por corc$etes, no encerrados ya por otros signos de agrupacin, sern
sustituidos por llaves.
10 ,uando una componente de una proposicin sea a su ve. una proposicin compuesta, con un
conectivo distinto de la negacin, ir entre signos de agrupacin de acuerdo con la regla *0.
Ejemplo/ @ara negar la proposicin compuesta p q debemos encerrar la proposicin entre par)ntesis y
de esta forma la negacin colocada antes de los par)ntesis, afectar la proposicin p q/ EPGp F q0LrQ
TALLER !E L.GICA

)2 !eci/a si ca/a una /e las siguientes oraciones es o no una 0ro0osicin lgica:
a0 *1 R S = +
b0 (enga un feli. da.
c0 Aantiago es la capital de ,$ile.
d0 TUabla >sted ingl)sV
e0 x es mayor que y.
f0 *S es un nmero primo.
'2 Tra/ucir en un lengua1e si$<lico B0ro0osiciones at$icas % conectivos2 las
siguientes afir$aciones :
a0 Duan es estudiante y @edro es futbolista.
b0 Estudio o voy al cine.
c0 Ai camino, me canso.
d0 =e voy a mi pie.a, pero no $ago la tarea.
e0 &oy a navegar en Wnternet, si estoy desocupado.
f0 Ai @)re. recibi el telegrama, entonces o tomo el avin o prefiri ignorar nuestro pedido.
g0 Ai @ablo recibi el mensaje, entonces asistir a la reunin y no presentar su renuncia.
$0 Ai se presentan los sntomas ordinarios de un resfro y el paciente tiene alta temperatura, entonces, si
tiene peque<as manc$as en la piel, est con sarampin.
*2 !eci/a si ca/a una /e las siguientes 0ro0osiciones es er/a/era o +alsa9 -ustifi6ue
su res0uesta9
a0 Ai 1 8 1 9 : entonces : 8 : 9 *+
b0 no es verdad que / 1 8 1 9 S si y solo si :8:9*+
c0 Ai *1 M 4 entonces X 4 M X*1
d0 Es verdad que / 1 8 1 9 : y 48493
e0 Ai 4 M *1 entonces X4 M X *1
f0 ;o es verdad que/ R8:91* o *R8391*
g0 El tringulo equiltero tiene solo dos lados iguales o el tringulo issceles tiene
tres lados iguales.
$0 Ai 1839I entonces no es cierto que *S84 9*R si y solo si **819*1
72 Re0resente con p a la 0ro0osicin =ella tiene ojos azules> % con q a =l tiene 45 aos
de edad>9 Tra/uCca ca/a 0ro0osicin a lengua1e colo6uial usual9
a0 E p b0 E q c0
q p
d0
q p
e0 E p

q f0 p

E q
g0 E p

q $0 E p

q i0 E G p E q0
j0 p E q Y0 p q l0 E G E p E q 0
D2 Sean p5 q y r 0ro0osiciones5 tales 6ue: p es , q es , r es +.
!eter$ine el valor /e ver/a/ /e las siguientes 0ro0osiciones:
a0
( ) ( ) q p q p
b0
( ) ( ) r p q p E
c0
( ) ( ) p q q E r
d0
( ) ( ) r q r p
E2 Sean p5 q y r 0ro0osiciones5 tales 6ue/ p es V , q es F , r es V.
!eter$ine el valor /e ver/a/ /e las siguientes 0ro0osiciones:
a0 ( ) ( ) [ ] ( ) r p r q q p b0
( ) ( ) r q r p E
c0
( ) ( ) p r q p
d0
( ) ( ) r q E r p
F2 Construir una ta<la /e ver/a/ 0ara las siguientes 0ro0osiciones co$0uestas:
a0 ( ) ( ) q p q p b0 ( ) ( ) q p E q p c0 ( ) ( ) q E p E q p
d0 ( ) ( ) r q r p e0 ( ) ] [ p p q p f0 ( ) ( ) p E q E q p
I2 Sean p y q 0ro0osiciones5 tales 6ue
q p
es una 0ro0osicin +alsa9
Determine el valor de verdad de la proposicin/
( ) ( ) p q q p
Z2 Sea p y q 0ro0osiciones5 tales 6ue
q p
es una 0ro0osicin er/a/era9
Determine el valor de verdad de la proposicin/
( ) ( ) q p q p
)(2 !a/a las 0ro0osiciones:
p/ el triangulo es un polgono de tres lados
q/ el triangulo de tres lados iguales es equiltero
a0 Escribe en palabras las proposiciones/
i0 E p ii0 p E q iii0 p E q iv0 E G E p0 E q
b0 Escribe usando los conectivos lgicos y las proposiciones p ,q /
i0 ;o es cierto que el tringulo es un polgono de tres lados.
ii) Ai el triangulo es un polgono de tres lados entonces es falso que el triangulo de tres lados
es equiltero
))2 3 Son ( ) r q p / '
*
y ( ) ( ) r q r p / '
1
e6uivalentes 4
*1. ,omplete las siguientes tablas de verdad
a0
p q p q
& &
' &
& '
' '
b0
p q pLq
& &
' &
& '
' '
c0
0 6 P A 6
& &
' &
& '
' '