Sesin 1: LGICA PROPOSICIONAL

DEFINICION DE LOGICA
Para comprender la definicin de lgica es necesario establecer la diferencia entre ciencias formales y
ciencias fcticas.
Las ciencias formales son las que tratan de los objetos abstractos. Por ejemplo la lgica y las
matemticas.
Las ciencias formales estn constituidas por un conjunto de proposiciones denominadas analticas: su
verdad y su falsedad se establece lgicamente. Ejemplos:
a) El tringulo tiene 3 ngulos.
b) 2+3=5.
c) La suma de los ngulos internos de tringulo es de 180
Las ciencias fcticas son las que tratan de objetos reales. Por ejemplo las ciencias naturales y las
ciencias sociales.
Las ciencias fcticas estn constituidas por un conjunto de proposiciones que se llaman sintticas: su
verdad o falsedad se establecen empricamente, es decir a travs de la experiencia. Ejemplos:
a) La clorofila es verde.
b) Los felinos son carnvoros.
c) El calor dilata los cuerpos
La lgica es una ciencia formal que estudia las tcnicas, procedimientos, reglas, mtodos y los principios
o leyes usados para distinguir la inferencia correcta de la incorrecta; para discriminar la inferencia vlida
de la no vlida. Es ciencia formal porque ella atiende slo al aspecto estructural de las inferencias sin
considerar el contenido significativo de sus proposiciones componentes.
DEFINICIONES INCORRECTAS
La lgica es la ciencia de las leyes del pensamiento. Es incorrecta porque la Psicologa trata de las leyes
del pensamiento, y la lgica no es una rama de la Psicologa.
La Lgica es la ciencia del razonamiento. Es incorrecta por que el razonamiento es pensamiento, y por
lo tanto objeto de estudio de la Psicologa. A la lgica solo le interesa la conclusin obtenida a partir de
premisas, para ofrecer una explicacin respecto a su valor de verdad.
RAZONAMIENTO
Razonamiento deductivo: Esta usualmente asociado a la solucin de problemas matemticos, sin
embargo tambin se puede aplicar al lenguaje ordinario. Ejemplo:
Jos no es un principiante
Nadie excepto un principiante puede usar uniforme
Luego, Jos no puede usar uniforme.
Es un argumento valido, pero no deja de ser trivial.
Razonamiento deductivo es aquel que busca descubrir si una conclusin dada es consecuencia de
determinadas premisas, asunciones, axiomas o presupuestos.
Establece la certeza del comportamiento de la parte en base al comportamiento del todo.
Razonamiento inductivo: Nos ofrece menos certeza que el razonamiento deductivo y ms bien una
diversidad de grados de probabilidad.
Razonamiento inductivo es aquel tipo de razonamiento que busca producir una afirmacin verdadera de
un todo sobre la base del comportamiento de una muestra. Ejemplos:
a) A Pedro le gusta la diversin, al menos eso es lo que he observado cada vez que lo he visto.
b) Esa es una caja de manzanas malogradas, pues cada una de las cinco que he revisado estn
malogradas.
c) Hay posibilidad de que llueva, por que cada vez que hace viento llueve.
El mtodo cientfico esta vinculado al razonamiento inductivo, cuya caracterstica es la probabilidad y
no la certeza.

NOCION DE FORMA LOGICA

Enunciado es una frase u oracin que se utiliza en el lenguaje comn. Ejemplos:
a) T eres lo mximo.
b) 7 - 3= 4
c) Cul es tu color preferido?
La proposicin es una oracin aseverativa susceptible de ser calificada de verdadera o falsa. Ejemplos:
a) Einstein fue el creador de la teora de la relatividad (V).
b) El Per esta al norte de Ecuador (F).
La Inferencia es una operacin lgica que consiste en obtener la verdad de una proposicin, conocida
como conclusin, a partir de la verdad de una o ms proposiciones. Ejemplos:
a) Si eres Tarapotino, entonces eres peruano
Si eres Peruano, entonces eres sudamericano.
Luego, si eres Tarapotino eres sudamericano.
b) Ningn peruano es chileno
Todos los sanmartinenses son peruanos
Luego, ningn sanmartinense es chileno.
La validez de una inferencia lgica es establecida cuando cumple las condiciones formales establecidas
de validez.
El grado de relacin existente entre las premisas y la conclusin de una inferencia lgica determina que
una inferencia sea deductiva o inductiva.
En una inferencia deductiva la conclusin deriva siempre de las premisas.
En una inferencia inductiva la conclusin no sigue necesariamente a las premisas, estas solamente la
hacen probable.
EXPRESIONES LINGUISTICAS QUE NO SON PROPOSICIONES:
Todas las proposiciones son oraciones, pero no todas las oraciones son proposiciones.
No son proposiciones las oraciones: Interrogativas, exhortativas o imperativas, desiderativas y las
exclamativas o admirativas; tambin no son las oraciones dubitativas, creencias, refranes y los juicios de
valor. Ejemplos:
a) Qu es la lgica? (interrogativa)
b) Debemos honrar a nuestros hroes (imperativa o exhortativa)
c) En hora buena que se fue (desiderativa)
d) Por mi madre! casi me saco la lotera! (exclamativa o admirativa)
e) Quizs llueva maana (dubitativa)
f) Valentn es bueno (juicio de valor)
Pseudoproposicin es una oracin aseverativa que no es proposicin, por que no tiene sentido decir que
son verdaderas o falsas. Ejemplos:
a) El tringulo es inteligente
b) Eduardo es un nmero racional
c) El agua es vegetal
Las funciones proposicionales no son proposiciones, por que para que sean verdaderas o falsas, se debe
asignar previamente valores a sus variables o letras. Ejemplos:
a) x + 3 = 5 (sera proposicin si se le da un valor a x)
b) a es la capital del Per. (sera proposicin si se reemplaza a por Lima o cualquier otra ciudad)
c) 2x 3 > 1 (sera proposicin si se le da un valor a x)
Las descripciones definidas no son proposiciones por que para que sean verdaderas o falsas se deben
reemplazar las frases especiales por nombres propios. Ejemplos:
a) El principal sospechoso de los atentados del 11 de septiembre del 2001 en Estados Unidos. ( sera
proposicin si se reemplaza por Osama bin Laden)
b) El actual Presidente del Per. ( sera proposicin si se reemplaza por Alan Garca)
Los filosofemas son enunciados filosficos que expresan opiniones racionalmente fundamentadas. Los
filosofemas no son proposiciones. Ejemplos:
a) La realidad es duracin (Bergson)
b) La materia se mueve en un ciclo eterno (Engels)

ENUNCIADOS ABIERTOS Y CERRADOS:

Los enunciados abiertos son expresiones que contienen variables y que no tienen la propiedad de ser
verdaderos o falsos. Se les conoce con el nombre de funciones proposicionales. Ejemplos:
a) X + 5 = 10. Si x = 5, es verdadera; pero si x = 7, es falsa.
b) A es la capital del Per. Si A = Lima, es verdadera; pero si A = Iquitos, es falsa.
Los enunciados cerrados son expresiones que tienen la propiedad de ser verdaderos o falsos. Se les
conoce con el nombre de proposiciones. Ejemplos:
a) 2 + 5 = 7 (V)
b) Tarapoto es la capital del Per (F)
CLASES DE PROPOSICIONES
Las proposiciones atmicas (simples o elementales) carecen de conjunciones gramaticales tpicas o
conectivas (y, o, si entonces, si y solo si) o el adverbio de negacin no. Ejemplos:
a) Tarapoto es la capital de la provincia de San Martn.
b) La lgica es distinta a la matemtica.
Las proposiciones atmicas de acuerdo a sus elementos constitutivos pueden clasificarse en predicativas
y relacionales.
Las proposiciones predicativas constan de sujeto y predicado. Ejemplos:
a) El nmero 2 es par.
b) El espacio es relativo.
Las proposiciones relacionales constan de dos o ms sujetos relacionados entre s. Ejemplos:
a) Carlos es hermano de Marta.
b) 5 es mayor que 3
Las proposiciones moleculares (compuestas o coligativas) contienen alguna conjuncin gramatical
tpica o conectiva o el adverbio negativo no. Ejemplos:
a) La lgica y la matemtica son ciencias formales.
b) El tiempo es absoluto o es relativo.
c) Si dos ngulos adyacentes forman un par lineal, entonces son suplementarios.
d) Este nmero es par si y slo si es divisible por dos.
e) El Inca Garcilaso de la Vega no es un cronista puneo.
Las proposiciones moleculares se clasifican en: Conjuntivas, Disyuntivas, Condicionales,
Bicondicionales, y Negativas.
Las proposiciones conjuntivas: llevan la conjuncin copulativa y o sus expresiones equivalentes
como: o, pero, aunque, aun cuando, tanto como, sino, ni ni, sin embargo,
adems, etc. Ejemplos:
a) El es un articulo y de una preposicin.
b) El nmero 2 es par, pero el nmero 3 es impar.
c) Silvia es inteligente, sin embargo no aprob.
d) Tanto el padre como el hijo son msicos.
e) Manuel e Isabel son universitarios.
f) La materia ni se crea ni se destruye.
g) Ir a verte aunque llueva.
h) Ingresare a la fiesta aun cuando no sea invitado.
En las proposiciones conjuntivas no es necesario que las proposiciones componentes estn relacionadas
en cuanto al contenido; es suficiente la presencia de la conjuncin y o sus equivalentes.
Una proposicin conjuntiva es conmutativa; es decir se puede permutar el orden en la lgica, mas no en
el lenguaje natural por que cambiara el sentido. Ejemplo:
a) Anglica se caso y tuvo diez hijos.
b) Anglica tuvo diez hijos y se caso.
Las pseudoproposiciones conjuntivas son proposiciones que se presentan como si fuesen proposiciones
conjuntivas, pero que en realidad son proposiciones atmicas relacionadas. Ejemplos:
a) Maria y Juana son vecinas.
b) Pedro y Javier son colegas.
c) Carola, Patricia y Paola son trillizas.

Las proposiciones disyuntivas: llevan la conjuncin disyuntiva o, o sus expresiones equivalentes

como: u, ya ya, bien bien, ora ora, sea sea, y/o, etc.
Las proposiciones disyuntivas pueden ser inclusivas o exclusivas.
La proposicin disyuntiva inclusiva admite que las dos alternativas se den conjuntamente. Ejemplos:
a) Pedro es to o es sobrino.
b) Roberto es profesor o es estudiante.
La proposicin disyuntiva exclusiva no admite que las dos alternativas se sen conjuntamente. Ejemplos:
a) Elena esta viva o esta muerta.
b) Manuel es casado o es soltero.
Las proposiciones condicionales: llevan la conjuncin condicional compuesta si entonces o sus
expresiones equivalentes como: si, siempre que, con tal que, puesto que, ya que, porque,
cuando, de, a menos que, a no ser que, salvo que, solo si, solamente si, etc. Ejemplos:
a) Es herbvoro si se alimenta de plantas.
b) El nmero seis es par puesto que es divisible por dos.
c) Carlos aprobar siempre que estudie.
d) Cuando llegue Ral jugaremos ajedrez.
e) De llover no asistiremos a la fiesta.
f) Juan se compro una moto porque gano dinero en vacaciones.
g) Pedro ingresar a clases solamente si viene con uniforme.
Las proposiciones bicondicionales: llevan la conjuncin compuesta s y slo si o sus
expresiones equivalentes como: cuando y solo cuando, si, entonces y slo entonces, etc.
Ejemplos:
a) Es fundamentalista si y slo si es talibn.
b) Habr cosecha cuando y slo cuando llueva.
c) Si apruebo el examen, entonces y slo entonces aprobar el curso.
Las proposiciones negativas: llevan el adverbio de negacin no o sus expresiones equivalentes como:
nunca, jams, tampoco, no es verdad que, no es cierto que, es falso que, le falta, carece
de, sin, etc. Ejemplos:
a) Nunca he odo esa msica.
b) Jams he visto al vecino.
c) Es imposible que el tomo sea molcula.
d) Es falso que el juez sea fiscal.
e) A Rafael le falta requisitos para ocupar el cargo de Contador.
CONECTIVOS LOGICOS
Las proposiciones atmicas no llevan conectivos lgicos y se representan mediante las variables
proposicionales: p, q, r, s, etc. Ejemplos:
p: Grau es un hroe nacional
q: Grau naci en Piura.
Las operaciones con proposiciones se representan mediante smbolos llamados conectivos lgicos. Las
operaciones que se pueden realizar con las proposiciones son:
a) Negacin (~)
b) Conjuncin ( )
c) Disyuncin inclusiva ( )
d) Disyuncin exclusiva ( )
e) Condicional ()
f) Bicondicional ()
Las constantes lgicas son los valores de verdad: verdadero (V) y falso (F). Estas constituyen oraciones
en si mismas.
Las proposiciones moleculares son la combinacin de dos o ms proposiciones simples, enlazadas por
medio de conectivos. Ejemplo:
p: Maria estudia
q: Maria trabaja
p q: Maria estudia y trabaja

Formula lgica es el conjunto de proposiciones simples, conectivos lgicos y smbolos de coleccin.

Ejemplo:
~[(p q) (p q)]
OPERADORES LOGICOS
Operador

Nombre

Esquema

Significado

Negacin

~p

No p

Conjuncin

pq

pyq

Disyuncin dbil o inclusiva

poq

Disyuncin fuerte o exclusiva

pq
pq

O p, q

Condicional

pq

Si p, entonces q

Bicondicional

pq

p, si y slo si q

VALORES DE VERDAD DE LOS OPERADORES LOGICOS

p q

~p

pq

pq

pq

pq

pq

VV

VF

FV

FF

FORMALIZACIN DE PROPOSICIONES
Procedimiento:
1. Obtener la forma lgica del texto, reemplazando las expresiones equivalentes por las conjunciones
gramaticales: y, o, Si, entonces, Si y solo si y el adverbio no
2. Escribir la formula lgica, reemplazando las proposiciones atmicas por las variables
proposicionales: p, q, r, s, etc. y las conjunciones gramaticales por los conectivos: ~ , , , , ,
3. Establecer jerarqua entre las operaciones, usando los signos de coleccin: { }, [ ], ( ).
Ejemplos:
1. No iremos al teatro a menos que llegue Ral
Forma lgica:
Si llega Ral, entonces iremos al teatro
Formula lgica:
p: llega Ral
q: iremos al teatro

pq
2. Es falso que Carlos ni estudia ni trabaja, sin embargo juega football.
Forma lgica:
Es falso que Carlos no estudie y Carlos no trabaje, y Carlos juega football
Formula lgica:
p: Carlos estudia
q: Carlos trabaja
r: Carlos juega football

~(~p~q) r

TABLAS DE VERDAD
Una tabla de verdad es una grafica en forma de cruz que sirven para evaluar esquemas moleculares. Este
esquema muestra como valores de verdad de proposiciones compuestas, dependen de los conectivos
usados y de los valores de verdad de las proposiciones componentes simples.
VARIABLES

FORMULAS COMPUESTA

ARREGLOS

VALORES
PARCIALES

2n

VALORES
PARCIALES

MATRIZ O
RESULTADO
FINAL

Ejemplo: Construir la de verdad del siguiente esquema proposiconal: [( p q) p]

p q
V
V
F
F

p q p

V
F
V
F

V
F
F
F

V
V
V
V

V
V
F
F

CLASES DE TABLAS DE VERDAD O MATRICIALES

Tautologa: Es aquella que contiene en su resultado final o matricial el valor veritativo de solo
verdadero (V). y se representa por una T de Tautologa.
Contradiccin: Es aquella que contiene en su resultado final o matriz, el valor veritativo es solo falso
(F). y se representa por (- T). Ejemplo:

p q
V
V
F
F

V
F
V
F

p q p q
V
F
V
V

VV
FV
F F
FF

p p q p

p q

V V
V V
V F
V F
F V
V V
F F
V F
F
F
Matriz tautolgica

V
F
F
F

F
F
F
F

V
F
F
F
Matriz contradictoria

Contingencia: Es aquella que contiene en su resultado final o matriz, una combinacin de valores
veritativos verdaderos (V) y falsos (F).

p q
V
V
F
F

V
F
V
F

p q p q
V
F
F
F

V
F
F
F

V
V
F
F

F F
V V
V F
V V
F
F

Matriz contingente

Ejercicios Propuestos
1. Si la proposicin compuesta: ( p q) (r t ) es falsa, indicar las proposiciones atmicas
verdaderas.
A) p y r
B) p y q
C) r y t
D) q y t
E) p y t
2. Si la proposicin compuesta: [(r s) p] pq) es verdadera, adems p q es falsa.
Determine los valores de verdad de p, q, r y s.
A) VVFF
B) FVFV
C) FFVF
D) VVFV
E) VFVF
3. En la tabla de verdad de la siguiente proposicin: Si estudias, podrs ingresar a la universidad,
pero si no estudias, no podrs ingresar a la universidad, su matriz de resultados es:
A) VVFV
B) FVFV
C) VFVF
D) VFFV
E) FVVF
4. De la proposicin Ser feliz, cuando te ame, la matriz de resultados de su tabla de verdad es:
A) FVFV
B) VFVF
C) VVFV
D) VFVV
E) N.A
5. De la proposicin Si te aman entonces dirn la verdad. Pero te han mentido. Por lo tanto te odian,
su tabla veritacional es:
A) Tautologa
B) Contradiccin
C) Consistente
D) Contingente
E) Consistente y contingente.
6. Sean los esquemas:
I. p q r s r s p q
III.

p q p.

II.

p q q p

Es cierto que:

A) I no es una Tautologa
D) Slo I es Tautologa

B) II es Tautologa
C) III es Contradictorio
E) I y III son tautologas.

7. Son proposiciones simples:

1. Juan y Karina son mellizos 2. Luis y Jos estudian en la UNSM
3. La vida no vale vivirla
4. Bolivia esta entre Brasil y Uruguay
5. La Lgica es una ciencia formal.
Son ciertas:
A) 1, 2,3
B) 3, 4,5
C) 2,3, 4
D) 1,4 y 5
E) 3 y 5
8. La proposicin: Es incierto que, los animales sean vertebrados y celentereos. Se formaliza como:
A) p q
B) p q
C) ( p q) D) p q E) p q
9. La proposicin: Ambos triunfaran si Pedro trabaja y Rosa estudia. Se formaliza:
A) p q r
B) q r p
C) ( p q r )

r
D)
E) r ( p q)
10. Sea el esquema C A B corresponde a la proposicin:
A) Siempre que llueve hay nubes y hace calor
B) Si hay nubes y hace calor llover
C) Llueve si y solo si hay nubes y hace calor
D) Llueve si hay nubes y hace calor
E) Hace calor siempre que hay nubes y llueve.

Sesin 2: CONJUNTOS
DIAGRAMA DE CARROLL
El Diagrama de Carroll, creado por el matemtico logista Lewis Carroll, quien utilizaba el seudnimo
de Charles Dodgson y fue autor de la obra Alicia en el pas de las maravillas, usualmente es
considerado dentro de la Teora de conjuntos, para el caso en que se tengan conjuntos disjuntos, los
cuales se representan mediante rectngulos.
Consideremos el siguiente ejemplo de docentes participantes en un Seminario de Capacitacin
Internacional; su representacin mediante el diagrama de Carroll es:
Hombres

Mujeres

Peruanos

Extranjeros

Donde:
Total de hombres: a + c
Total de mujeres: b + d
Total de peruanos: a + b
Total de extranjeros: c + d
Hombres peruanos: a
Mujeres peruanas: b
Hombres extranjeros: c
Mujeres extranjeras: d

NOTA:
Se
observa
claramente que los conjuntos
de hombres y mujeres son
disjuntos, ya que un hombre
no puede ser mujer a la vez.
Y que los conjuntos de
peruanos y extranjeros,
tambin son disjuntos, ya
que un peruano no puede ser
extranjero a la vez.

Ejemplos ilustrativos:
1. En la Fiesta de Promocin de una Institucin Educativa de Primaria, asistieron 90 estudiantes, 20
eran varones que no gustaban de la msica Rock, 40 eran mujeres que gustaban de esta msica. Si
el nmero de varones que gusta de la msica Rock es la cuarta parte de las mujeres que no gusta
de esta msica. A cuntos les gusta la msica Rock?
Solucin:
U = 90
Varones
Gustan del rock
No gustan del
rock

x + 20 + 40 + 4x = 90 Universo o total
5x + 60 = 90
5x = 30
x=6

Mujeres

40

20

4x

Por lo tanto Gustan del Rock 6+ 40 = 46

Rpta.: A 46 estudiantes les gusta la msica rock.
2. Una institucin educativa cuenta con 50 docentes, de los cuales: 5 mujeres tienen ojos negros, 16
mujeres no tienen ojos negros, 14 mujeres no tienen ojos azules, 10 hombres no tienen ojos azules o
negros. Cuntos hombres tienen ojos negros o azules?
Solucin
U = 50 docentes

10

Azules

Negros

Otros

* Dato: 5 + b = 14
b=9
* Dato: a + b = 16
a=7
* Total de Mujeres: 9 + 5 + 7 = 21
* Total de Hombres: 50 21 = 29
* x + 10 = 29
x = 19

Hombres
Mujeres
Rpta.: Hay 19 hombres que tienen ojos negros o azules

Ejercicios propuestos
1) En una reunin de APAFA haban 120 padres de familia, 30 eran varones que no gustaban de la
msica criolla, 50 eran mujeres que gustaban de esta msica. Si el nmero de hombres que
gustaban de la msica criolla es la tercera parte de las mujeres que no gustaban de esta msica.
A cuntos padres de familia les gusta la msica .Criolla?
2) En un saln de 120 estudiantes, se observa que 47 son mujeres; 63 varones desaprobaron en
habilidades lgico matemticas y slo 38 estudiantes lo aprobaron Cuntas mujeres desaprobaron
en habilidades lgico matemticas?
3) De 100 estudiantes del Club de Ciencias de una Institucin educativa, se obtuvo la siguiente
informacin:
10 mujeres tienen 15 aos.
25 mujeres no tienen 17 aos.
30 mujeres no tienen 15 aos
20 hombres no tienen 15 ni 17 aos
Cuntos hombres tienen 15 17 aos?
4)

De un grupo de 100 docentes del Programa Nacional de Capacitacin Docente-Ascope, 40 son

mujeres, 73 son de la especialidad de Matemticas, 12 mujeres no son de la especialidad de
Matemticas. Cuntos hombres no son de la especialidad de Matemticas?

5) En un congreso de Educacin Binacional Per-Ecuador, participan 700 docentes, de los cuales 240
son docentes varones peruanos y 150 docentes varones ecuatorianos, que representan el triple de
docentes mujeres peruanas. Cuntas docentes mujeres ecuatorianas asistieron a dicho congreso?
6) A una fiesta asisten 100 parejas; 50 hombres usan anteojos, hay tantas personas con anteojos, como
mujeres que no lo usan Cuntas mujeres no usan anteojos?
CUADROS LGICOS
A continuacin encontrars diversos tipos de ejercicios que te permitirn desarrollar gradualmente las
habilidades de pensar inductivamente y deductivamente a partir de un grupo de premisas y restricciones.

Qu preguntas encontraremos en los cuadros lgicos?

Encontraremos preguntas que requieren de la habilidad de pensar clara y lgicamente a partir de los datos
dados en cada enunciado, la habilidad de comprender y ordenar un conjunto de datos, y de manejarlos
simultneamente en la solucin de problemas. En muchos casos ser necesario utilizar grficos o esquemas.
Cmo emprenderemos, la resolucin de los problemas?
Reuniendo las habilidades de deduccin e induccin formal, la comprensin de cmo las reglas o normas
limitan y ordenan el comportamiento, y la habilidad de manejar varios datos simultneamente para
solucionar problemas. En otras palabras, enfocaremos nuestro trabajo en desarrollar las siguientes
habilidades:
Razonar clara y minuciosamente a partir de un conjunto de datos.
Comprender y organizar la informacin recibida.
Manejar varios datos simultneamente.
Para facilitar la comprensin y solucin de los cuadros lgicos debemos considerar los siguientes tipos de
ordenamientos de datos:
Ordenamiento lineal
Ordenamiento circular
Relacin de datos (Cuadros de doble entrada, Diagramas de Carroll)
Ordenamiento por agrupacin
Ordenamiento por ramificaciones
Esquemas o grficos diversos

Ejemplo ilustrativo:
Amelia, Blanca, Carolina y Diana tienen una profesin diferente cada una: Abogada, Contadora, Profesora y
Pintora; pero no necesariamente en ese orden, adems se sabe que:

Amelia y la abogada son muy amigas de carolina

Diana es contadora

La pintora es prima de Amelia

Solucin:
Primero construiremos un cuadro con los nombres de las personas y sus profesiones, as tenemos:
ABOGADA CONTADORA PROFESORA PINTORA
AMELIA
BLANCA
CAROLINA
DIANA
Luego, dato por dato iremos completando el cuadro, as tenemos
ABOGADA CONTADORA PROFESORA PINTORA
AMELIA
NO
NO
SI
NO
BLANCA
SI
NO
NO
NO
CAROLINA
NO
NO
NO
SI
DIANA
NO
SI
NO
NO
Con lo que finalmente se tendr que: Amelia es profesora, Blanca es abogada, Carolina es pintora y Diana es
contadora.
Ejercicios propuestos:
1) Si Panam tiene su territorio ms grande que Chile y ms pequeo que Estados Unidos, adems
Per es ms grande que Cuba y ms pequeo que Brasil. De estas afirmaciones se desprende:
1. Brasil es ms grande que Cuba
2. Cuba es ms grande que Per
3. Estados Unidos es ms grande que Chile
4. Chile es ms grande que Panam
5. Chile es ms pequeo que Panam. Son innegablemente inciertas:
A) 1, 2 y 3
B) 1, 2 y 4
C) 1, 3 y 5 D) Slo 2 y 4
E) Slo 3 y 4
2) Si Martn es mayor que Eduardo, Francisco es menor que Jos, Sofa es menor que Francisco y
Eduardo es ms viejo que Jos, por consiguiente:
A) Eduardo es menor que todos B) Jos es menor que todos
C) Sofa es menor que Martn
D) Jos es menor que Francisco
E) Eduardo es mayor que Martn
3) De 4 hermanas, se sabe que Berta es mayor que dos de ellas pero menor que Doris. Ana es menor
que dos de ellas, pero mayor que Carla que es la ltima de las 4 hermanas. Cul es el orden en
forma descendente?
A) A, B, C, D
B) D, B, A, C C) C, B, D, A D) C, A, B, D E) B, D, A, C
4) Luis pesa menos que Antonio, pero ms que Pablo. Pablo pesa menos que Luis,
Esteban Quin pesa ms?
A) Esteban
B) Antonio
C) Luis
D) Pablo
E) Ninguno

pero ms que

DIAGRAMAS DE VENN
Los Diagramas de Venn son regiones planas limitadas por curvas cerradas que se usan generalmente
para representar a un conjunto y visualizar que elementos estn o no en l y sirven para resolver
problemas sobre conjuntos.
Los problemas sobre conjuntos se pueden presentar a travs de los siguientes diagramas de Venn.

A) Cuando se plantean a travs de dos conjuntos

Supongamos que A y B son dos actividades diferentes, si a estas actividades las representamos a
travs de conjuntos, entonces en el diagrama de Venn se tiene la interseccin de dichos conjuntos
con las respectivas zonas que determinan.

U
A

B
x

A: Elementos que hacen la actividad A

B: Elementos que hacen la actividad B
x: Elementos que solo hacen la actividad A
y: Elementos que solo hacen la actividad B
z A B : Elementos que hacen A y B
U: Universo.

B) Cuando se plantean a travs de tres conjuntos

Supongamos que A, B y C son dos actividades diferentes, si a estas actividades las representamos a
travs de conjuntos, entonces en el diagrama de Venn se tienen la interseccin de dichos conjuntos
con las respectivas zonas que determinan.

U
A
a
x v y
b

c
z

A: Elementos que hacen la actividad A

B: Elementos que hacen la actividad B
C: Elementos que hacen la actividad C
a: Elementos que solo hacen la activ. A
b: Elementos que solo hacen la activ. B
c: Elementos que solo hacen la activ. C
x v A B : Elementos que hacen
solo las actividades A y B
y v A C : Elementos que hacen
solo las actividades A y C
z v B C : Elementos que hacen
solo las actividades B y C
v A B C : Elementos que hacen
las actividades A, B y C
U: Universo.

Ejercicios propuestos
1) A una fiesta de promocin asisten 30 alumnos, de los cuales 12 son varones y de estos 5 no estn
bailando. Cuntas mujeres no estn bailando?
2) En un saln de clases de 47 alumnos se sabe que a 30 les gusta Matemtica, a 20 les gusta Lenguaje
y a 25 les gusta ingls. A 14 les gusta Matemtica y Lenguaje, a 13 Matemtica e ingls y a 15 les
gusta Lenguaje e ingls. Si a 12 alumnos les gusta los 3 cursos. A cuantos alumnos no les gusta
ninguno de los cursos mencionados?
3) Se sabe que en una encuesta sobre preferencias electorales al congreso de 3 candidatos A, B y C:
22 prefieren A, 24 prefieren B y 20 prefieren C, si los que prefieren al menos un candidato son 35 y
los que prefieren solamente un candidato son 5. Cuntos prefieren los 3 candidatos?
4) En un hotel hay 29 turistas, 16 van al cine, 15 a la playa y 18 al teatro; 5 van al teatro y a la playa
nicamente, 6 al cine y a la playa solamente y 7 al cine y al teatro solamente. cual es el numero de
personas que van solamente al cine? Se sabe adems que todos van por lo menos a un lugar.