NIVELACIN MATEMTICA

SEMANA 1

Introduccin a la lgica

Todos los derechos de autor son de la exclusiva propiedad de IACC o de los otorgantes de sus licencias. No est
permitido copiar, reproducir, reeditar, descargar, publicar, emitir, difundir, poner a disposicin del pblico ni
ESTE
LAdeSEMANA
1
utilizarDOCUMENTO
los contenidos paraCONTIENE
fines comerciales
ninguna clase.

ESTE DOCUMENTO CONTIENE LA SEMANA 1

NDICE
INTRODUCCIN A LA LGICA .............................................................................................................. 4
OBJETIVOS ESPECFICOS ...................................................................................................................... 4
INTRODUCCIN ................................................................................................................................... 4
PROPOSICIONES .................................................................................................................................. 5
CONECTIVOS LGICOS ................................................................................................................ 7
TABLA DE LA SIMBOLOGA MATEMTICA .................................................................................. 7
TABLA DE VALORES DE VERDAD.................................................................................................. 8
TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA................................................................... 17
PROBLEMAS DE APLICACIONES ................................................................................................. 18
COMENATRIO FINAL.......................................................................................................................... 21
REFERENCIAS ..................................................................................................................................... 22

ESTE DOCUMENTO CONTIENE LA SEMANA 1

INTRODUCCIN A LA LGICA

OBJETIVOS ESPECFICOS

Reconocer las proposiciones y conectivos lgicos.

Aplicar la lgica en problemas de planteos.

INTRODUCCIN
El trabajo se iniciar conociendo las definiciones relacionadas con esta unidad de estudio
denominada introduccin a la lgica. Este contenido es til, porque permite desarrollar la
estructura lgica que se requiere para estudiar un curso en el rea de la matemtica.
Al enfrentar un problema matemtico es importante identificar las hiptesis si es que existen,
reconocer la tesis, y determinar qu concepto matemtico se debe aplicar para resolver dicho
problema. Muchas veces es necesario modelar la situacin. Todo esto es parte de una estructura
lgica.
Se puede observar en el siguiente enunciado real cmo se aplica la lgica:
Si se sabe que, para calcular la cantidad de madera que se necesita para la
cubierta de una mesa rectangular, se aplica la frmula l x A, en que l es el largo
y A el ancho, mientras que x representa la multiplicacin. cul es la cantidad de
material que se utiliza para construir la cubierta de una mesa de 120 cm de largo
y 80 cm de ancho? , Adems, si el costo est dado por centmetro cuadrado cul
es el costo de la cubierta de la mesa?

En este enunciado se observa que existen varias deducciones las cuales permiten resolver el
problema, estos son:
1. Para determinar el rea de la cubierta se aplica la frmula ancho por largo.
2. Se reconoce la informacin de la mesa, esto es 120 cm de largo y 80 cm de ancho.

ESTE DOCUMENTO CONTIENE LA SEMANA 1

3. Se aplica la frmula dada considerando la informacin de la mesa.

4. Si se requiere conocer el costo se debe identificar la operacin que conlleva a dicho
resultado, esto es, multiplicar la cantidad de material por el costo por centmetro.
Todas estas deducciones son parte de un pensamiento lgico que se desarrolla al profundizar los
contenidos de la lgica.

PROPOSICIONES
Desde que un individuo se comunica oralmente, utiliza las palabras, frases, afirmaciones, etc. De
ste universo del dilogo se destacan en la lgica, las denominadas proposiciones. Se denomina
proposicin a una afirmacin que adquiere un valor de verdad, es decir, es una frase que permite
bajo un cierto anlisis, determinar si es verdadera o falsa. Una proposicin es uno de los
componentes fundamentales de la lgica.
Ejemplos: Determine si los siguientes enunciados son proposiciones. Justifique:

1. Existe una sede del IACC en la Capital de Chile.

2. Resuelve ejercicios matemticos.
3. x 1 6 .
4. Cmo Te llamas?
5. El nombre del padre de la profesora del curso de Nivelacin matemtica es Luis.
Solucin:
1. Efectivamente es una proposicin, ya que se puede asignar un valor de verdad, el cual es
VERDADERO.
2. No es una proposicin, es una orden, no adquiere un valor de verdad.
3. Efectivamente es una proposicin, ya que se puede asignar un valor de verdad a medida
que la variable x, adquiera un valor numrico. (este tipo de proposicin se conoce como
proposicin funcional)
4. No es proposicin, ya que es una pegunta, su respuesta es un nombre, entonces no es una
afirmacin.
5. Efectivamente es una proposicin, ya que se puede determinar un valor de verdad, en
este caso depende de la profesora mencionada en el enunciado. (este tipo de proposicin
se conoce como proposicin condicional)

La notacin que se utiliza para denotar una proposicin es a travs de las letras minsculas
p, q, r, s, etc.

ESTE DOCUMENTO CONTIENE LA SEMANA 1

Ejemplo:

p : Una asignatura de la carrera que usted est estudiando, es Nivelacin Matemtica.

Observacin: se puede negar una proposicin, esto corresponde a lo siguiente:
1. Si la proposicin de inicio es verdadera, entonces su negacin es una nueva proposicin
cuyo valor de verdad es Falso.
2. Si la proposicin de inicio es Falsa entonces la negacin es Verdadera.
Notacin: La negacin de la proposicin p es p
Ejemplos:
1. p : Desde el ao 2014 la presidenta electa de Chile es Vernica Michelle Bachelet Jeria
Luego la negacin es:

p : Desde el ao 2014 la presidenta electa de Chile no es Vernica Michelle Bachelet

Jeria.
Se observa que los valores de verdad en este ejemplo, son p V ; p F
2.

p : El idioma oficial de chile es el ingls.

p : El idioma oficial de chile no es el ingls.

Se observa que los valores de verdad son p F ; p V
Es importante destacar que una negacin no implica utilizar el NO.
Ejemplo

p : Se considera a un individuo adulto mayor, cuando tiene ms de 65 aos.

p : Se considera a un individuo adulto mayor, cuando tiene una edad inferior o igual a los 65
aos.

ESTE DOCUMENTO CONTIENE LA SEMANA 1

CONECTIVOS LGICOS
Muchas veces cuando se emite una frase se utilizan las letras o palabras siguientes y, o,
entonces, equivalentemente, stas cumplen una funcin y de acuerdo a la utilizada, se debe
efectuar un anlisis de la proposicin para determinar su valor de verdad. Se observar a
continuacin que estas palabras o letras tienen asignado un nombre y un smbolo matemtico.
Definicin: Conectivo lgico
Son los smbolos que unen dos o ms proposiciones, cuando una afirmacin posee conectivos
lgicos, se denomina proposicin compuesta.
Los conectivos que se estudiarn en este curso son:
1. Conjuncin: el smbolo es , se lee y
2. Disyuncin: el smbolo es , se lee o
3. Implicancia: , se lee entonces
4. Doble implicancia: , se lee si y solo si

TABLA DE SIMBOLOGA MATEMTICA

A continuacin se muestra una tabla con los smbolos que se utilizan en este captulo, para una
mayor comprensin al momento de ser utilizados:
SMBOLO

NOMBRE

SE LEE

EJEMPLO

Igualdad

Igual a

2+1=3

Congruencia

Congruente a

pV

Implicancia

pq

Doble implicancia

implica si - entonces por lo

tanto
si y solo si

Conjuncin lgica

Disyuncin lgica

pq
pq

Negacin lgica

No

<

Comparacin

menor que

3<4

>

Comparacin

mayor que

8>6

Comparacin

menor o igual que

12

Comparacin

mayor o igual que

2 2

ESTE DOCUMENTO CONTIENE LA SEMANA 1

qp

TABLA DE VALORES DE VERDAD

Una tabla de verdad es un arreglo de filas y columnas, en ste se ingresan las proposiciones y
valores de verdad, a continuacin se muestran 3 ejemplos:
1. considerando slo una proposicin

p
V
F

2. considerando slo dos proposiciones

3. considerando slo tres proposiciones

p

Observacin: la cantidad de filas existentes en la construccin de la tabla est directamente

relacionada con el nmero de proposiciones a trabajar.
Para determinar el nmero de filas que constituyen la tabla, se aplica la siguiente frmula:

cantidad

de filas 2 n

donde n corresponde a la cantidad de proposiciones.

ESTE DOCUMENTO CONTIENE LA SEMANA 1

Las tablas sirven para resumir el valor de verdad de proposiciones compuestas en diferentes casos,
a continuacin se estudiarn las tablas relacionadas con cada conectivo lgico.

1. Conjuncin: (Dennis Zill y Jaqueline Dewar, 1999, p.vi)

Una proposicin compuesta p q, es verdadera si las proposiciones simples (p,q) que la forman,
son verdaderas.

p q se lee p y q, la tabla que le corresponde es

pq

V
V
F
F

V
F
V
F

V
F
F
F

Ejemplo: En Santiago un medio de transporte es el Metro y todas las personas se trasladan

siempre a travs del Metro.
Solucin:
Sean:

p: en Santiago un medio de transporte es el Metro

q: todas las personas se trasladan siempre a travs del Metro.

Luego la proposicin compuesta escrita en forma simblica es: p q, se observa que su valor de
verdad es falso, pues corresponde a V F. Tal como se puede apreciar en tabla de la pgina
anterior, si existe una proposicin verdadera y una proposicin falsa con la conjuncin y, el
resultado siempre es Falso (V F F).

2. Disyuncin: (Dennis Zill & Jaqueline Dewar, 1999, p.vii)

Una proposicin compuesta p q, es verdadera si por lo menos una de las proposiciones simples
(p,q) que la forman, es verdadera.

p q se lee p o q, la tabla que le corresponde es:

ESTE DOCUMENTO CONTIENE LA SEMANA 1

p q

Ejemplo: 2+1=3 o 2+1=2

Solucin:
Sean:

p: 2+1 =3

q : 2+1=2

Luego la proposicin compuesta es p

q, la cual es verdadera ya que corresponde a V F

3. Implicancia: (Dennis Zill y Jaqueline Dewar, 1999, p.ix)

Esta proposicin compuesta es falsa solo en el caso: verdadero implica falso.
P

pq

Se observa que la proposicin p es condicin suficiente para la proposicin q, mientras que

q es condicin necesaria para p, tal como se muestra en el siguiente ejemplo.
Ejemplo: Analizar la siguiente afirmacin: Si nac en Valparaso entonces soy Chilena.
Solucin:
Sean:
p: nac en Valparaso.
q: soy chilena.

ESTE DOCUMENTO CONTIENE LA SEMANA 1

10

i.

Si se asume que la afirmacin la emite una persona que efectivamente naci en

Valparaso, se observa entonces que la proposicin p es verdadera, lo que es condicin
suficiente para afirmar que q tambin lo es, por lo tanto (V V ) , es una verdad,
mientras que (V F ) , sera Falso, ya que si se nace en Valparaso es imposible afirmar
que no es Chilena.

ii.

Es necesario nacer en Chile, sin embargo no es suficiente, ya que existen otras regiones en
Chile, lo que significa que nacen las posibilidades (V V ) ; ( F V ) , donde ambas
proposiciones compuestas seran verdaderas.

iii.

Si se asume que la afirmacin la realiza una persona que naci en Espaa, entonces se
dara la situacin ( F F ) , lo que sera una verdad.

4. Doble implicancia: (Dennis Zill & Jaqueline Dewar, 1999, p.x)

Es Verdadera cuando las proposiciones (p,q) simples adquieren el mismo valor de verdad.

p q

Ejemplo: Un alumno obtiene el ttulo de Ingeniera si y solo si cumple con todo el proceso
educacional exigido por la institucin educacional en la que estudia.
Solucin:
Sean:
p: Un alumno obtiene el ttulo de ingeniera.
q: Un alumno cumple con todo el proceso educacional exigido por la institucin
educacional en la que estudia.

Luego la proposicin compuesta es p q .

ESTE DOCUMENTO CONTIENE LA SEMANA 1

11

1. si se supone que el alumno obtiene el ttulo de ingeniera y cumple con todo el proceso
educacional exigido por la institucin educacional en la que estudia, entonces se deduce
que la proposicin compuesta es vlida ya que corresponde a: V V .
2. si se supone que el alumno no obtiene el ttulo de ingeniera y si cumple el proceso
educacional exigido por la institucin educacional en la que estudia, entonces se deduce
que la proposicin compuesta sera Falsa, ya que sera absurdo que no obtuviera el ttulo
en tal caso. Esto corresponde a F V , equivalentemente se deduce que V F es
falso.
3. si se supone que el alumno no obtiene el ttulo de ingeniera y no cumple el proceso
educacional exigido por la institucin educacional en la que estudia, se observa que la
proposicin compuesta es Verdadera, pues son equivalentes las afirmaciones ( p, q ), esto
corresponde a: F F .
Ejercicios:
1.- Dadas las siguientes proposiciones:
p: Existe un tutor en el curso.
q: soy alumno(a) del curso de Nivelacin matemtica.
r: los contenidos estudiados en la primera semana corresponden a lgica.
s: estudio en el IACC.

Si se asume que usted emite la siguiente proposicin:

Si los contenidos estudiados en la primera semana corresponden a lgica y existe un tutor en el
curso entonces soy alumno(a) del curso de Nivelacin Matemtica, si y solo si estudio en el IACC.
a) Traducir a lenguaje lgico.
b) Determinar el valor de verdad de la proposicin. Justifique.
Solucin
a) Traducir a lenguaje lgico

Paso 1: Se traduce la primera parte del enunciado del problema a lenguaje lgico (los
contenidos estudiados en la primera semana corresponden a lgica y existe un tutor en el
curso). De esta forma la traduccin a lenguaje lgico es la siguiente:

ESTE DOCUMENTO CONTIENE LA SEMANA 1

12

(r p)

Paso 2: Se agrega la segunda parte del enunciado del problema y se traduce a lenguaje
lgico, (Si los contenidos estudiados en la primera semana corresponden a lgica y existe
un tutor en el curso entonces soy alumno(a) del curso de Nivelacin Matemtica)
De esta forma la traduccin a lenguaje lgico es la siguiente:

( r p) q

Paso 3: Se agrega la ltima parte del enunciado del problema y se traduce a lenguaje
lgico, (Si los contenidos estudiados en la primera semana corresponden a lgica y existe
un tutor en el curso entonces soy alumno(a) del curso de Nivelacin Matemtica, si y solo
si estudio en el IACC).
De esta forma la traduccin a lenguaje lgico es la siguiente:

(r p) qs

b) Determinar el valor de verdad de la proposicin. Justifique.

Paso 1: Se comienza obteniendo el valor de verdad de la primera parte del enunciado.

(r p)
Como se puede apreciar en el enunciado, ambas proposiciones son verdaderas, ya que
efectivamente los contenidos estudiados en la primera semana corresponden a lgica
(proposicin r) y de la misma forma es verdadero que existe un tutor en el curso
(proposicin p), por ende:

(r p)

V V V

Paso 2: Una vez resuelta la primera parte del problema, se debe resolver el segundo
parntesis.

(r p) q

ESTE DOCUMENTO CONTIENE LA SEMANA 1

13

Como se demostr (r p) es verdadera, por ende:

(r p) q
[V q]
De acuerdo al enunciado, la proposicin q es soy alumno(a) del curso de Nivelacin
matemtica., que es verdadera, por ende:

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

Paso 3: Una vez resuelta la segunda parte del problema, se debe resolver el parntesis
final.

(r p) qs
Como se demostr (r p) q es verdadera, por ende:

(r p) q s
V s
De acuerdo al enunciado, la proposicin s es estudio en el IACC, lo que es verdadera, por
ende:

(r p) q s
V s
V V V
Por ende, el valor de Verdad de la proposicin es verdadero.

2.- Determine el valor de verdad de p,q,r tal que la proposicin compuesta ( p q) r sea
falsa.
Solucin
2.1.- Es necesario encontrar el valor de p,q,r de manera que:

( p q) r F

ESTE DOCUMENTO CONTIENE LA SEMANA 1

14

Para que en una implicancia ( ) el valor de verdad sea falso, la nica forma de que esto se
cumpla es que la primera proposicin sea verdadera ( p q) y la segunda proposicin (r) sea
falsa (ver tabla),
P

pq

Por lo tanto:

( p q) V ; r F
De esta forma inmediatamente se puede obtener el valor de r, lo cual es Falso. Para que

( p q) sea verdadero, es necesario que ambas proposiciones sean verdaderas, de esta forma:

( p q ) V
p V ;q V
Si p V , entonces su negacin que sera p, es Falsa, por lo tanto.

p V
pF
2.2.- Una vez determinado el valor de p,q,r. Determine el valor de verdad de la siguiente
proposicin compuesta.

(r q) ( p r )
Solucin
De acuerdo a lo determinado en el ejercicio anterior, p F , q V , r F y r V , ahora
reemplazamos los valores de verdad de cada proposicin en la proposicin compuesta del
ejercicio.

ESTE DOCUMENTO CONTIENE LA SEMANA 1

15

( r q ) ( p r )
( F V ) ( F V )
V F
F
A continuacin, se sugiere realizar la ejercitacin de la semana (la que es calificada con 1 punto),
junto con revisar el video N1 Proposiciones de la semana que aparece en el apartado de
Videos de la semana y luego desarrolle el siguiente ejercicio.

3.- Si se sabe que (r q) p V , determine el valor de verdad de la siguiente

proposicin:
[ ( r q) ( p q) ]

ESTE DOCUMENTO CONTIENE LA SEMANA 1

16

TAUTOLOGA, CONTRADICCIN Y CONTINGENCIA

Una tautologa corresponde a aquellas proposiciones compuestas que adquieren el valor de
verdad verdadero independiente de los valores de verdad de las proposiciones simples que la
forman (Ralph P. Grimaldi, 1998, p. 58).
Una contradiccin corresponde a aquellas proposiciones compuestas que adquieren el valor de
verdad falso independiente de los valores de verdad de las proposiciones simples que la forman.
(Ralph P. Grimaldi, 1998, p.58).

La contingencia corresponde a aquellas proposiciones compuestas que no son ni tautologa ni

contradiccin.
Ejemplos:
1.- Utilizando la tabla de verdad, determine si la siguiente proposicin es una tautologa,
contradiccin o contingencia.

( p q) (q p)
p

p q

q p

( p q) (q p)

Solucin:
Corresponde a una tautologa pues en el resultado de la ltima columna aparecen slo
verdaderos.

ESTE DOCUMENTO CONTIENE LA SEMANA 1

17

PROBLEMAS DE APLICACIONES
Existen situaciones en las cuales se extraen hiptesis verdaderas y a partir de ellas se deduce una
tesis que soluciona la situacin. Para esto se puede traducir en lenguaje lgico el pensamiento que
permite llegar a la tesis. Asimismo, en algunos casos, ordenar la informacin a travs de tablas o
relaciones establecidas facilita la resolucin del problema, a continuacin se muestran
aplicaciones de esto.
1.- Tres profesionales, Marcia, Luis y Lorena, son postulantes para presentar un proyecto
educativo. Un periodista los entrevist para conocer sus opiniones, sobre lo que ellos pensaban de
la postulacin. Durante la entrevista, las declaraciones de los profesionales fueron:

Marcia: Lorena no ser elegida

Luis: Si Marcia es elegida, entonces Lorena tambin ser elegida
Lorena: Si yo no soy elegida, entonces no presentar otro proyecto en la institucin

Asumiendo que nadie minti, y que existe un elegido quin es?

Solucin:
p: Marcia es elegida
q: Luis es elegido
r: Lorena es elegida
z : no presentar otro proyecto en la institucin
Marcia: r
Luis: p r
Lorena : r z
a) r V r F
b) p r V

p F V

pF
c) r z V

V z V
z V

ESTE DOCUMENTO CONTIENE LA SEMANA 1

18

Como r F entonces Lorena no es elegida, p F entonces Marcia no es elegida. Luego el

elegido es Luis.
2.- Si Pablo tiene un ingreso inferior a Jos y Eduardo tiene un ingreso superior a Jos, Pablo
recibe un ingreso superior o inferior al de Eduardo?
Solucin:
Si se asume que el smbolo < significa ingreso inferior y que > significa ingreso superior,
entonces se puede escribir lo siguiente:
Pablo < Jos Eduardo > Jos
Luego Eduardo >Jos >Pablo
Por lo tanto Pablo percibe un sueldo inferior a Eduardo.

3.- Seis individuos desean asistir juntos a un congreso del rea de la informtica y deciden, cada
dos, utilizar diferentes medios de transporte. Se sabe que Anbal no utiliza el automvil, porque
ste acompaa a Pablo que no va en bus. Andrs viaja en bus. Si Carlos no va acompaado de
Daro pues no hace uso del bus. Determine en qu medio de transporte llega Luis.
Solucin:
Se asume x: no utiliza ese medio de transporte.
s. S utiliza el medio de transporte.
Automvil

Bus

Otro

Anbal

Pablo

Andrs

Carlos

Daro
Luis

s
Debe utilizar automvil

Observacin: la afirmacin Carlos no va acompaado de Daro pues no hace uso del bus, permite
deducir que Daro si va en bus, luego l acompaa a Andrs.

ESTE DOCUMENTO CONTIENE LA SEMANA 1

19

Por lo tanto podemos concluir que:

Anbal y pablo viajaron juntos en otro medio de transporte.
Andrs y Daro viajaron juntos en bus.
Por lo tanto Luis est acompaando a Luis viajando en automvil.

A continuacin, revise el video N3 Aplicacin Lgica de la semana que aparece en el apartado

de Videos de la semana y luego desarrolle el siguiente ejercicio.

4.- Tres mujeres: Paola, Carla y Carolina quienes sus tiempos libres los dedican a
realizar solo dos tipos de actividades cada una. Las actividades que realizan entre
estas tres mujeres son: ir a comprar al mall, ir a tomar un trago a un bar con amigas,
ir a un karaoke, ir a jugar basquetbol, ir a jugar tenis y ver pelculas. Sabiendo que
entre ellas no realizan ninguna actividad comn y segn la informacin
proporcionada a continuacin, determine qu actividades realiza cada una.
(a) A la que juega basquetbol no le gusta el tenis ni ir al mall
(b) Paola y Carla realizan deportes
(c) A Carolina no le gusta ver pelculas ni ir al mall
(d) A Carla no le gusta el basquetbol

ESTE DOCUMENTO CONTIENE LA SEMANA 1

20

COMENTARIO FINAL
Al enfrentar un problema matemtico siempre es fundamental identificar las hiptesis si es que
existen, reconocer la tesis, determinar qu concepto matemtico se debe aplicar para resolver
dicho problema. Muchas veces es necesario modelar la situacin, todo esto es parte de la base de
una estructura lgica.
Desde que un individuo se comunica oralmente, utiliza las palabras, frases, afirmaciones, etc., de
este universo del dilogo se destacan en la lgica, las denominadas proposiciones. Estas
corresponden a afirmaciones que adquieren un valor de verdad, es decir, es una frase que permite
bajo un cierto anlisis, determinar si es verdadera o falsa.
Cuando se emite una frase, muchas veces se utilizan las letras o palabras siguientes y, o,
entonces, equivalentemente. stas cumplen una funcin y, de acuerdo con la utilizada, se
debe efectuar un anlisis de la proposicin para determinar su valor de verdad. A estas palabras se
les llama conectivos lgicos, Se observar a continuacin que estas palabras o letras tienen
asignado un nombre y un smbolo matemtico.
1. Conjuncin: el smbolo es , se lee y
2. Disyuncin: el smbolo es , se lee o
3. Implicancia: , se lee entonces
4. Doble implicancia: , se lee si y solo si

ESTE DOCUMENTO CONTIENE LA SEMANA 1

21

REFERENCIAS
Marshall, V. y Mikenberg, I. (2002). Lenguaje Matemtico. Chile: Pontificia Universidad de Chile.
Dennis Zill y Jaqueline Dewar (1999). Lgica y conjunto. lgebra y Trigonometra. Colombia: McGraw Hill.
Ralph P. Grimaldi (1998). Fundamentos de lgicas. Matemticas Discretas y Combinatoria.
Mexico: Prentice Hall.

PARA REFERENCIAR ESTE DOCUMENTO, CONSIDERE:

IACC (2014). Introduccin a la Lgica. Nivelacin Matemtica. Semana 1.

ESTE DOCUMENTO CONTIENE LA SEMANA 1

22

ESTE DOCUMENTO CONTIENE LA SEMANA 1

23