Está en la página 1de 40

Captulo 1: LOGICA

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

De la misma manera que las variables en


algebra, las proposiciones, en l
ogica, se denotan
por letras min
usculas p, q, r, . . . .
A partir de esas proposiciones simples es posible definir nuevas proposiciones de mayor
complejidad usando los llamados conectivos u operadores l
ogicos.

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

Note que p q es verdadera s


olo cuando ambas proposiciones lo son, por lo que en otro
caso es falsa.

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,

resulta ser igualmente verdadera.

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

Note que p q es falsa s


olo cuando ambas proposiciones lo son, por lo que en otro caso
es verdadera.

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

Note que la condicional es falsa s


olo cuando el antecedente es verdadero y el consecuente
es falso.

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

Note que la bicondicional es verdadera cuando las proposiciones iniciales coinciden en


valor de verdad.

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

En lo anterior, las proposiciones representadas p, q, r . . . resultaban explcitas. En lo que


sigue ser
an desconocidas a priori.

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

Ley de De Morga para

(p q) p q

Ley de De Morgan para

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

Y por transitividad p q ( p q) (p q).

525155

Captulo 1

DIM, UdeC

30 / 40

Proposiciones con cuantificadores

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

Proposiciones con cuantificadores

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

Proposiciones con cuantificadores

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

Proposiciones con cuantificadores

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

Proposiciones con cuantificadores

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

Proposiciones con cuantificadores

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

Proposiciones con cuantificadores

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

Campos, Manuel, Contreras, Antonio y Neira, Leandro

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