Вы находитесь на странице: 1из 18

Mdulo 1: LGICA Y CONJUNTOS Matemticas 7

o
- 2012
Lic. John Faibert Quintero
1
CONTENIDOS, LOGROS Y PROGRAMACIN

EJE
CONCEPTUAL
EJES TEMTICOS LOGROS CONTENIDOS SEMANAS

SISTEMAS
LGICOS


1. LGICA
PROPOSICIONAL

Emplea
significativamente
conectores y
cuantificadores para
elaborar proposiciones
abiertas y cerradas con
las que comunica ideas
matemticas.


Explica situaciones
cotidianas en las cuales
se evidencia el uso de
los conjuntos sus
relaciones, operaciones
y representaciones,
mediante un lenguaje
matemtico apropiado.
1.1 Las proposiciones
1.1.1 Proposiciones
compuestas
1.1.1.1 Conectores lgicos
1.1.1.2 Cuantificadores
1 y 2
1.1.2 Construccin de tablas
de verdad
1.1.3 Tautologa,
contradiccin e
indeterminacin
2 a 4

INTRODUCCIN
El trmino lgica se deriva de la palabra griega logos, la cual significa razonamiento o discurso.
Los antiguos griegos suelen ser considerados los iniciadores del estudio de los procesos del
razonamiento humano. Los principios descubiertos por ellos fueron sistematizados, primero, por
Aristteles (384-322 A.C); y el tipo de razonamiento aristotlico constituye la lgica tradicional que ha
sido estudiada y enseada desde su poca hasta nuestros das.

Un ejemplo sencillo de la lgica aristotlica es el siguiente:
Todos los hombres son mortales.
Scrates era un hombre.
Por tanto, Scrates era mortal.

Este es un tpico razonamiento conocido como silogismo.

No obstante que el estudio moderno de la lgica simblica (que se trata en este captulo)se basa en las
investigaciones de hombres como el matemtico alemn, Leibniz. (1647-1716), el simbolismo moderno y las operaciones de
tipo algebraico fueron por primera vez aplicadas de manera sistemtica a la lgica, en la obra del matemtico ingls George
Boole (1815-1864).
El estudio de la lgica se desarroll con paso acelerado a partir del anlisis de Boole, y se ha logrado un
considerable progreso respecto a la comprensin de la verdad lgica. Cada vez que se trata de resolver un problema, se toma
parte en un debate, o se trata de llenar un crucigrama, se realiza una actividad mental llamada razonamiento
lgico, el cual, por lo regular, se expresa en trminos de enunciados declarativos. En este mdulo
trataremos acerca de tales enunciados.
Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
2
1. LGICA PROPOSICIONAL

1.1 LAS PROPOSICIONES






Ejemplo 1.1:

Todos los lunes son festivos Esta afirmacin es falsa.
Es una proposicin.

Cali es capital del Valle Esta afirmacin es verdadera.
Es una proposicin.

Cmo te llamas? No es posible determinar si estas expresiones son
verdaderas o falsas, por tanto no son proposiciones.







Ejemplo 1.2:

q: Un cuadriltero tiene cuatro lados. (V)

u: 37 es un nmero par (F)

m: (12 + 3) x 2 = 30. (V)

p: 1054 > 1053 (V)









Son enunciados o afirmaciones con valor de verdad
es decir que puede decirse si son verdaderas o
falsas.
Las proposiciones se nombran utilizando
letras minsculas.
Las proposiciones pueden negarse.
Una proposicin se niega cuando se quiere significar o afirmar lo
contrario, para esto se anteponen las palabras No o No es cierto,
entre otras.
Simblicamente, la negacin se representa mediante .


Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
3
Ejemplo 1.3:
p: Buenaventura es el principal puerto colombiano en el Ocano Pacfico.
p: no es cierto que Buenaventura es el principal puerto colombiano en el Ocano Pacifico.
o tambin:
p: Buenaventura no es el principal puerto colombiano en el Ocano Pacifico .
El Valor de verdad de p es verdadero,
El Valor de verdad de p es falso.
En conclusin:








1.1.1 PROPOSICIONES COMPUESTAS











Mapa conceptual proposiciones simples y compuestas
p p
V F
F V

Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
4
EJERCICIOS 1.1


1. Identifica los enunciados que sean proposiciones y da su valor de verdad.

a. HOLA!

b. 4 + 9 = 13

c. Dnde Estoy?

d. La Ballena es un pez

e. Vmonos!

f. Ocano Pacfico

g. Agosto tiene 30 Das.


2. Determina el valor de Verdad de cada proposicin y explica por qu es Verdad o Falso.

a. 2 + 3 < 4


b. 5 es un nmero impar


c. Todas las plantas son comestibles


d. Un rectngulo tiene cuatro ngulos rectos


e. Todos los mamferos son animales terrestres.
Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
5
3. Relaciona cada expresin de la columna izquierda con una expresin de la derecha para formar
proposiciones y antalas en tu cuaderno.

a. 5 ( ) Es animal Mamfero
b. La Vaca ( ) Es un animal Rumiante
c. El Delfn ( ) Aumentado en 13 es igual a 18.
d. La Estrella de mar ( ) Es nmero Impar
e. 25 ( ) Vive en el agua.

4. Escribe el valor de verdad de cada una de las siguientes proposiciones; escribe su negacin y
simboliza:

a. El Santo Papa vive en Roma



b. Colombia limita con Argentina



c. 12 es mltiplo de 5



d. El Rinoceronte es un animal en va de extincin.



e. El Colegio de la Sagrada Familia es femenino.



5. Analiza las proposiciones que aparecen a continuacin.

p: Los Perros son animales mamferos.
p: Los Perros no son animales mamferos
( p): No es cierto que los Perros no son animales mamferos.

Al comparar p con ( p) Qu puede concluir?.


Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
6
Ejemplos 1.4:
a: Un ao tiene 12 meses Proposicin simple, porque se afirma una sola idea.
b: 3 5 = 17 Proposicin simple.
c: Jennifer Lpez es actriz y cantante Proposicin compuesta, porque hay dos proposiciones
Simple en ella, unidas entre s mediante el conectivo
Lgico Y.








p: Jennifer Lpez es actriz Proposicin simple
q: Jennifer Lpez es cantante Proposicin simple
El conectivo lgico usado es la conjucin (y) p q



d: 4 es mltiplo de 2 o no es par Proposicin compuesta, formada por dos proposiciones
simples unidas mediante el conector lgico O.
p: 4 es mltiplo de 2 Proposicin simple
q: 4 no es par Proposicin simple
El conectivo lgico usado es la disyuncin (o) p q



e: Si los reptiles tienen plumas entonces las aves tienen escamas en su piel.
Proposicin compuesta, hay dos proposiciones simples enlazadas por el
conector Si entonces.
p: Los reptiles tienen plumas Proposicin simple
q: Las aves tienen escamas en su piel Proposicin simple.
El conector lgico usado es la implicacin ( si entonces) p q



f: Una figura geomtrica es un tringulo si y slo si tiene tres lados Proposicin
compuesta.
p: Una figura geomtrica es un triangulo Proposicin simple.
q: Una figura geomtrica tiene tres lados Proposicin simple.
El conectivo lgico usado es la equivalencia ( si y slo si ) p q



Observemos otros
ejemplos.
Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
7
1.1.1.1 CONECTORES LGICOS


















Ejemplo 1.5: Determinar el valor de verdad de la proposicin

12 es mltiplo de 3 y 25 es un nmero par.

Solucin:

Sean: p: 12 es mltiplo de 3 Verdadero
q: 25 es un nmero par Falso















Ejemplo 1.6: Determinar el valor de verdad de la proposicin

La rodilla es una articulacin o un musculo.

Solucin:
Sean p: La rodilla es una articulacin Verdadero
q: La rodilla es un msculo Falso
Determinar el valor de verdad de una proposicin simple es
fcil, pero para determinar el valor de verdad de una
proposicin compuesta se debe considerar el valor de verdad
de las proposiciones simples que la forman y el conectivo
lgico empleado para unirlas. Para esto nos apoyamos en
unas TABLAS DE VERDAD. Para cada conector existe una.
TABLA DE VERDAD DE LA CONJUNCIN
( .)
TABLA DE VERDAD DE LA DISYUNCIN
( v)
p q p q
V V V
V F F
F V F
F F F

Una conjuncin es verdadera,
slo cuando las proposiciones
simples que la componen son
verdaderas.
p q p q
V V V
V F V
F V V
F F F

Una disyuncin es falsa, slo
cuando las proposiciones
simples que la componen son
falsas.
Entonces, la proposicin p v q es
verdadera, dado que la proposicin
p es verdadera y la q es falsa y el
conector es la disyuncin.

Entonces, La proposicin p . q es falsa,
pues la proposicin p es verdadera y la
q es falsa y el conector es la conjuncin.

Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
8




















Ejemplos 1.7: Determinar el valor de Verdad de las proposiciones.

Si una semana tiene 7 das entonces un ao tiene 12 meses.

Solucin:
Sean p: Una semana tiene 7 das Antecedente verdadero
q: Un ao tiene 12 meses Consecuente verdadero

Por lo tanto, p q es una proposicin Verdadera.


Si un ao tiene 365 das entonces Bogot es la capital del Valle.

Solucin:
Sean m: Un ao tiene 365 Das Antecedente verdadero
n: Bogot es la capital del Valle Consecuente falso.

Por lo tanto, m n es una proposicin falsa.


Si el Colegio de La Sagrada Familia tiene 150 aos entonces se fund en el ao 1900.

Solucin:
Sean s: El Colegio de La Sagrada Familia tiene 150 aos. Antecedente falso
t: El Colegio de La Sagrada Familia se fund en el ao 1900. Consecuente falso

Por tanto, s t es una proposicin verdadera.
TABLA DE VERDAD DE LA IMPLICACIN
En la implicacin pq :

i) p es condicin suficiente para que q suceda.
ii) q es condicin necesaria para que p ocurra.

p recibe el nombre de antecedente o hiptesis y q recibe el nombre
de consecuente o tesis.

p q p q
V V V
V F F
F V V
F F V

Una implicacin es falsa slo
cuando las antecedente p es
verdadero y el consecuente q es
falso.
Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
9





















Ejemplo 1.8: Determinar el valor de las siguientes equivalencias

Un ngulo es recto si y slo si su amplitud mide 90 grados.

Solucin:
Sean p: Un ngulo es recto Verdadero
q: La amplitud de un ngulo mide 90grados Verdadero.

Entonces p q es verdadero Caso 1 de la tabla de verdad de la doble implicacin, bicondicional
o equivalencia



Los cuadrilteros tiene tres lados si y slo si doce es mltiplo de tres.

Solucin:
Sean m: Los cuadrilteros tienen tres lados Falso
n: Doce es mltiplo de tres Verdadero

Entonces m n es falso Caso 3 de la tabla de verdad de la doble implicacin, bicondicional
o equivalencia






TABLA DE VERDAD DE LA EQUIVALENCIA
Dos proposiciones p y q son equivalentes, cuando p es condicin
necesaria y suficiente para q y, a su vez, q es condicin necesaria y
suficiente para p.
Es decir, p q y q p se cumple a la vez.
La equivalencia es verdadera, slo
cuando las dos proposiciones son
verdaderas o ambas proposiciones
son falsas.
p q p q
V V V
V F F
F V F
F F V

Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
10
1.1.1.2 CUANTIFICADORES











Ejemplos 1.9: Las siguientes proposiciones son cuantificadas.
p: Todos los animales necesitan agua para vivir Verdadero
q: Existe en Cali un colegio llamada Femenino San Fernando Verdadero
r: Ningn profesor del colegio se llama John Faibert Falso






Ejemplos 1.10:
s: Todos los nmeros son pares Proposicin cuantificada Falsa.
s: Algunos nmeros no son pares Proposicin cuantificada, negacin de la anterior,
verdadera.





UNIVERSALES EXISTENCIALES
PALABRAS SMBOLO PALABRAS SMBOLO
Para todo
Todos
Cualquier
Ningn
Ningunos


Existe un
Alguno
Algunos
Uno
Unos
-

Los cuantificadores son palabras que indican cantidad.

Se clasifican en dos grupos: Cuantificadores Universales y
Cuantificadores Existenciales.



Las proposiciones
cuantificadas pueden
negarse.
Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
11
EJERCICIO DE INTERACCIN Y AFIANZAMIENTO CONCEPTUAL 1

Completa el siguiente mapa conceptual. Coloralo como tu prefieras.









George Boole (1815 1864) creci en medio de la pobreza. Su padre,
mercader londinense, le dio sus primeras lecciones de matemticas y le ense
a hacer instrumentos pticos. En gran medida, Boole fue autodidacta. A los 16
aos trabaj en una escuela elemental y a los 20 haba abierto su propia
escuela.
Su mayor descubrimiento se bas en la aplicacin de una serie smbolos a
operaciones lgicas y, que por eleccin cuidadosa, hacer que estos smbolos y
operaciones se pareciesen al lgebra. En el lgebra Booleana los smbolos
pueden manipularse segn reglas lgicas que produjeran resultados lgicos.
Boole public la obra An investigation of the Laws of Thought en 1854, en
la cual trataba por completo el tema, fundando lo que ahora se denomina
lgica simblica.

Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
12
1.1.2 CONSTRUCCIN DE TABLAS DE VERDAD


Ahora estudiaremos con frmulas proposicionales, para lo cual es indispensable conocer el orden
(prioridades) de los conectivos lgicos y los signos de agrupacin.

Veamos el orden que se debe considerar al construir tabla de verdad de una proposicin compuesta y
determinar si es una tautologa o una contradiccin.


ORDEN NOMBRE SIMBOLOGA
1
O

Signos de agrupacin ( ) ,
| |

2
O
Negacin p , p
3
O
Conjuncin y disyuncin . , v
4
O
Condicional y bicondicional ,


Ejemplo 1.11:

En la proposicin ( ) ( )
p q r s . v :
Se resuelve primero el parntesis ms interno ( ) q r v 1
O
segn orden de prioridad

Luego negamos el resultado de ( ) q r v 2
O
segn orden de prioridad

Despus usamos el conectivo con p y el resultado anterior 3
O
segn orden de prioridad

Finalmente, el resultado obtenido se resuelve con el condicional
( ) ( )
p s q r . v


















Para la construccin de la tabla, la dividimos en dos partes. La parte
izquierda la llamaremos margen y a la derecha la llamaremos cuerpo.

En el margen colocaremos los valores de verdad de las variables proposicionales que
intervienen.

El nmero de dichas componentes determina la cantidad de posibles
combinaciones de valores de verdad que aparecern en la tabla. Este
nmero total de combinaciones se calcula con la operacin 2
n
, donde la base
indica los nicos dos valores que puede asumir una variable proposicional (V o F), y el
exponente el nmero de variables proposicionales que intervienen.
Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
13
Ejemplo 1.12:

En la proposicin ( ) p q q v . intervienen dos proposiciones p y q , por lo que n = 2.
Entonces, el nmero de combinaciones para construir la tabla sera
2
2 2 4
n
= = .

As, el margen queda como lo muestra la tabla abajo.


p q POSIBILIDADES
V V 1
a

V F 2
a
F V 3
a
F F 4
a



El cuerpo se va formando con las proposiciones parciales hasta llegar a la proposicin compuesta final,
es decir, se agregan tantas columnas como proposiciones atmicas (simples) se
encuentren agrupadas (en parntesis), leyendo la frmula de izquierda a derecha para iniciar el cuerpo
de la tabla, y respetando las prioridades de los conectivos y signos de agrupacin.

Siguiendo el ejemplo anterior tenemos:

Primero agregamos al cuerpo de la tabla la proposicin p , tengamos presente que sus
valores de verdad son los contrarios de p.

p q
p
V V F
V F F
F V V
F F V


Luego agregamos al cuerpo de la tabla la disyuncin ( ) p q v .

p q
p p q v
V V F V
V F F F
F V V V
F F V V


margen
.....................
Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
14
Ahora, agregamos q , cuyos valores de verdad son los opuestos a los de q.

p q
p p q v q
V V F V F
V F F F V
F V V V F
F F V V V

Y, por ltimo, agregamos la frmula ( ) p q q v . , considerando la conjuncin (conectivo
.).

p q p p q v q
( ) p q q v .
V V F V F F
V F F F V F
F V V V F F
F F V V V V





Ejemplo 1.13:
Construir la tabla de verdad correspondiente la proposicin compuesta ( ) r p q .

Solucin:

Observemos que la proposicin posee tres componentes (p, q y r), por lo que tiene 8 combinaciones
(
3
2 8 = ) y se sigue el mismo procedimiento descrito en el ejemplo anterior para construir el margen y
el cuerpo.

p q r
p q
( ) p q ( ) r p q .
V V V V F F
V V F V F F
V F V F V V
V F F F V F
F V V V F F
F V F V F F
F F V V F F
F F F V F F



margen
.....................
cuerpo
...............................................................
margen
............................
cuerpo
...................................................................
Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
15

EJERCICIOS 1.2

Construye o completa la tabla de verdad para las siguientes proposiciones compuestas:

1. p q v 2. ( ) p q p .



3.. ( ) ( ) p r q r v . v


p q r
p r v q r v
( ) ( ) p r q r v . v










4. ( ) p q r . (



p q r









p q
p q p q v
V V
V F
F V
F F
p q p q q p
( ) p q p .
V V
V F
F V
F F
Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
16
1.1.3 TAUTOLOGA, CONTRADICCIN E INDETERMINACIN

Las frmulas proposicionales tambin pueden clasificarse, atendiendo a los valores de verdad que
puede asumir. De acuerdo a este criterio, las frmulas proposicionales se clasifican en:







Ejemplo 1.14:



Ejemplo 1.15:



Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
17










Tomado de: Curso de Razonamiento Lgico - Seleccin de Lecturas Sistema de Aprendizaje
Autogestionado - Universidad Nacional Experimental de la Fuerza Armada 2007.
http://es.scribd.com/doc/54389493/4/LECTURA-N%C2%B0-7-APLICACIONES-Circuitos

Ejemplo 1.16:



Mdulo 1: LGICA Y CONJUNTOS Matemticas 7
o
- 2012
Lic. John Faibert Quintero
18
EJERCICIOS 1.3


1. Clasifica las siguientes formas proposicionales como tautologa, contradiccin o contingencia.
Justifica tu respuesta.

a) ( ) p p q v b) ( ) p q q . v c) ( ) ( ) s t s t . v


2. Indique si las siguientes proposiciones son tautologas o contradicciones.

a) ( ) ( ) ( ) p q r p r q r . v (


b) ( ) ( ) p q r p q r . (


c) ( ) ( ) ( ) p q p q p q . v . (




3. Determine el valor de verdad de cada una de las siguientes proposiciones, para lo cual debers
representarlas simblicamente y construir una tabla de verdad.

a) No es verdad que: 2+7=9; si y slo si 2+1=5; entonces 5+5=8

b) Si 4+4=8; entonces no es verdad que 2+1=3 y 5+5=10



3. Indique el valor de verdad de cada una de las siguientes proposiciones cuando:
p: verdadera; q: verdadera; r: falsa

a) ( ) ( ) ( ) p q r p q r . . .

b) ( ) ( ) ( ) p q r p q p r ( (





4. Considere el siguiente argumento:

Si trabajo o ahorro, entonces comprar una casa. Si compro una casa, entonces podr guardar mi auto
en mi casa. Por consiguiente, si no puedo guardar el auto en mi casa, entonces no ahorro

a) Escriba este argumento en lenguaje simblico.

b) Pruebe la validez del argumento. (use tabla de verdad)