Está en la página 1de 18

O.A.D.

Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi


on preliminar)
1. Logica Proposicional
[No publicar]
1.1.

Introduccion

La l
ogica actual, se ocupa fundamentalmente del discurso (o razonamiento) cuyos enunciados (o propuestas) son, o bien verdaderos o bien falsos (discurso apofantico).
Frente a un largo discurso en relaci
on a un tema que ignoramos, sera imposible pronunciarnos sobre la verdad o falsedad de las afirmaciones que contiene; pero si entre
ellas existen dos contradictorias entre s, sabemos que dicho discurso no es verdico. En
este proceso habremos utilizado la l
ogica formalque, independiente de su contenido,
identifica las relaciones aceptables entre las proposiciones.
Es as como la l
ogica constituye una herramienta muy necesaria al momento de analizar
si un discurso es o no verdadero, o bien extraer el real contenido del discurso en cuanto
a que se propone en el.
Por ejemplo: LA BODA. Cuando Mara pregunto a Mario si quera casarse con ella, este
contest
o: No estara mintiendo si te dijera que no puedo no decirte que es imposible
negarte que si creo que es verdadero que no deja de ser falso que no vayamos a casarnos.
Mara se mare
o. Puede ayudarla diciendola si Mario quiere o no quiere casarse?
Vemos en el caso anterior que el discurso esta construido en base a una serie de afirmaciones y negaciones que en conjunto establecen si Mario quiere o no casarse con Mara.
La logca proposicional nos permite analizar y obtener el valor de verdaddel discurso.

1.2.

Calculo Proposicional

Observaci
on: Una de las razones
que motiv
o la aparici
on de la l
ogica matem
atica, fue evitar la ambig
uedad del lenguaje natural y
transformar el pensamiento en un
c
alculo. Simplificar o simbolizar las
oraciones o juicios para poder operar con ellas. En general, se puede
decir, que la l
ogica es la ciencia de
los principios de inferencia o razonamientos formalmente v
alidos. La
l
ogica se ocupa de la validez de los
razonamientos y no de la verdad o
falsedad de los enunciados que los
componen.
Lo especfico de un razonamiento o
inferencia consiste en derivar una
conclusi
on a partir de unas premisas siguiendo una regla de inferencia dada. De esta conclusi
on se dice
que es formalmente v
alida, es decir,
que si sus premisas son verdaderas
entonces la conclusi
on tambi
en es
verdadera.

Definici
on 1.1. Se entiende por proposici
on (o enunciado) el contenido transmitido en un discurso apof
antica. Es decir una proposici
on se distingue por ser o bien
verdadero o bien falso, pero no ambos simultaneamente.

En todo razonamiento, es posible diferenciar la forma del contenido. As, por ejemplo:
Si llueve, entonces no ire al teatro.
Si pago las deudas, entonces no tendre problemas.
Son dos enunciados de contenidos diferentes. Su forma, sin embargo, es la misma. Su
estructura se representa as:
Si........., entonces..........
Se puede llenar el espacio vaco con letras may
usculas, que representaran el contenido
de los enunciados (proposiciones) quedando la expresion:
Si

entonces

De esta manera para el primer razonamiento:


P corresponde a la afirmacion Llueve, y
Q corresponde a la afirmacion No ire al teatro

95

Observaci
on: A la l
ogica le interesa u
nicamente la forma de los
razonamientos. A esto se le denomina l
ogica formal o ciencia de las
formas o esquemas v
alidos de razonamientos. La l
ogica ha de hacerse
con un lenguaje en el cual la forma
aparezca aislada, y en el que la estructura del razonamiento se muestre sola.

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Definici
on 1.2.
on de proposiciones):
cada
on tiene una
Apunte
de(Simbolizaci
Algebra
(Versi
onproposici
preliminar)
forma l
ogica a la cual se le da un nombre.
[No publicar]
Se distinguen dos tipos de proposiciones: simples (formulas) y complejas (compuestas).

Una proposici
on se denomina simple cuando en ella no interviene ninguna
conectiva l
ogica o termino de enlace (y, o, no, si...entonces..., si y s
olo si).
Si se juntan una o varias proposiciones simples con un conectivo l
ogico (o termino
de enlace), se forma una proposici
on compleja.

Observaci
on: Los llamados conectivos l
ogicos, a saber: y, o,
si... entonces..., y si y s
olo
si; se usan para ligar dos proposiciones, en cambio el conectivo l
ogico nose agrega a una sola proposici
on.

Ejemplos:
1. Hoy es Miercoles
2. Hay clases de Algebra
Son, ambas, proposiciones simples (o formulas). Con ellas podemos construir proposiciones compuestas tales como:
1. Hoy es Miercoles

hay clases de Algebra

2. Hoy es Miercoles

hay clases de Algebra

3. Si
4. Hoy

hoy es Miercoles
no

entonces

hay clases de Algebra

es Miercoles.

Observaci
on: Para representar
las proposiciones se utilizan letras
latinas tales como P , Q, R, etc.

Ejemplo:
Hoy es Miercoles

Observaci
on: La forma de las
proposiciones compuestas depende
del conectivo l
ogico utilizado, y no
del contenido de las proposiciones
simples. Es decir, si en una proposici
on compuesta se sustituyen
las proposiciones simples por otras
proposiciones simples cualesquiera,
la forma de la proposici
on compuesta se conserva.

hay clase de Algebra.

La forma de la proposici
on sera

................ y .............

En los espacios punteados pueden colocarse las proposiciones anteriormente dadas u


otras proposiciones.
Ejemplo:
Sean:
P : Hoy es Miercoles.
Q: Hay clase de Algebra.
Luego la proposici
on:
Hoy es Miercoles y hay clase de Algebra, se simboliza:
P

96

Observaci
on: se usan smbolos
para representar los t
erminos de enlace, as:
Para la y se utiliza el smbolo
.
Para la o se utiliza el smbolo
.
Para el no se utiliza el smbolo .
Para el si...entonces.. se utiliza el smbolo .
Para
si y s
olo si
se utiliza
el smbolo .

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Ejemplos:

Apunte
de Algebra
(Versi
on preliminar)
1. Es tarde y est
a muy oscuro.
[No publicar]
2. Es tarde o est
a muy oscuro.
3. Si madrugo entonces llego temprano.
4. No ocurre que el da este caluroso.

Definici
on 1.3.
* Cuando una proposici
on compuesta utiliza el termino de enlace y es una conjunci
on.
* Si el enlace se hace mediante la conectiva o es una disyunci
on.
* Si se usa el termino no es una negaci
on.
* Cuando la conectiva es si ...entonces... es una proposici
on condicional, la
primera proposici
on se denomina antecedente y la segunda consecuente.
* si utiliza si y s
olo si se tiene un bicondicional.

En proposiciones que tienen m


as de un termino de enlace es preciso indicar la manera
de agruparse, pues distintas agrupaciones pueden tener distintos significados. En logica
la agrupaci
on se indica por medio de parentesis.
Ejemplo:
O los soldados encontraron cerrado el paso, o si temieron un ataque enemigo se
refugiaron en las monta
nas.
Este texto se simboliza de la siguiente forma:
P : Los soldados encontraron cerrado el paso.
Q: Los soldados temieron un ataque enemigo.
R: Los soldados se refugiaron en las monta
nas.
La proposici
on compuesta es:

P (Q R)
Observaci
on: Debemos notar que
P (Q R) tiene un sentido distinto de la proposici
on (P Q) R.

Definici
on 1.4. Cuando no hay lugar a ambiguedades, pueden omitirse los parentesis y se adopta una convenci
on con respecto a la dominancia relativa de los
diversos conectivos, La convenci
on indica que y

dominan a
y

Con esta convenci


on, no est
a claro lo que significa por ejemplo:
P QR o P QR
Aqu, es necesario usar parentesis para aclarar, en el primer caso, si se trata de:
(P Q) R o bien de P (Q R)
Y en el segundo caso, si se trata de :
(P Q) R

o bien de

P (Q R)

97

Esto es: Si los soldados encontraron cerrado el paso o temieron un


ataque enemigo, se refugiaron en las
monta
nas.

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Ejemplos:
simbolizar completamente
las proposiciones,
utilizando o
losn
smbolos
correspondienApunte
de Algebra
(Versi
preliminar)
tes a cada conectivo l
ogico. Indicar las proposiciones simples sustituidas por cada
letra may
uscula.
[No publicar]
1. En el hemisferio sur, julio no es un mes de verano.
2. Si dos pulsaciones se atraviesan, contin
uan conservando la forma original.
3. Ni Antonio ni Ana estudian en la universidad.
4. O Pedro es presidente y Juan es tesorero, o Jaime es tesorero.
5. Si este cuadro es negro entonces aquel cuadro es rojo y su rey esta sobre el
cuadro rojo.

1.3.

Tablas de Verdad

Estas tablas pueden construirse haciendo una interpretacion de los signos logicos, ,
y , y , como: no, o, y, si. . . entonces, s y solo si, respectivamente.
La interpretaci
on corresponde al sentido que estas operaciones tienen dentro del razonamiento.
Para la construcci
on de la tabla se asignara el valor V o 1(uno) a una proposicion cierta
y F o 0 (cero) a una proposici
on falsa. Las siguientes son las tablas de verdad definidas
para las proposiciones m
as simples.

Definici
on 1.5. Negaci
on: El valor de verdad de la negaci
on P es el contrario
de la proposici
on negada P , su tabla de verdad es:
P
V
F

P
F
V

Ejemplos:
Vamos a ayudar a Mara a entender la respuesta de Mario. Esta fue:
No estara mintiendo si te dijera que no puedo no decirte que es imposible negarte
que si creo que es verdadero que no deja de ser falso que no vayamos a casarnos.
As, si P : vamos a casarnos,
tenemos que podemos validar la proposicion original a fin de encontrar proposiciones
equivalentes m
as claras:
No estara mintiendo Es Verdad
si te dijera que
no puedo no decirte que es imposible negarte Es imposible negarte
que
si creo que es verdadero Es Verdad
que
no deja de ser falso Es falso
que
no vayamos a casarnos.

98

Observaci
on: Denominamos
Teorema a una proposici
on (afirmaci
on l
ogica) que es verdadera.
Puede establecerse una correspondencia entre los resultados de
estas tablas y la deducci
on l
ogico
matem
atica.
En consecuencia, las tablas de verdad constituyen un m
etodo de decisi
on para chequear si una proposici
on es o no verdadera (es o no un
teorema).

Observaci
on: En lenguaje cotidiano es com
un la utilizaci
on de argumentos con doble negaci
on como
No, no puedo asistir.entendiendose
No puedo asistir, por lo cual es
necesario puntualizar que, en logca
formal, ( P ) equivale a afirmar P .

O.A.D. Facultad de Ingeniera - 2014

Apunte de Algebra (Versi


on preliminar)
[No publicar]
Que equivale a que la afirmaci
on:
Es imposible negarte que es falso que no vayamos a casarnos,
Que equivale a que la afirmaci
on:
Es falso que no vayamos a casarnos,

es verdadera.

es verdadera.

Que equivale a que la afirmaci


on:
Vamos a casarnos,
es verdadera.
Luego P es verdadera y Mario piensa casarse con Maria.

Definici
on 1.6. Disyunci
on: La disyunci
on P Q considera dos proposiciones
componentes (P y Q) y solamente es falsa si, simultaneamente, son falsas sus dos
componentes. Su tabla de verdad es:

Observaci
on: Para que la disyunci
on P Q sea verdadera, basta que
una de sus componentes sea verdadera. Sin embargo existen proposiciones que no son verdaderas
si ambas, P y Q, son verdaderas.
En tal caso hablamos de una Disyunci
on excluyente la simbolizamos con P OQ.
2

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

As, tenemos:
Es verdad si te dijera que es imposible negarte que es falso que no vayamos a
casarnos

P
V
V
F
F

P Q
V
V
V
F

Q
V
F
V
F

Observaci
on: Para que la conjunci
on P Q sea falsa, basta que una
de sus dos componentes sea falsa.

Definici
on 1.7. Conjunci
on: La conjunci
on P Q considera dos proposiciones
componentes (P y Q) y solamente es verdadera si, simultaneamente, son ambas
verdaderas. Su tabla de verdad es:
P
V
V
F
F

P Q
V
F
F
F

Q
V
F
V
F

Definici
on 1.8. Condicional: La condicional P Q considera dos proposiciones componentes (P y Q) y solamente es falsa si, simultaneamente, el antecedente
es verdadero y el consecuente es falso. Su tabla de verdad es:
P
V
V
F
F

Q
V
F
V
F

P Q
V
F
V
V

99

Observaci
on: En la condicional
P Q, denominamos a P como
antecedente y a Q como consecuente. As, plantea que un antecedente verdadero no puede concluir
en un consecuente falso.

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Observaci
on: Para que la bicondicional P Q sea falsa, basta que
una de las propocisiones componentes lo sea.

Apunte de Algebra (Versi


on preliminar)
Definici
on 1.9. Bicondicional: La bicondicional P Q considera dos propopublicar]
siciones componentes (P y Q) y solamente es verdadera [No
si ambas tienen
el mismo
valor de verdad. Su tabla de verdad es:
P
V
V
F
F

P Q
V
F
F
V

Q
V
F
V
F

Definici
on 1.10. Tautologa: corresponde a una proposici
on compleja que es
cierta para cualquier valor de verdad de cada una de sus componentes.

Definici
on 1.11. Contradicci
on: corresponde a una proposici
on compleja que
es una falsa cualesquiera sea el valor de verdad de cada una de sus componentes.

Definici
on 1.12. Contingencia: corresponde a una proposici
on compleja que
es verdadera para algunos valores de verdad de cada una de sus componentes y es
falsa para otros.

Observaci
on: Puede incluir muchas proposiciones simples y/o
complejas y cualquiera sea el valor
de verdad de las propocisiones simples que la componen, ella resulta
verdadera.

Observaci
on: Puede incluir muchas proposiciones simples y/o
complejas y cualquiera sea el valor
de verdad de las propocisiones simples que la componen, ella resulta
falsa. Se entiende como la negaci
on
de una tautologa.

Observaci
on: Puede incluir muchas proposiciones simples y/o
complejas y para diferentes combinaciones del valor de verdad de las
propocisiones simples que la componen, ella resulta con diferente valor de verdad.

Definici
on 1.13. Equivalencia: dos proposiciones son l
ogicamente equivalentes
si al conectarlas mediante la bicondicional, la proposici
on resultante es una tautologa. Si esto ocurre escribimos P Q o bien P Q. Esto es, sus tablas de
verdad son identicas. (Implicancia l
ogica, equivalencia l
ogica.)

Ejemplos:
1. la proposici
on [(( P ) Q) Q] P
es una Tautologa. En Efecto:
P
V
V
F
F

Q
V
F
V
F

P
F
F
V
V

Q
F
V
F
V

( P ) Q
V
F
V
V

100

[(( P ) Q) Q]
F
F
F
V

[(( P ) Q) Q] P
V
V
V
V

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

2. la proposici
on [(P Q) Q] Q
es una contradicci
on. En Efecto: (Versi
Apunte
de Algebra
on preliminar)
P Q Q (P Q) [(P Q) Q] [(P [No
Q) Q]publicar]
Q
V V
F
V
V
F
V
F
F

F
V
F

V
F
V

F
F
F

F
V
F

F
F
F

3. la proposici
on P (P Q) P
es una equivalencia l
ogica. En Efecto:
P
V
V
F
F

Q
V
F
V
F

(P Q)
V
V
V
F

P (P Q)
V
V
F
F

P (P Q) P
V
V
V
V

4. Demuestre usando la tabla de verdad que


[(p q) (r q)] (p r)
es una propiedad. Desarrollo:
P
V
V
V
V
F
F
F
F

Q
V
V
F
F
V
V
F
F

R
V
F
V
F
V
F
V
F

Q
F
F
V
V
F
F
V
V

R
F
V
F
V
F
V
F
V

P Q
F
F
V
V
V
V
V
V

RQ
V
V
F
V
V
V
F
V

(P Q) (R Q)
F
F
F
V
V
V
F
V

(P R)
F
V
F
V
V
V
V
V


(P Q) (R Q) (P R)
V
V
V
V
V
V
V
V

Como el condicional es una tautologa, queda demostrada la proposicion.


5. Sean p, q y r tres proposiciones, tal que (pq) r tiene valor de verdad Falso.
Determinar el valor de verdad de ( p r) q p
Desarrollo:
(p q) r

Falso

= (p q)

Verdadero y

Falso

Luego p Verdadero, q Verdadero y r Falso


Luego p Falso, q Falso, y as ( p r) es Falso
Por lo tanto la condicional ( p r) q p es Verdadera.
6. Suponga que, p : 7 + 4 > 5, q : El da tiene 25 horas y r : Este es un test de

Algebra;
siendo p, q y r verdadera, falsa y verdadera respectivamente. Escriba
en lenguaje com
un y determine el valor de verdad de la proposicion.
T : (p q) (p r).
Desarrollo
Si 7 + 4 > 5 entonces el dia tiene 25 horas, y si 7 + 4 > 5 entonces este es un

test de Algebra
Ahora:
(p q) es Falso, pues p es verdadero y q es falsa
(p r) es Verdadero, pues p y r son verdaderas.
Luego la Proposici
on T es Falsa.

101

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

7. Sean P , Q, R y S proposiciones. Si se sabe u


nicamente que P es verdadero,
Que puede afirmarse del valor de verdad de cada una de las proposiciones
siguientes

Apunte de Algebra (Versi


on preliminar)
[No
a) P Q
e) P Q
i ) Spublicar]
P
b) R P

f ) R (S P )

j) P Q R

c) S P

g) R P

k) Q P R Q

d) R P

h) P P S

8. Que puede concluirse de cada una de las proposiciones anteriores, si P es


falsa, Q es verdadera y R es verdadera?
9. Sean P , Q y R proposiciones simples, si R P Q P es falsa y tambien P
es falsa; Que puede afirmarse de R y de Q?.
10. Sean P , Q y R proposiciones simples, si R P Q P es falsa; Que puede
afirmarse de P , Q y R?.
11. Sean P , Q y R proposiciones simples. Determinar cuales de las siguientes
proposiciones son tautologas:
a) P Q P R

d ) (P Q) (P Q)

b) (P Q) ( Q P )

e) P (Q P )
f ) P ((P Q) R)

c) P P Q

1.4.

Algebra de Proposiciones

La l
ogica Proposicional satisface el siguiente conjunto de propiedades. Esto es cada una de las siguientes
proposiciones constituye una tautologa.
1. P P
2. a. (P P ) P

Doble negaci
on.
b. (P P ) P

3. a. (P Q) (Q P )

Idempotencia.

b. (P Q) (Q P )

4. a. [(P Q) R] [P (Q R)]

b. [(P Q) R] [P (Q R)]

5. a. [P (Q R)] [(P Q) (P R)]


6. a. (P Q) ( P Q)

c. (P Q) (Q P )

Asociatividad.

b. [P (Q R)] [(P Q) (P R)] Distributividad.

b. (P Q) ( P Q)

Leyes de Morgan.

7. (P Q) ( Q P )
8. a. (P Q) (P Q)

Conmutatividad

Contra Reciproca.
b. (P Q) (P Q) (Q P )

9. a. (P Q) [(P Q) (Q P )
c. (P Q) ( P Q)

Negaciones.

b. (P Q) [(P Q) ( P Q)
Otras: Condicional y Bicondicionales

102

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Ejemplo 1. Sean P y Q, dos proposiciones. Utilizando las leyes del algebra de proposiciones, simplificar
la siguiente formula [ (P Q) Q] Q

Apunte de Algebra (Versi


on preliminar)
Desarrollo:
[No publicar]
[ (P Q) Q] Q [ ( (P Q)) Q] Q
por 9C.
[(P Q)) Q] Q

por 1.

[ (P Q) ( Q)] Q

por 6b.

[( P Q) Q] Q

por 6a y 1.

Q [( P Q) Q]

por 3b.

(Q ( P Q)) (Q Q)

por 5b.

(Q ( P Q)) Q

por 2b.

(Q ( Q P )) Q

por 3b.

((Q Q) P )) Q

por 4b.

Ejemplo 2. Sea ~ el conectivo l


ogico definido por: p ~ q (p q) Demuestre la equivalencia logica
p ~ (p ~ q) p q
.
Desarrollo:
p ~ (p ~ q) (p (p ~ q))

, usando la definicion ~

(p (p q))

, usando la definicion ~

(p ( p q))

, condicional

(p (p q))

, De Morgan

( p (p q))

, condicional

(( p p) ( p q))

, distributividad

(V ( p q))

, p complemento de p

( p q)

, identidad

pq

Ejemplo 3. Demuestre que:

, de Morgan

p (q p) p q

Desarrollo:
p (q p)

p ( q p)

, Condicional

( p q) ( p p)

( p q) F

p q

, Distributividad

, p Complemento de p
, Disyuncion

103

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

1.5.

Razonamiento Logico

Apunte de Algebra (Versi


on preliminar)
[No
publicar]
Definici
on 1.14. Argumento L
ogico: Un argumento l
ogico ( o argumento) es una condicional
de la forma: (P1 P1 Pk ) Q donde las proposiciones P1 , P2 , , Pk son llamadas
premisas y originan como consecuencia otra proposici
on Q, llamada conclusi
on.
a) Un argumento l
ogico se denomina Argumento Valido si dicha condicional es una tautologa.
b) Un argumento l
ogico se denomina Falacia si dicha condicional es falsa (contradicci
on).

Nota: un argumento no se modifica si una o varias de las premisas se reemplazan por otras premisas
equivalentes.

Teorema 1.1. Si un argumento es valido y las premisas son verdaderas, entonces la


conclusi
on es verdadera.

1.6.

Metodos
de Demostracion

Te
oricamente, todos los teoremas de la l
ogica proposicional se pueden demostrar utilizando solamente los axiomas y las reglas de validez; sin embargo, se establecen reglas
de prueba y metodos de demostraci
on con el fin de abreviar el proceso deductivo. A
continuaci
on se presentan los principales metodos de demostracion y reglas de prueba.

Definici
on 1.15. M
etodo directo o de Hip
otesis auxiliar. Se utiliza para la
demostraci
on de implicaciones, y dice:
Sean R y S proposiciones (f
ormulas). Si al suponer que R es verdadera, se puede
hacer una demostraci
on de que S es verdadera, entonces la implicaci
on R S es
una Proposici
on (f
ormula) verdadera.

Esquema Operativo General:


Para demostrar que una f
ormula del tipo R S es teorema, se procedera as:
a) Se supone que el antecedente R es verdadero

(hipotesis auxiliar).

b) A partir de la hip
otesis, se construye un argumento logico en el cual se pueden
utilizar los axiomas y los teoremas ya probados, mediante la aplicacion de las reglas de
validez, para llegar a la f
ormula S como conclusion o tesis.
c) En este punto concluye la prueba y queda establecida la verdad de R S.

104

Observaci
on: Este es un metodo
constructivo, el cual a partir de una
proposici
on inicial R, que se considera verdadera, se avanza a una siguiente verdad y as sucesivamente
hasta arrivar a que la proposici
on
S es verdadera. De esta manera se
concluye que la proposici
on condicional (implicancia) R S es verdadera.
As, lo que realmente se prueba es
la validez de la implicancia. Mientras que, solo si se sabeque R
es realmente verdadera, concluimos
que tambien S es verdadera.

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Ejercicio: demostrar, de manera directa que la siguiente proposicion

Apunte de [(P
Algebra
on
Q) ( R (Versi
Q) R]
P preliminar)
[No publicar]
es un teorema.
Soluci
on.:
[(p q) ( r q) r] p
[(p q) ( r q) r] p

, por 9c

[( p q) ( r q) r] p

, por 9c

[ (p q) ( r q) r] p

, leyes de Morgan

([ (p q) ( r q) r] p)

, leyes de Morgan

([ (p q) {(r r) (q r)}] p)

, leyes de Morgan

([ (p q) {(F (q r)}] p)

, r opuesto a r

([ (p q) (q r)] p)

, disyuncion

([ (p q) (p q)] r)

, distributividad

(F r)

, opuesto

, conjuncion

, negacion

Definici
on 1.16. M
etodo indirecto o de reducci
on al absurdo. Se utiliza para la demostraci
on
de implicaciones, y dice:
Sean P1 , P2 , , Pk proposiciones (premisas). Si al suponer que una proposic
on Q es falsa, se puede
hacer una demostraci
on de que una o m
as premisas es falsa, entonces la implicaci
on
(P1 P2 P k) Q
es una f
ormula verdadera.

Observaci
on: En la demostraci
on
de un teorema por contradicci
on suponemos que la conclusi
on, Q, es
falsa y utilizando la hip
otesis P, y
otros teoremas y equivalencias l
ogicas cuya validez fue establecida previamente, se llega a una contradicci
on. Es decir, alguna de las verdades ya establecidas es contradicha.

Esquema Operativo General:


Para demostrar que una f
ormula del tipo
(P1 P2 P k) Q

es un teorema.

Se proceder
a as:
a) Se supone que la conclusi
on Q es falsa
Esto es equivalente a suponer que
(P1 P2 P k) Q

(hipotesis auxiliar).
es verdadera

b) A partir de la hip
otesis, se construye un argumento logico en el cual se pueden
utilizar los axiomas y los teoremas ya probados, mediante la aplicacion de las reglas de
validez, para llegar a Pj (para alg
un j) como conclusion o tesis.
c) En este punto concluye la prueba y queda establecida la verdad de
(P1 P2 P k) Q

105

Ejercicio: demostrar que Si m , entonces:

Apunte de Algebra
si m par (Versi
m es par on preliminar)
.
[No publicar]
Soluci
on: Supongamos, por el contrario, que m es par y m impar (negacion de la

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

propiedad).
m impar

m = 2n + 1 , para alg
un n
m2 = (2n + 1)2
m2 = 4n2 + 4n + 1
m2 = 2(2n2 + 2n) + 1 , es impar, pues 2n2 + 2n .

lo que contradice la hip


otesis (m2 par).

Definici
on 1.17. M
etodo por la contrarrecproca. Se utiliza para la demostraci
on de implicaciones P Q.
La demostraci
on de un teorema se dice que es utilizando la contrarrecproca cuando suponiendo que la
conclusi
on, Q, es falsa y utilizando la hip
otesis y otros teoremas y equivalencias l
ogicas establecidas
previamente, se concluye que P es falso. Est
a basada en la equivalencia l
ogica entre una condicional
y la condicional llamada su contrarrecproca:
(P Q) ( Q P )

Esquema Operativo General: En este caso se utiliza el Esquema de la demostracion directa, pero
sobre el condicional ( Q P )

Ejercicio: Demuestre usando el contrarrecproco que

Sea x . Si x2 es par, entonces x es par.

Desarrollo:
Hip
otesis (P ): x2 es par.
Tesis (Q): x es par.
Usando el metodo del contrarrecproco

P Q

Q P

Entonces:
Q (Tesis del contrarreciproco): x no es par.
P (Hip
otesis del contrarreciproco): x2 no es par.

As, al suponer que x no es par, es decir x es impar, tenemos que existe k


Se tiene que
x2 = (2k 1)2 = 4k 2 4k + 1 = 2(2k 2 2k) + 1 = 2r + 1

con r = 2k 2 2k .
Por lo tanto x2 es par.

106

Z tal que x = 2k 1.

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Ejemplo:
Demuestre, dede
manera
directa, que si a y
b son n
umeros
entonces a + b es
Apunte
Algebra
(Versi
onpares,preliminar)
n
umero par. Donde un n
umero par se caracteriza por poder escribirse como 2k para
alg
un k entero. Soluci
on directa :
[No publicar]
suponga que a y b son n
umeros pares,

( Hipotesis auxiliar.)

luego, a = 2n y b = 2m con n, m Z .
Entonces, a + b = 2n + 2m = 2(n + m); y (n + m)

Z.

Por tanto, si n + m = k; a + b = 2k,


es decir, a + b es un n
umero par.

1.7.

Cuantificadores

Las proposiciones (expresiones o razonamientos):


Todo hombre es mortal.
Algunos hombres son sabios.
Pueden escribirse, respectivamente como:
Para todo x, si x es hombre entonces x es mortal.
Existe un x, tal que x es hombre y x es sabio.

Observaci
on: Otros giros utilizados para la expresi
on para todo
x, son:
Todo x
Cualquiera x
Cada x.
Para la expresi
on Existe un x,
son:
Hay x
Existe x, tal que
Alg
un x
Algunos x

Que, en el primer caso se simbolizan por x y se llama cuantificador universal.


Mientras que en el segundo caso se simbolizan por x y se llama cuantificador existencial.
As, en el primer caso se escribe: x, si x es hombre x es mortal.
Mientras que la segunda propocisi
on ser
a: x: x es hombre x es sabio.

1.8.

Funciones Proposicionales

Considerense las siguientes proposiciones:


P : Gustavo es m
edico.
Q : Alvaro es m
edico.
R : Enrique es m
edico.
Estas proposiciones tienen algo en com
un, y es la propiedad de ser m
edico. Esto
puede formularse recurriendo a la expresi
on x es medico en donde x es una variable
individual, la cual indica que el sujeto o termino que tiene la propiedad de ser medico
es indeterminada.
Expresiones de esta forma, dadas en terminos de una o varias variables, reciben el
nombre de funciones proposicionales y las denotamos por P x, Qx, etc..

107

Observaci
on: La expresi
on x es
medico no puede considerarse como una proposici
on puesto que no
es ni verdadera ni falsa.
As en el caso anterior x es hombre, x es mortal y x es sabio
no son proposiciones, pues ser
an
verdaderas (o falsas) de acuerdo al
nombre que reemplace a x.

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte de Algebra (Versi


on preliminar)
Definici
on 1.18. Existen tres formas de convertir una funci
on proposicional P x en una proposici
on
a saber:
[No publicar]
a) Haciendo la sustituci
on de las variables por un termino especfico.
b) Anteponiendo la expresi
on para todo x o cuantificador universal.
c) Anteponiendo la expresi
on existe al menos un x o cuantificador existencial.

Definici
on 1.19. El enunciado existe al menos un x tal que P x se representa como:
(x) (P x)
El enunciado para todo x, P x se representa como:
(x) (P x)

Una proposici
on de la forma (x) (P x) es verdadera cuando cada valor diferente de la
variable x convierten a P x en enunciado verdadero.
Un enunciado de la forma (x) (P x) es verdadero cuando al menos un caso de sustituci
on de la variable x por un termino especfico del conjunto de referencia, convierte a
P x en un enunciado verdadero. As este enunciado sera verdadero si en 1, 2, 3 ... etc.
casos, es verdadero.
Nota: Las proposiciones universales pueden aparecer negadas .
La proposici
on ninguno es mec
anico no es equivalente a la proposicion no todos son
mec
anicos.
As, negar que

(x) (P x)

se hara mediante la proposici


on

Observaci
on: Para determinar si
un enunciado que incluye P x es
verdadero o falso, debemos conocer cuales son los x a que se refiere la expresi
on. Al total de estos lo
llamaremos Conjunto de Referencia, y cada uno ser
a un Termino
del conjunto de referencia.
Observaci
on: Las
palabras
ning
un,
ninguno,
nada,
nadie corresponden a enunciados
universales con negaciones, pero de
una manera distinta.

(x) (P x)

y sera verdadera si P x es falsa para almenos uno de los valores de x.


Es decir si:
(x) ( P x),
es verdadera
Ejemplo:
El enunciado:

Todos los Gatos rasgu


nan

se escribe:

(x)(P x)

Donde la funci
on proposicional est
a dada por:
P x: Rasgu
na
y el conjunto de referencia son los gatos.
Su negaci
on sera:
que se escribe:

No todos los Gatos rasgu


nan
(x)(P x)

o equivalentemente:
que se escribe:

Almenos existe un gato que no rasgu


na
(x)( P x)

108

Observaci
on: Cuando es claro el
conjunto de referencia, este no se
identifica. Pero si no es as, deber
a
identificarse.

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Ejemplo:
simbolizar losde
siguientes
enunciados:
Apunte
Algebra
(Versi
on preliminar)
a. Todo es perecedero.
d. No hay[No
cosas solidas.
publicar]
e. Si todo es rojo, hay algo rojo.

b. Hay marcianos.

f. Nada se mueve.
c. Alguien no es perfecto.

An
alogamente negar que

(x) (P x)
(x) (P x)

sera

que sera verdadera si P x es falsa para todos los valores de x.


Es decir si:

1.9.

(x) ( P x),

Observaci
on: Existe una variaci
on del cuantificador existencial,
dado por Existe un unico, que se
denota por !, y que, a diferencia
del cuantificador existencial, es falso si P x es verdadero para m
as de
un valor de x (termino de referencia).

es verdadera

Restringida
Cuantificacion

Existen proposiciones universales o existenciales que poseen, en el lenguaje ordinario, estructuras simples
pero que internamente tienen estructura de proposiciones compuestas. Es el caso del ejemplo anterior, si no
se asumiera que el conjunto de referencia (los gatos) es totalmente definido.
Si, no fuera as, se debera especificar el conjunto de referencia.
As, por ejemplo, la expresi
on:
todas las hormigas son insectos
se puede escribir de una manera plausible:
para toda x, si x es hormiga entonces x es insecto
Que si
e Ix

Hx simboliza la expresi
on: x es hormiga,
simboliza la expresi
on x es insecto.

la expresi
on todas las hormigas son insectos se puede simbolizar: (x) (Hx Ix)

De igual forma, al considerar la expresi


on del lenguaje ordinario:
Hay animales carnvoros
se observa que se puede escribir como:
existe almenos un x, tal que x es animal y x es carnvoro
que si consideramos las funciones proposicionales Ax dado por x es animal y Cx
dado por x es carnvoro, se puede simbolizar como:
(x) (Ax Cx)

109

Observaci
on: En general el conjunto de referencia no es claro, por
lo que debe ser especificado.

Apunte de Algebra (Versi


on preliminar)
[No publicar]
Desarrollo:
Sean:

A = {x : x es estudiante de Algebra
}
px = x Asiste a Clase
qx = x Estudia Clase a Clase
Tenemos:

(x A, px ) (x A : qx )

y su negaci
on ser
a:
(x A, px ) (x A : qx )

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Ejemplo: Escribir simb


olicamente y negar el siguiente predicado.
Todos los estudiantes de
algebra asisten a clases y existen estudiantes de algebra que
estudian clase a clase.

110

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

1.10.

Ejercicios

Apunte de Algebra (Versi


on preliminar)
publicar]
1. En cada caso, determine si es o no una proposicion, [No
justificando
adecuadamente. De ser una proposici
on
indique el valor de verdad.
a) 5+2=7.

d ) 2 + 4 < 3 + 2.

b) Vicente Huidobro es matem


atico.

e) Me gusta el cine.
f ) El polo norte es fro y el polo sur es caliente.

c) Tu voto es tu opini
on.
2. Dadas las proposiciones:
proyecto,
r : Iran se molesta.

p : Obama firmo el tratado a tiempo,

q : El Congreso no Aprob
o el

Escriba las siguientes proposiciones.


a) q p

d) p Y q

g) (p r) Y q

b) p Y r

e) (p q) (p Y r)

h) (p q) (p r)

c) (p q) (p r)

f ) (p q) (p r)

i ) (p q) r

3. Determine el valor de verdad de las siguientes proposiciones:


3 = 4.

a) Si 2 = 2, entonces 3 = 4.
b) Si 1 = 0, entonces 3 = 5.

f ) 1 = 2 o bien 3 = 3.

c) Si 1 6= 0, entonces 6 6= 6.
d ) Si 2 = 2 o 3 = 4, entonces 1 = 2.

g) 4 = 5 es una condicion suficiente para que


1 6= 5.

e) 2 = 0 es una condici
on suficiente para que
4. Suponga que Ana le confiesa a su amigo Luis despues de mucha insistencia de parte de el, no es verdad
que: Si me gusta salir a bailar entonces no me gusta el cine; o salir a comer. A que podra Luis invitar
a Ana?
5. Construya la tabla de verdad para cada una de las siguientes proposiciones indicando si corresponde a
una tautologa, contradicci
on o contingencia.
a) (p q) (q p).
b) (p p) (q q).
c) p q r.

d ) (p q) r.
e) (p q) ( p q).
f ) p (q p) p.

g) p (q p) p.

6. Si q es verdadera, Por que p q es tambien verdadera independiente del valor de verdad de p?


7. Sean p y q dos proposiciones y sea F el conectivo logico tal que p Fq es verdadero, si p y q son falsas.
En cualquier otro caso la proposicion p Fq es falsa. Construya una tabla de verdad para las siguientes
proposiciones e indique en cada caso si es Tautologa, Contingencia o Contradicci
on.
a) [ (pFq)] [ (p q) (p q)]
b) [pFq] [ p q]

111

c) [p q] [(pFq)F(pFq)]

O.A.D. Facultad de Ingeniera - 2014

UNIVERSIDAD CATOLICA DE LA SANTISIMA CONCEPCION

Apunte
Algebra
onp a qpreliminar)
8 Dadas p y qde
proposiciones,
definimos el(Versi
conectivo logico
como la proposicion que es verdadera s
olo cuando
q es verdadera y p es falsa.
a
[No publicar]
a) Escriba la tabla de verdad para p q.
a
asociativo?, Es
conmutativo?.
a
a
c) Demueste que ( p) ( q) q p.
a
a
d ) Demuestre que p p es una contradiccion y que ( p) p corresponde a una tautologa.
b) Es

9 Escriba las siguientes proposiciones utilizando cuantificadores y encuentre su valor de verdad.


Suponga que A es un subconjunto de .

a) Todos los n
umeros naturales son mayores que 1.
b) Todos los cuadrados de n
umeros reales son mayores o iguales que cero.
c) Si todos los n
umeros reales son mayores que 10, entonces 0 = 1.
d ) Todos los elementos de A son mayores que 10, o bien todos los elementos de A son menores que 25.
e) Existe un n
umero natural mayor que 1000.
f ) Existe un n
umero real que es mayor que cero y existe otro n
umero real que es menor que cero.
g) La suma de dos n
umeros naturales es mayor o igual que cada uno de los dos n
umeros.
10 Determine cu
ales de las siguientes afirmaciones son verdaderas y cuales son falsas.
a) n, m
b) n

N : n m es par (n es par ) (m es par).

N : n no divide a n + 1.

11 Indique el valor de verdad de las siguientes proposiciones, negandolas posteriormente:

a) (z )( z 2 = z).

Z
b) (x N)((x2 2)2 = x4 24 ).

c) (x A)(y A tal que x2 y 5; donde A = {1, 2, 3, 4}).



d ) (a ) a2 = 1 00 = 1 .


12 Considere el conjunto A =


1
1
1, , 0, , 1 . Diga si las siguientes proposiciones son verdaderas o falsas
2
2

(justifique):
p :(x, y A)(x + y 1).
q :(x A)(y A)(x2 y).
Escriba la negaci
on de las proposiciones anteriores.

112