Documentos de Académico
Documentos de Profesional
Documentos de Cultura
conectivos l
ogicos simples, tablas de verdad, cuantificadores.
Algebra
I (525155)
Departamento de Ingeniera Matem
atica
Facultad de Ciencias Fsicas y Matem
aticas
Universidad de Concepci
on
525155
Captulo 1
DIM, UdeC
1 / 40
Contenido
Introducci
on
Conceptos de L
ogica
Proposici
on L
ogica
Conectivos L
ogicos
Tipos de Proposici
on
Expresi
on L
ogica
Proposiciones con Cuantificadores
Referencias
525155
Captulo 1
DIM, UdeC
2 / 40
Que es la logica?
Seg
un Zill y Dewart,
Definici
on
La l
ogica es la rama del conocimiento que trata los metodos de razonamiento mediante
reglas y tecnicas, con el fin de determinar si un argumento dado es v
alido.
Para las matem
aticas, la l
ogica es el sustento del lenguaje que representa y por tanto es
la base de la misma.
Otra forma de verlo es que en la l
ogica est
an las reglas que rigen y definen las
matem
aticas.
525155
Captulo 1
DIM, UdeC
3 / 40
Proposicion Logica
Definici
on
Una proposici
on l
ogica, o simplemente proposici
on, es un enunciado o sentencia
declarativa a la cual se le puede asignar un u
nico valor de verdad, ya sea verdadero o
falso.
Ejemplo 1
Consideremos la siguiente expresi
on:
El volumen de un cubo de arista a > 0 es a3 .
Esta declaraci
on se constituye en una proposici
on porque, seg
un lo que sabemos, s
olo
asume el valor de verdad verdadero.
525155
Captulo 1
DIM, UdeC
4 / 40
Proposicion Logica
Ejemplo 2
9 + 16 = 9 + 16
Como todos sabemos, las races no se distribuyen respecto de la suma, por lo que esta
proposici
on es falsa.
Consideremos la expresi
on:
Cuidado
No todas las sentencias declarativas son proposiciones.
Tengamos en cuenta por ejemplo:
x + 1 = 2x
Dependiendo del valor de x, la sentencia puede ser verdadera o falsa. Para x = 1 es
verdadera y falsa en otro caso.
525155
Captulo 1
DIM, UdeC
5 / 40
Proposicion Logica
Ejercicios
Considere los siguientes enuciados y responda si se tratan de proposiciones o no. En caso
afirmativo entregue el valor de verdad correspondiente. Justifique.
1. Roger Federer es un gran futbolista.
2. Una pelota cuadrada.
3. El n
umero 17 es primo?
4. En un tri
angulo rect
angulo, la suma de los cuadrados de sus lados es igual a el
cuadrado de su hipotenusa.
Resuestas
Las expresiones 1 y 4 son proposiciones, pero 2 y 3 no lo son, siendo 1 falsa y 4 verdadera.
525155
Captulo 1
DIM, UdeC
6 / 40
Conectivo Logico
Definici
on
Un conectivo l
ogico es un operador que se aplica a una o m
as proposiciones,
obteniendose como resultado una nueva proposici
on l
ogica, cuyo valor de verdad depende
tanto del conectivo como de los valores de verdad de las proposiciones iniciales.
525155
Captulo 1
DIM, UdeC
7 / 40
Tabla de verdad
Cada conectivo l
ogico tiene asociado ciertas reglas que lo definen en terminos de los
valores de verdad de sus argumentos.
Definici
on
Una tabla de verdad es arreglo que nos permite obtener las los posibles valores de
verdad de una proposici
on compuesta a partir de los valores de verdad de las
proposiciones componentes.
En lo que nos ata
ne estaremos abocados a la l
ogica binaria, la cual considera operadores
que se definen para a lo m
as dos proposiciones iniciales.
525155
Captulo 1
DIM, UdeC
8 / 40
Negacion
Definici
on
La negaci
on de una proposici
on p, se denota por p, p
o p0 , se lee no p, y denota la
proposici
on opuesta a p. La tabla de verdad asociada es:
p
V
F
F
V
Ejemplo
Consideremos la proposici
on
p : El da 8 de marzo de 2016 es miercoles.
As, se tiene que
p : El da 8 de marzo de 2016 no es miercoles.
525155
Captulo 1
DIM, UdeC
9 / 40
Negacion
Ejercicios
Entregue el valor de verdad de las siguientes proposiciones y luego niegelas. Justifique.
p : El tomate es una fruta.
q : Homero y Marge Simpson tienen tres hijos.
r : Si x e y son naturales, x + y tambien lo es.
Respuestas
Las proposiciones p y q son verdaderas y adem
as:
p : El tomate no es una fruta.
q : Homero y Marge Simpson no tienen tres hijos.
525155
Captulo 1
DIM, UdeC
10 / 40
Conjuncion
Definici
on
La conjunci
on es una proposici
on compuesta que resulta de
conectar dos proposiciones p y q mediante el smbolo . Se denota por p q y se lee p
y q. La tabla de verdad respectiva es:
p
pq
V
V
F
F
V
F
V
F
V
F
F
F
525155
Captulo 1
DIM, UdeC
11 / 40
Conjuncion
Ejemplo
Consideremos las siguientes proposiciones:
p : El pl
atano es un alimento radiactivo.
q : Algunos de los homnidos consumen pl
atanos.
Como sabemos, los pl
atanos son radiactivos por su contenido de potasio, de donde p es
verdadera. Adem
as, los homnidos consumen regularmente pl
atanos, por lo que q
tambien es verdadera. As, la proposici
on compuesta:
p q : El pl
atano es un alimento radiactivo y algunos
homnidos lo consumen,
525155
Captulo 1
DIM, UdeC
12 / 40
Disyuncion
Definici
on
La disyunci
on es una proposici
on compuesta que resulta de
conectar dos proposiciones p y q mediante el smbolo . Se denota por p q y se lee p
o q. La tabla de verdad respectiva es:
p
pq
V
V
F
F
V
F
V
F
V
V
V
F
525155
Captulo 1
DIM, UdeC
13 / 40
Disyuncion
Ejemplo
Consideremos las siguientes proposiciones:
p : El agua cubre el 71% de la superficie de la tierra.
q : El sol es una estrella del tipo gigante azul.
Como es conocido, la superficie terrestre efectivamente est
a
cubierta en un 71% de agua, de donde p es verdadera. Por otro lado el sol, por sus
caractersticas, corresponde a una estrella del tipo enana amarilla, por lo que q es falsa.
As, la proposici
on compuesta:
p q : El agua cubre el 71% de la superficie de la tierra o el sol es una gigante
azul,
observando la tabla, resulta ser verdadera.
525155
Captulo 1
DIM, UdeC
14 / 40
Disyuncion Excluyente
Definici
on
La disyunci
on excluyente es una proposici
on compuesta que se obtiene de conectar dos
proposiciones p y q mediante el smbolo Y. Se denota por p Y q y se lee o p o q. La
tabla de verdad correspondiente es:
p
pYq
V
V
F
F
V
F
V
F
F
V
V
F
Note que p Y q es verdadera las proposiciones iniciales tienen un valor de verdad opuesto.
525155
Captulo 1
DIM, UdeC
15 / 40
Disyuncion Excluyente
Ejemplo
Consideremos las siguientes proposiciones:
p : Antonio va al estadio.
q : Luisa va al cine.
Supongamos que los valores de verdad de las proposiciones p y q son conocidos y
respectivamente corresponden a falso y verdadero. Luego el valor de verdad de la
proposici
on
p Y q : O Antonio va al estadio o Luisa va al cine,
se puede conocer observando la tercera fila de la tabla, siendo as verdadera.
525155
Captulo 1
DIM, UdeC
16 / 40
Condicional
Definici
on
La condicional es una proposici
on compuesta que se obtiene de conectar dos
proposiciones p y q mediante el smbolo . Se denota por p q y se lee si p
entonces q. Adem
as, en el orden considerado, se denota a p como antecedente y a q
como consecuente. La tabla de verdad asociada es:
p
pq
V
V
F
F
V
F
V
F
V
F
V
V
525155
Captulo 1
DIM, UdeC
17 / 40
Condicional
Ejemplo
Consideremos las siguientes proposiciones:
p : Est
a lloviendo.
q : Las cosas se mojan.
Supongamos que es sabido por todos que las proposiciones p y q son respectivamente
falsa y verdadera. Luego la proposici
on compuesta
p q : Si est
a lloviendo entonces las cosas se mojan,
observando la tercera fila de tabla de verdad correspondiente, tiene valor de verdad
verdadero.
525155
Captulo 1
DIM, UdeC
18 / 40
Bicondicional
Definici
on
La bicondicional es una proposici
on compuesta que se obtiene de conectar dos
proposiciones p y q mediante el smbolo . Se denota por p q y se lee p si y s
olo si
q. La tabla de verdad asociada es:
p
pq
V
V
F
F
V
F
V
F
V
F
F
V
525155
Captulo 1
DIM, UdeC
19 / 40
Bicondicional
Ejemplo
Consideremos las siguientes proposiciones:
p : Christian es hijo de Ver
onica.
q : Ver
onica es madre de Christian.
En este caso, si suponemos que p es verdadero, inmediatamente q lo ser
a, por lo que la
proposici
on compuesta
p q : Christian es hijo de Ver
onica si y s
olo si Ver
onica es madre de Christian,
asume un valor de verdad dado por la primera fila de la tabla, es decir, verdadera.
525155
Captulo 1
DIM, UdeC
20 / 40
Tipos de Proposicion
Definici
on
Una proposici
on ser
a compuesta cuando para enunciarla se utilice alg
un conectivo
l
ogico. En caso contrario las proposiciones ser
an llamadas simples o at
omicas.
Ejemplo
Consideremos la proposici
on:
s : Si Pedro es hijo de Juan, y Mara es hija de Pedro entonces Mara es nieta de
Juan.
As, es claro que la proposici
on s es compuesta porque podemos escribirla de la forma
pq r
en donde p, q y r son proposiciones at
omicas. Cu
ales son?
525155
Captulo 1
DIM, UdeC
21 / 40
Expresion Logica
Definici
on
Llamaremos expresi
on l
ogica, o f
ormula proposicional a una expresi
on formada por
proposiciones arbitrarias y relacionadas por conectivos l
ogicos.
Ejemplo
La expresi
on
es una f
ormula proposicional.
525155
(p q) ( p)
Captulo 1
DIM, UdeC
22 / 40
Expresion Logica
Las expresiones l
ogicas son denotadas por letras may
usculas. Particularmente la f
ormula
proposicional del ejemplo anterior se puede representar mediante P (p, q).
Cuidado
Una expresi
on l
ogica no es una proposici
on, porque los valores de verdad de las
proposiciones componentes no son conocidos de antemano.
Para una expresi
on l
ogica P (p, q, . . . ) se puede construir una tabla de verdad
considerando todas las combinaciones de valores de verdad de las proposiciones que la
componen.
525155
Captulo 1
DIM, UdeC
23 / 40
Expresion Logica
Ejemplo
Consideremos la siguiente expresi
on l
ogica
Q(p, q, r) : ( p q) r
Hay tres proposiciones componentes, por lo que la tabla de verdad asociada es
p q
r p p q Q(p, q, r)
V
V
V
V
F
F
F
F
525155
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
F
F
F
F
V
V
V
V
F
F
F
F
V
V
F
F
Captulo 1
V
V
V
V
V
F
V
V
DIM, UdeC
24 / 40
Expresion Logica
Definici
on
Las expresiones l
ogicas se clasifican en tres tipos
Tautologa, cuando sin importar los valores de verdad de las proposiciones
componentes, la expresi
on es siempre verdadera.
Contradicci
on, en el caso que sea falsa cualquiera sea el valor de verdad de las
proposiciones componentes.
Contingencia, si no es ni tautologa ni contradicci
on
Ejercicio
Muestre que la siguiente expresi
on l
ogica es una tautologa
P (p, q) : [(p q) Y p] (p q)
525155
Captulo 1
DIM, UdeC
25 / 40
Expresion Logica
Definici
on
Dadas dos expresiones l
ogicas P (p, q, ...) y Q(p, q, ...), se dice que P implica
l
ogicamente Q, si la proposici
on P Q es siempre verdadera, es decir es una
tautologa. En tal caso se escribe P Q y se lee P implica Q.
De la misma forma, P es l
ogicamente equivalente a Q, si la proposici
on P Q es
siempre verdadera, es decir es una tautologa. En tal caso se escribe P Q y se lee P es
equivalente Q.
Ejemplo
La proposici
on p q q p es una tautologa, es decir
pq qp
525155
Captulo 1
DIM, UdeC
26 / 40
Expresion Logica
Ejemplo
En efecto, si consideremos las formulas proposicionales
P (p, q) : p q
Q(p, q) : q p
obtenemos la siguiente tabla de verdad
p
P :pq
Q:qp
P Q
V
V
F
F
V
F
V
F
V
V
V
F
V
V
V
F
V
V
V
V
Por lo tanto p q q p.
525155
Captulo 1
DIM, UdeC
27 / 40
Tautologas importantes
( p) p
Doble negaci
on
pq qp
Conmutatividad de
pq qp
Conmutatividad de
pqqp
Conmutatividad de
(p q) r p (q r)
Asociatividad de
(p q) r p (q r)
Asociatividad de
(p q) r p (q r)
Asociatividad de
p (q r) (p q) (p r)
Distributividad de c/r a
p (q r) (p q) (p r)
Distributividad de c/r a
525155
Captulo 1
DIM, UdeC
28 / 40
Tautologas importantes
(p q) p q
(p q) p q
p q p q
en funci
on de
p q (p q) (q p)
Doble implicancia
ppq
Adici
on
pq p
Simplificaci
on
(p q) (q r) p r
Transitividad de
(p q) (q r) p r
Transitividad de
525155
Captulo 1
DIM, UdeC
29 / 40
Tautologas importantes
Importante
Dado que dos expresiones l
ogicas equivalentes tienen el mismo valor de verdad, estas se
pueden intercambiar en cualquier otra expresi
on obteniendo una nueva expresi
on l
ogica
equivalente.
Ejemplo
La proposici
on p q es equivalente con ( p q) (p q), en efecto
p q (p q) (q p)
Doble implicancia
( p q) ( q p)
en funci
on de
( p q) (p q)
Conmutatividad de
525155
Captulo 1
DIM, UdeC
30 / 40
Definici
on
Una funci
on proposicional es una sentencia declarativa cuyo valor de verdad depende de
una o varias variables.
Ejemplo
p(x) : x estudia Qumica y Farmacia.
q(x, y) : x + y = 1.
r(x) : x2 1 = 0.
525155
Captulo 1
DIM, UdeC
31 / 40
Definici
on
Dada una funci
on proposicional p(x) definimos el conjunto de valides de p como la
colecci
on de valores que hacen que la proposici
on p sea verdadera y lo denotaremos Vp .
Formalmente
Vp = {x : p(x) es verdadera}
Ejemplo
Para el ejemplo anterior, el conjunto de valides de r(x) : x2 1 = 0 es {1, 1} o
equivalentemente Vr = {1, 1}.
525155
Captulo 1
DIM, UdeC
32 / 40
Definici
on
Dada una funci
on proposicional p(x) y un conjunto A, si queremos escribir la proposici
on
todos los elementos de A hacen a la proposici
on p verdadera entonces denotamos esto
como x A : p(x). El smbolo se llama cuantificador universal y se puede leer como
Para todo..., Para cualquier ..., Para cada....
Ejemplo
Dado que todos los n
umeros naturales son positivos podemos decir que
x N : x > 0
C
omo diramos ning
un elemento de A satisface p(x)?.
525155
Captulo 1
DIM, UdeC
33 / 40
Definici
on
Por el contrario, si queremos escribir la proposici
on que solo algunos elementos de A
satisfacen al proposici
on, entonces escribimos x A : p(x). El smbolo se llama
cuantificador existencial y se puede leer como Existe un..., Para alg
un..., Existe al
menos un.... Adem
as si solo un elemento A satisface p entonces lo denotamos como
!x A : p(x) y se lee como Existe un u
nico....
Ejemplo
Notemos que existe un n
umero entero tal que sumado con 5 cambia a este u
ltimo
x Z : x + 5 = 5.
Adem
as este x es u
nico, con lo que tambien podemos escribir,
!x Z : x + 5 = 5.
525155
Captulo 1
DIM, UdeC
34 / 40
Las proposiciones del tipo x A : y B... : p(x, y...) las denotamos simplemente
como x A, y B, ... : p(x, y...)
Cuidado
Note que no son equivalentes las proposiciones
(x A, y B : p(x, y)) y (x A, y B : p(x, y))
525155
Captulo 1
DIM, UdeC
35 / 40
Definici
on
Definimos la negaci
on de los cuantificadores universal, existencial y de existencia u
nica a
travez de las siguientes equivalencias:
(x A : p(x)) x A : p(x)
(x A : p(x)) x A : p(x)
(!x A : p(x)) [(x A : p(x)) (x A, y A : x 6= y p(x) p(y))]
Cuidado
Para decir que no existe un x en A que satisface p(x) no escribimos 6 x A : p(x),
escribimos (x A : p(x)) o equivalentemente x A : p(x).
525155
Captulo 1
DIM, UdeC
36 / 40
Ejercicios
Niege las siguientes proposiciones con cuantificadores:
1. x Z : x + 0 = x
2. x R : x2 = x
3. !x N : 5 = x/2
4. x N, y N : x2 + y 2 = 5
5. x R, n N : n > x
525155
Captulo 1
DIM, UdeC
37 / 40
Axiomas y Teoremas
Definici
on
Definimos como un axioma a cualquier proposici
on cuyo valor se asume inicialmente
verdadero.
Un Teorema bajo un conjunto de axiomas es una proposici
on que es verdadera
suponiendo a los axiomas como verdaderos.
En general no se les llama teoremas a cada proposici
on verdadera, y este nombre se
guarda para resultados relevantes en alguna teora, en vez de eso se usan terminos como
propiedad, corolario lema, etc. seg
un su utilidad he importancia que tengan.
525155
Captulo 1
DIM, UdeC
38 / 40
Axiomas y Teoremas
Ejercicio
Considerando los siguientes axiomas,
A1. 2 es par.
A2. Si x e y son pares, entonces x + y tambien es par.
Demuestre el siguiente teorema:
Teorema: El n
umero 6 es par.
525155
Captulo 1
DIM, UdeC
39 / 40
Referencias
Algebra,
Primer Curso
Universidad de Concepci
on, 2007
Zill, Dennis G. y Dewar, Jacqueline M.
Algebra
y Trigonometra
McGraw-Hill, Segunda edici
on, 2004
525155
Captulo 1
DIM, UdeC
40 / 40