1

INSTITUCIN EDUCATIVA CENTRO FORMATIVO DE ANTIIOQUIA CEFA

MATEMTICAS GRADO UNDCIMO
LGICA Y TEORA DE CONJUNTOS
NOMBRE DE LA ESTUDIANTE:________________________________________N_____GRADO:______

LGICA
Introduccin
El ser humano, en su vida diaria, se comunica con sus
semejantes a travs de un lenguaje determinado (oral,
escrito, etctera) por medio de frases u oraciones.
Estas van a tener diferentes significados; pero siempre
van a resumirse a las formas de verdadero o falso. Lo
importante es que a partir de los enunciados y de
acuerdo con su significado, es posible establecer una
proposicin y a partir de un conjunto de estas podemos
llegar a una conclusin o inferencia, siendo la lgica la
encargada del estudio de stas.

Se consideran y simbolizan 2 clases de proposiciones

en lgica, las simples o atmicas y las compuestas o
moleculares.
Proposiciones simples o atmicas:
En lgica, atmicas son las proposiciones de forma ms
simple o ms bsicas. Son proposiciones completas sin
trminos de enlace, son declarativas.
Ejemplos:
p: 7 es un nmero natural
q: Pedro ama a Betty
r: Juan Pablo es buen corredor

Lgica proposicional: La palabra lgica proviene

del griego Logos que significa idea, palabra, razn
o razonamiento. Por tanto, se puede considerar el
estudio de la Lgica, como el estudio de los
mtodos y principios utilizados para diferenciar un
razonamiento correcto de otro incorrecto. Estudia las
proposiciones o sentencias lgicas, sus posibles
evaluaciones de verdad y en el caso ideal, su nivel
absoluto de verdad.
La lgica establece relaciones entre las cosas y los
acontecimientos, a estas relaciones se les llama
proposiciones.

Proposiciones compuestas o moleculares:

Una proposicin compuesta es aquella que est
formada por dos o ms proposiciones simples ligadas
por un conector o trmino de enlace.

Proposiciones: Se denomina de esta forma a

cualquier expresin o frase con sentido completo
que sea verdadera o falsa, pero no ambas cosas a la
vez; por lo general se representan con las letras
minsculas: p, q, r, s.
Algunos ejemplos de proposiciones son:
p: Colombia clasific al mundial del 2014.
q: Todos los estudiantes ganaron razonamiento lgico.
r: 3x5=14
Nota: Las expresiones de admiracin, interrogacin,
exclamacin, debido a que no se les pueda dar un valor
de verdad, no se consideran proposiciones.

ATENCIN:
La formacin de proposiciones compuestas depende
exclusivamente de los enlaces utilizados y no de la
concordancia que se establezca entre las proposiciones
simples ni de su valor de verdad.

Valores de Verdad
Cada uno de los trminos verdadero (V) o falso (F) que
se puedan asignar a una proposicin recibe el nombre
de VALOR DE VERDAD.
Para el caso de una proposicin compuesta, su valor de
verdad est completamente determinado por los valores
de verdad de las proposiciones simples que la
componen y del conectivo que se emplea para
conectarlas. En algunos casos el valor de verdad
asignado a una proposicin est condicionado al
contexto que enmarca la proposicin. Por ejemplo decir
hoy es Martes su valor de verdad depende del da que
se someta a juicio esta proposicin.
Algunos ejemplos son:
p: Colombia clasific al Mundial del 2014
q: Chile es un pas suramericano (V)
r: 3x5=14
(F)
Tipos de Proposiciones

(V)

Ejemplo:
p: Mara estudia fsica
q: Mara estudia qumica
Ligando mediante un conector las dos anteriores
proposiciones simples, resultara una proposicin
compuesta como:
Mara estudia fsica o Mara estudia qumica.

Conectivos Lgicos
Gramaticalmente existen diferentes tipos de conectores.
Para el tema que nos atae nos referimos a los de tipo
lgico, que servirn para relacionar o enlazar
proposiciones simples dando origen a las compuestas.
A continuacin se estudiarn detalladamente cada uno
de los conectores lgicos.
Smbolo
lgico

Nombre

Smbolo Gramatical

Negacin

NO.; No es cierto que

Conjuncin

Disyuncin
Disyuncin
Excluyente
Condicional
Bi condicional

o
oo
SiEntonces;
Si y solo si

La Negacin
Dada la proposicin p su negacin ser simbolizada
por ~ p
Nota: La negacin de un enunciado es una proposicin
compuesta.
Ejemplo:
Guillermo est vestido de rojo = proposicin Simple.
Guillermo no est vestido de rojo = proposicin
compuesta.
Ejemplo:

2
p: Jaime trabaja en el CEFA.
~p: Jaime no trabaja en el CEFA, o tambin, no es
cierto que Jaime trabaja en el CEFA.
Segn lo anterior se puede deducir la tabla de verdad
para la negacin:
Si es cierto o verdadero que Jaime trabaja en el CEFA
decir que no lo hace resultara falso.
La Conjuncin
Dada una proposicin p y una proposicin q
(simples), su conjuncin ser simbolizada por p
q
(compuesta).

Ejemplo:
p: Hoy juega el Nacional en Bogot.
q: Hoy juega el Envigado en Cali.
p q: Hoy juega el Nacional en Bogot y el Envigado
en Cali.
Para entender mejor el comportamiento de la tabla de
verdad de la conjuncin; pensemos en la siguiente
situacin: Tomas le dice a su amiga Mi madre estudia y
trabaja, en qu momento podemos afirmar que Tomas
dice la verdad?
Tabla de verdad para la
La conjuncin de dos
p
q
p q
proposiciones es
V
V
V
verdadera slo
V
F
F
cuando ambas
F
V
F
proposiciones lo sean. F
F
F

La disyuncin Inclusiva
Dada una proposicin p y una proposicin q
(simples), su disyuncin ser simbolizada por p v q
(compuesta).
Ejemplo:
p: Diego es deportista.
q: Diego es estudiante
p

q: Diego es deportista o estudiante.

Para entender mejor el comportamiento de la tabla de

verdad para la disyuncin, pensemos en la siguiente
situacin:
El coordinador de la institucin pide a las estudiantes de
un grupo que se inscriban para participar en un evento
institucional solo las jvenes que tienen habilidades
para la msica o el teatro. Usted considera que quines
participaran?
Tabla de verdad para la V
Con el ejemplo
p
q
p
q
anterior observa
V
V
V
cmo se comporta
la
V
F
V
tabla de verdad.
F
V
V
La disyuncin
F
F
F
inclusiva es falsa
slo cuando ambas proposiciones son falsas.

La Disyuncin Excluyente:
Dada una proposicin p y una proposicin q
(simples). Su disyuncin excluyente ser simbolizada
por p q (compuesta).
Nota: En la disyuncin excluyente, una de las
proposiciones excluye a la otra. Por ejemplo ante la
frase Esta vivo o est muerto; no es posible afirmar
que es verdadera las dos proposiciones; aqu la
Tabla de verdad para la
p
q
p q
V
V
F
V
F
V
F
V
V
F
F
F

veracidad de una de las dos, implica que la otra

proposicin es falsa.
La disyuncin excluyente es verdadera solo cuando una
de ellas es verdadera, ya que es imposible hacer las
dos al mismo tiempo.
p
~p
V
F
El Condicional
F
V
Dada una proposicin p y una
proposicin q (simples), su condicional ser
simbolizado por p q (compuesta), y se lee, si p
entonces q.
En la condicional , la proposicin p se
denomina hiptesis, antecedente, premisa o
condicin suficiente y la proposicin q tesis,
consecuente, conclusin o condicin necesaria.
Ejemplo:
p: El curso es interesante.
q: Me matriculo en el curso.
p q: Si el curso es interesante entonces me
matriculo en el curso o tambin, Si el curso es
interesante, me matriculo en el curso.
Para comprender mejor el valor de verdad del
condicional pensemos en la siguiente situacin: Una
madre le dice a su hijo Si gana el ao, te regalo una
bicicletaCundo estara la madre faltando a su
palabra? Cundo el
Tabla de verdad para el
enunciado es falso?
p
q
pq
En conclusin, el
V
V
V
condicional es falso
V
F
F
solo cuando la
hiptesis es
F
V
V
verdadera y la
F
F
V
conclusin es falsa.
Nota: Cuando la tesis o la conclusin es consecuencia
lgica de la hiptesis, es decir cuando las proposiciones
estn lgicamente relacionadas y son verdaderas, el
condicional ( ) recibe el nombre de implicacin (

)
Por ejemplo ante la frase Si estudio entonces gano.
Para una persona X, suele suceder, que en todas las
ocasiones siempre que estudia gana; para esa persona
se puede concluir que estudiar implica ganar. Lo que
era un condicional se convierte en una implicacin y se
representa p q .

Ejemplos
1. Si estudias entonces ganars el ao.
2. Si x 3 5 , entonces x 2
3. Si ABC son los vrtices de un tringulo entonces la
medida de los ngulos A,B y C suman 180
4. Si gano el examen de admisin de la universidad
de Antioquia, entonces puedo matricularme en la
carrera que escog.
5. Si el mar es dulce entonces tres es un nmero
impar.
En los ejemplos anteriores, los primeros cuatro son
implicaciones mientras que el ltimo es condicional pero
no implicacin.
Variantes del Condicional
Dado un condicional p q, se pueden dar tres
variaciones.

3
Directo:
Recproco:
Contrario:
Contra recproco:

pq
qp
~p~q
~q~p

Nota: Cuando una condicin es solo suficiente o solo

necesaria, el directo y el reciproco son diferentes.
Cuando en un condicional p q , p es condicin

Nota:
El contra recproco tiene el mismo valor de verdad que
el directo; en otras palabras se dice que el directo y el
contra recproco son equivalentes. Simblicamente se
representa as: p q q p
Verifiquemos la equivalencia anterior haciendo uso de
las tablas de verdad.

p
v
v
f
f

q
v
f
v
f

f
v
f
v

f
f
v
v

v
f
v
v
(1)

p
v
v
f
v
(2)

v
f
v
v
(3)

En la tabla anterior podemos observar que el directo y

el reciproco (1 y 2) no tienen el mismo valor de verdad;
mientras que el directo y el contra recproco (1 y 3), si
tienen el mismo valor de verdad; hecho que permite
verificar la propiedad anterior
Condicin Suficiente y necesaria:
Condicin Suficiente pero no necesaria: Es una
circunstancia en cuya presencia el acontecimiento debe
ocurrir, pero no es indispensable para la realizacin del
mismo.
Condicin necesaria pero no suficiente: Es un
acontecimiento cuyo cumplimiento es indispensable
para que se produzca un acontecimiento; es decir, la
ausencia de tal condicin determina la no realizacin
del acontecimiento.
p: Juan es colombiano.
q: Juan es suramericano.
p q Si Juan es colombiano entonces Juan es
suramericano.
En este ejemplo observamos que es suficiente (basta)
que Juan sea colombiano para que sea suramericano,
luego p es una condicin suficiente para q, por lo
que se puede emplear el smbolo del condicional. Por
otra parte es necesario (indispensable, obligatorio) que
Juan sea suramericano si es Colombiano, luego q es
condicin necesaria para p.
p: Hay oxigeno.
q: Hay fuego
p q Si hay oxigeno, entonces hay fuego.
Del ejemplo anterior podemos decir que la existencia
de oxgeno es una condicin suficiente para que haya
fuego. Si hay fuego necesariamente haba oxgeno.
De los ejemplos anteriores podemos establecer:
DEFINICIN 1: p es una condicin suficiente para q
si dado p se debe de dar q. El enunciado p es
condicin suficiente para q se simboliza por p q
DEFINICIN 2: q es condicin necesaria para p, si
la ocurrencia de q es obligatoria o indispensable para
que se produzca p, el enunciado q es necesario para
que se produzca p se simboliza como p q .

suficiente y necesaria para q y q es condicin suficiente

y necesaria para p, entonces tenemos que el directo y
el recproco tienen el mismo valor. Cuando esto pasa
tenemos que el condicional ya se transforma en un bi
condicional p q q p

El Bi condicional
Dada una proposicin p y una proposicin q
(simples), su bicondicional ser simbolizado por pq
(compuesta), y se lee, p si y solo si q.
Ejemplo:
p: Un triangulo es equiltero
q: Un tringulo tiene sus tres lados iguales.
p q: Un tringulo es equiltero si y solo si tiene tres
lados iguales.
Todo bicondicional se puede descomponer en dos
condicionales de la siguiente manera:

Es un nmero par si y slo si es mltiplo de dos,

entonces lo podemos escribir como Si

es un

x es mltiplo de 2 y si x es
mltiplo de 2 entonces x es par, por lo tanto:
p q Lo podemos escribir como (p q) (q p)
nmero par entonces

Veamos la siguiente expresin:

Si gano el examen de admisin de la universidad de
Antioquia entonces puedo estudiar all la carrera que
escog y Si puedo estudiar en la universidad de
Antioquia la carrera que escog entonces fue por que
gan el examen de admisin , es lo mismo que decir:
gano el examen de admisin de la universidad de
Antioquia, si y solo si puedo estudiar all la carrera que
escog
Veamos entonces la tabla de verdad del bicondicional
p q
p
q
(p q)
(q p)
v
v
f
f

v
f
v
f

v
f
v
v

v
f
f
v

v
v
f
v

v
f
f
v

Cuando las proposiciones que intervienen tienen el

mismo valor de verdad, se dice que el bicondicional es
verdadero y se dice que las proposiciones son
lgicamente equivalentes.
Si el valor de verdad de un bicondicional es siempre
verdadero y las proposiciones estn lgicamente
relacionadas podemos afirmar que el bicondicional es
una doble implicacin o equivalencia y simblicamente
lo representamos por p q .
Veamos los siguientes ejemplos:
1. Un tringulo es equiltero si y slo si es
equingulo.
2. x es un nmero par si y slo si es mltiplo de dos.
3. x 2 7 si y slo si x 7 o x 7
4. Hoy es viernes si y slo si x 4
Los tres primeros son ejemplos de equivalencias y el
ltimo simplemente es un bicondicional.

4
TALLER
I. Seala con S si la proposicin es simple y C si la
proposicin es compuesta.
1.
2.
3.
4.
5.

La comida ser hoy a las 6:00 en punto.

La msica es muy suave o la puerta est cerrada.
El pregunta por su pipa y se sienta a ver TV.
Luis es un buen jugador o estaba afortunado.
Muchos estudian lgica y la entienden fcilmente
entonces ganan las evaluaciones.
6. Sales el sbado si y solo si cumples con todos tus
deberes.
x
7. x y 2 y 1
y
8. El 3 es primo y el 6 es mltiplo de 3.
II. Formar 5 proposiciones compuestas o moleculares
utilizando los conectores lgicos y las proposiciones
que se escriben a continuacin.
1. El da est hermoso.
2. El trabajo puede ser la causa para que deje de
estudiar.
3. El profesor de Matemticas tena la razn.
4. Se deben realizar ejercicios para poder aprender.
5. El sol est en todo su esplendor.
6.
3 es un nmero irracional.
7. Todo irracional es un decimal no peridico.
8. El teorema de Pitgoras se aplica en tringulos
rectngulos.
III. Seale los trminos de enlace en las proposiciones
siguientes y determine el nmero de proposiciones
simples.
1. Ha llegado el invierno y el da se torna ms corto.
2. El 10 es un nmero par entonces se puede escribir
de la forma 2n y es considerado un mltiplo de 2.
3. Si m, n, p R y m >n y n>p entonces p<m
IV. Con las proposiciones:
p= Luis ha venido demasiado tarde.
q= Juan ha venido demasiado temprano.
r= El seor Prez est enfadado.
Escribir de manera simblica las proposiciones
compuestas que aparecen a continuacin, haciendo
uso de los conectores lgicos:
1. Si Luis ha venido demasiado tarde y Juan
demasiado temprano, entonces el seor Prez est
enfadado.
2. Si Luis ha venido demasiado tarde o Juan
demasiado temprano, entonces el seor Prez no
eta enfadado.
3. Si Luis ha venido demasiado tarde y Juan no ha
venido demasiado pronto, entonces el seor Prez
no est enfadado.
4. Si el seor Prez est enfadado, entonces Luis ha
venido demasiado tarde o Juan demasiado
temprano.
5. Si el seor Prez no est enfadado, entonces Luis
Ha venido demasiado tarde y Juan demasiado
temprano.
V. Traducir las siguientes proposiciones en palabras,
empleando las condiciones del ejercicio anterior.
1.

p q r

3.

p q r

2.

p q r
q r
4.

Para establecer el valor de verdad de una proposicin

compuesta se hace necesario conocer el valor de
verdad de las proposiciones simples e identificar el
conector dominante o principal. Por ejemplo:
Si se tiene la proposicin p q p r y
supongamos que p es falso, q es verdadero y r es
verdadero, entonces el conector dominante es el
bicondicional y el valor de verdad de la proposicin es
verdadera (comprubalo).
Pero es posible que no se conozca un valor de verdad
especfico para cada proposicin por lo que se hace
necesario elaborar una tabla de verdad que nos indique
todas las diferentes combinaciones de valores de
verdad que se pueden presentar. Las combinaciones de
valores de verdad dependen del nmero de
proposiciones dadas, as:
Para una proposicin, tenemos 21 combinaciones.
Para dos proposiciones, tenemos
combinaciones.
Para tres proposiciones, tenemos
combinaciones.
Para n proposiciones, tenemos 2 n

22
23
combinaciones.

Veamos un ejemplo:
p q p r
Sea la proposicin
determinemos la tabla de verdad
Como hay 3 proposiciones (p, q y r), el nmero de
combinaciones es
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

( p
F
F
F
F
V
V
V
V
1

23 = 8

q)

F
F
F
F
V
V
F
F
3

V
V
F
F
V
V
F
F

V
F
V
F
V
V
F
F

(p
V
V
V
V
F
F
F
F

RESPUESTA

F
V
F
V
V
V
V
V
4

r)
F
V
F
V
F
V
F
V
2

Nota: los nmeros de la parte inferior de la tabla,

indican el orden en que se ha elaborado la misma.
VI Solucionar los siguientes ejercicios:
1. Si se sabe que p es falso, q es verdadera y r es
verdadera. Cul ser el valor de verdad de la
proposicin q (p r)?
2. Si el valor de verdad de la proposicin q p es
falso, entonces cul ser el valor de verdad de
q p ?
3. Si p q es falso, entonces cul ser el valor de
verdad de

p q p q ?

p q es verdadero. Por lo tanto, el

valor de verdad de p q es _______
Se sabe que p q es falso. Por lo tanto, el valor
de verdad de p q es __________
Se sabe que p q es falsa. Por lo tanto, el valor
de verdad de p q es____________
Se sabe que p q es verdadero. Por lo tanto,
p q es_________
Se sabe que q r es verdadero. Por lo tanto

4. Se sabe que
5.
6.
7.
8.

q p r es_________

5
VII Sabiendo que p es falsa, q es verdadero y r es
falso, hallar el valor de verdad de las siguientes
proposiciones nucleares.

a.

p q p q
q p q
c.

b.

p q r

d.

p q p r

VIII SELECCIN MLTIPLE

1. Si el valor de P (F), de Q (V), de R (V) Y de S

(F), el enunciado verdadero es:
A) ( R S ) v ( P B) Q P
Q)
C) R ( P Q)
D) Q ( R Q )
2 Si P (V) y Q
(V), el enunciado falso es:
a. (Q v R) P
b . (P Q) Q
c. ( P R) R
d. (P Q) R
3. Si P (F) Y Q (F) el enunciado falso es:
a. Q ( P Q)
b. Q ( P v P)
c. P (Q P)
d. Q ( P v Q)
IX Sean P, Q, R y S formulas. Si se sabe

nicamente que p es verdadero qu puede

afirmarse del valor de verdad de cada una de las
proposiciones siguientes?
1. P Q
2. R v P
3. R ~ P
4. R P
5. (Q ~ P ) (R 6. P Q
P)
7. P ( P v S)
8. ~ P ( P R)
9. S ~ P
10. P( S P)
11. (P v S )( Q 12. S v ~ P
~ P)
X SEAN P, Q Y R FORMULAS, ENTONCES:

1. (R v P) (Q P) es falsa y P es verdadera,
Qu puede afirmarse de R y Q?
2. Si Q (Q P) es verdadera, y P es falsa
Qu puede afirmarse de Q?
3. Si (R P) (Q P) es falsa, Qu puede
afirmarse de P, Q y R?
4. SI (Q R) (P Q) R es falsa Qu puede
afirmarse de P, Q y R?
5. Si (P Q) ) (R P) S es falsa
Qu puede afirmarse de P, Q , R y S?
XI Determine el valor de verdad de las siguientes
proposiciones:
1.
2.
3.

p q r p q r
r q p r
p q p r

4. p q r p q r
TAUTOLOGAS Y CONTRADICCIONES
Una proposicin compuesta es una tautologa si es
verdadera para todos los valores de verdad que se
asignen a las proposiciones simples que la componen.
Una proposicin compuesta es una contradiccin si
es falsa para todos los valores de verdad que se
asignen a las proposiciones simples que la componen.

Por ejemplo la proposicin p q p q es una

contradiccin. De manera anloga la proposicin
p q p q es una tautologa. (Verificar las dos
informaciones anteriores).
Una proposicin compuesta que no es tautologa ni
contradiccin se llama contingencia
XII Actividad: De acuerdo con los conceptos anteriores,
clasifique cada una de las proposiciones compuestas
del ejercicio anterior.

XIII. DADAS LAS PROPOSICIONES SIMPLES:

p: Verdadera

q: Falsa

r: Verdadera

Qu valor debe tomar X para que la siguiente

proposicin compuesta sea falsa:
X {[p (q v ~ r) ~ (q p)}
A.
B.
C.
D.

X debe ser verdadera.

X debe ser falsa.
X puede tomar cualquier valor de verdad.
No es posible determinarlo.

XIV.

PROBLEMAS DE APLICACIN

De acuerdo con la siguiente informacin, responda:

La figura muestra cuatro tarjetas, todas ellas tienen
dibujado por una cara un tringulo y por la otra cara un
circulo. Ahora bien: tanto los tringulos como los
crculos pueden ser de dos colores: rojos o azules.

Alguien ha hecho un enunciado general que pretende

ser verdadero de estas cuatro tarjetas.
1. Si el enunciado dice as. En todas las tarjetas hay
un tringulo rojo y un circulo azul, entonces las tarjetas
que habra que levantar para averiguar si el enunciado
proferido por esa persona es verdadero o falso es:

A.

Todas

B.

1y4

C.

2y3

D.

Ningun
a

2. Si el enunciado es: En todas las tarjetas hay un

tringulo rojo o un crculo azul, entonces para
comprobar la veracidad del enunciado dado, debemos
levantar las tarjetas:

A.

Todas

B.

1y3

C.

2 y3

D.

2y4

3. Andrs le hace una peticin a su mam quiero una

a.
b.
c.
d.

bicicleta y un play station la nica manera de que

ella le cumpla su peticin es:
Le regala las dos cosas
No regalndole el play, ni la bicicleta
Le regala una de las dos cosas
Le regala el play o la bicicleta

DESCRIBA COMO SE
DEBE REALIZAR EL
CIERRE DE LAS
COMPUERTAS A, B
DEL CIRCUITO PARA
QUE HAYA PASO DE
CORRIENTE ENTRE
LOS PUNTOS 1 y 2

4.

A.
B.
C.
D.

Se debe cerrar A o B.
Se debe cerrar A y B.
Si se cierra A entonces se debe cerrar B.
Se cierra A si y solo si se cierra B.

5.
A.
B.
C.
D.

Se cierra A y B.
Se debe cerrar A o B.
Si se cierra A entonces se debe cerrar B.
Se cierra A y solo si se cierra B.

6. David expresa su peticin a sus padres para el

regalo de nio Dios: Quiero un viaje a Orlando o
una moto. La nica manera de que sus padres no
le cumplen su peticin es:
a. Le regalan las dos cosas.
b. Le regalan una de las dos cosas.
c. No le regalan ninguna de las dos cosas.
d. Le regalan la moto o el viaje.

7. Guillermo le promete a su esposa si me gano la

a.
b.
c.
d.

lotera, entonces te compro una casa la premisa en

la cual Guillermo incumple su promesa es:
se gano se lotera y le compro la casa
no se gano la lotera y le compro la casa
se gano la lotera y no le compro la casa
no se gano la lotera y no le compro la casa

De acuerdo con la siguiente informacin

responda las preguntas 8 Y 9

En la figura se muestra un circuito que consta de

tres switches A, B, C donde cada switch presenta dos
estados: cerrado (permite el paso de corriente) o abierto
(no permite el paso de corriente)
La bombilla se enciende si por ella circula corriente

8.
A.
B.
C.
D.

Si la bombilla est encendida, entonces

Los switches A o B estn cerrados
Los switches B y C estn cerrados
El switch A est cerrado y el switch B o C tambin
lo estn.
El switch A o el switch C fue cerrado

9. Cerrar los switches A y C es una condicin

a. necesaria pero no suficiente para encender la
bombilla
b. suficiente pero no necesaria para encender la
bombilla
c. necesaria para encender la bombilla
d. suficiente y necesaria para encender la bombilla
Para ingresar al comit deportivo del politcnico se
requiere practicar algn deporte o tener tiempo
disponible fuera de clases, pacho, Claudia, Andrs y
Estefana se presentaron como candidatos
Pacho satisface dos necesidades.
Claudia practica atletismo pero no dispone de
tiempo fuera de clases
Andrs no practica ningn deporte, pero dispone de
tiempo
Estefana no satisface ni la primera ni la segunda
condicin
10. Los que fueron admitidos al comit son:
a. Claudia, Andrs y pacho
b. Estefana y Claudia
c. Claudia, Andrs y Estefana
d. Pacho y Estefana

11. Si P es una proposicin verdadera, entonces es

posible concluir que la proposicin (P v Q) es
verdadera porque:
a. la proposicin que siempre es verdadera, y como p
es verdadera entonces (P v Q) tambin lo ser.
b. la disyuncin equivale a la letra o que posibilita
escoger entre una proposicin verdadera o falsa
c. para que una disyuncin (P v Q) sea verdadera
basta con que una de las proposiciones P o Q sea
verdadera, sin importar el valor de verdad de la otra
d. como P es verdadera, entonces Q tambin debe
serlo y por tanto se concluye que (P v Q) es
verdadera
PROBLEMAS DE VERDAD Y MENTIRA
Al igual que en la teora de circuitos, existen otros tipos
de problemas que muestran la importancia practica de
la lgica simblica dentro de la vida diaria. Estos
problemas son conocidos como problemas de verdad
y mentira para su solucin es importante tener un
buen manejo de los diferentes conectivos lgicos
La coordinadora de convivencia de un colegio interrog
a cuarto alumnos sospechosos de haber cometido un
robo, obteniendo las siguientes declaraciones:
Claudia dijo que Claudio es el ladrn.
Claudio dijo que Daniela es la ladrona.
Daniel dijo que no era el ladrn.
Daniela afirma que Claudio miente al decir que yo
soy la ladrona.
12. Sabiendo que uno de los cuarto es el ladrn y que
de sus declaraciones slo una es verdadera y las
dems falsas, el que dice la verdad y el ladrn
son respectivamente:
A. Claudia y Claudio
B. Daniel y Daniela
C. Claudio y Daniela
D. Daniela y Daniel
13. Conociendo que uno de los cuatro sospechosos es
el ladrn y que de sus declaraciones solamente
una es falsa y las otras verdaderas, el ladrn es:
A. Clau B. Clau C. Dan D. Dani
dia
dio
iel
ela
14.Un radio fue robado de una tienda; la propietaria
estaba segura de que Alberto, Carlos, Omar o Diana,
haban robado el equipo, cada persona en su
momento hizo una declaracin pero solo una de las
4 declaraciones era verdadera,
Alberto dijo:yo no robe el equipo
Carlos dijo Alberto miente
Omar dijo: Carlos miente
Diana dijo lo robo Carlos
*Quin dijo la verdad?
*Quin robo el radio?
a)
Alberto, Omar
b)
Carlos, Alberto
c)
Omar, Diana
d)
Diana, Carlos

RESPUESTAS:
I. 1) S ; 2)6) C IV.1) p q r
2) p q r
III. 1) , 2
3)
2) , , 3
p q r
3) , , 4
r p q
4)
5)

V 1) Si Luis

r p q

VI
1)
F
3)
V
5)
F
7)
V

2)
F
4)
V
6)
F
8)
F

no ha venido demasiado tarde y Juan no

ha venido demasiado temprano entonces el seor

7
Prez no est enfadado.
2) Si Luis ha venido demasiado tarde entonces Juan
no ha venido demasiado temprano o el seor Prez
est enfadado.
3) Luis no ha venido demasiado tarde y Juan no ha
venido demasiado temprano o el seor Prez no est
enfadado.
4) Juan ha venido demasiado temprano si y solo si el
seor Prez no est enfadado.

VII.
a)
b)
c)
d)

V
V
V
V

VIII.
B

b) D
c) D

IX.
1)
2)
3)
4)
5)

V
F
V
V

XI 1) V,V,V,V,V,V,V,V
2) V,F,V,V,V,V,V,V
3) F,F,F,F,F,F,F,V
4) F,F,F,F,F,F,F,F

XI
V

1)
2)
3)
4)
XII 1) Tautologa
5)
2) No se puede determinar
6)
3) No se puede determinar 7)
4) Contradiccin

est consumiendo drogas.

3. Si Juan es buen jugador, entonces participar en el

partido del colegio.
Forma simblica:
Negacin:

pq

p q

Lenguaje corriente: Juan es buen jugador y no

Dep 6)
de Q

De1)
p de Q
7)
V
2)
8)
V
9)
De3)
p de S
10)
F
11)
F
12)
De4)
p de S
D
8) C
D
9) B
5)
A 10) A
A 11) C
A 12) D
C 13) B
C 14) B

Lenguaje ordinario: Felipe no est mal relacionado ni

participar en el partido del colegio.

R

:VoF
Q:F
Q:F
P;V
Q:F
R:V
P;F
Q:V
R:V
P;V
Q:V
R:F
S:F

4. Llueve si y solo si el viento no arrastra las nubes .

Forma simblica: p q
Es lo mismo que:

(p

q)

(q

p)

Negacin: ( p q ) ( q p )
Lenguaje ordinario: Llueve y el viento arrastra las
nubes o el viento no arrastra las nubes y no llueve.

5. Si Lus es buen jugador entonces puede ir a los

nacionales y comprar el carro que tanto desea.
Forma simblica: p ( q r )
Negacin: p ( q r ) p q r
Lenguaje ordinario: Luis es buen jugador y no
puede ir a los nacionales o no comprar el carro que
tanto desea.

ALGUNAS LEYES DEL LGEBRA PROPOSICIONAL

Ley de la doble negacin
Sea p una proposicin, entonces p p
Ley del tercer excluido p p (v )
Ley de contradiccin p p ( f )
Definicin alterna del condicional

p q Es equivalente a p q

Verifique la propiedad anterior haciendo uso de las

tablas de verdad. Pruebe que p q p q
Leyes de Dmorgan
Sean p y q dos proposiciones, entonces:
a.
b.
c.
d.

p q p q
p q p q
p q p q

p q p q ( q p )

Ejemplos:
EXPRESAR LAS SIGUIENTES ORACIONES EN
FORMA SIMBLICA, NEGARLAS Y LUEGO
TRANSCRIBIRLAS AL LENGUAJE ORDINARIO.

1. Daniel es buen jugador y es muy afortunado.

Forma simblica: p q
Negacin: p q
Lenguaje ordinario: Daniel no es buen jugador o no
es muy afortunado.

2. Felipe est mal relacionado o anda consumiendo

drogas.

pq
Negacin: p q
Forma simblica:

Otras reglas
LEY DE AFIRMAR
AFIRMANDO:
(MODUS PONENS)

LEY DE NEGAR
NEGANDO
(MODUS TOLLENS)

p q

p q

p
q

PREMISAS

CONCLUSIN

SILOGISMO
DISYUNTIVO
ANALISIS DE
CASOS

p q

PREMISAS

P CONCLUSIN
SILOGISMO
DISYUNTIVO
ANALISIS DE CASOS

p q

r s PREMISAS
p r

r q PREMISAS
p r
q CONCLUSIN

q s CONCLUSIN

SILOGISMO
DISYUNTIVO
MODUS TOLLENDO
PONENS

SILOGISMO
DISYUNTIVO
MODUS TOLLENDO
PONENS

pq

p q

PREMISAS

p
q CONCLUSIN

PREMISAS

p CONCLUSIN

8
15. La proposicin ~ (~ p) equivale a:

SILOGISMO
HIPOTTICO
(TRANSITIVIDAD)

a.
b.
c.
d.

p q

Busca
ejempl
os para
cada

PREMISAS

q r
q r CONCLUSIN
TALLER
1.
Escribir

sin

condicional

16. la proposicin P v Q equivale a:

a. Si Pedro va al colegio, entonces estudia
matemticas.
b. No es cierto que Pedro va al colegio, entonces
estudia matemticas.
c. Pedro va al colegio o no estudia matemticas.
d. Pedro va al colegio y no estudia matemticas.

regla

las

proposiciones

siguientes:
p q r
a.

p q r
b.
2.
Probar que p q p q
3.
Probar que la proposicin p q p

17. El contra recproco del enunciado si Alberto es el

hijo de gloria, entonces gloria es la mam de Alberto
es:
a. Si Gloria es la mam de Alberto, entonces
Alberto es el hijo de gloria.
b. Si Gloria no es la mam de Alberto, entonces
Alberto no es el hijo de gloria.
c. Alberto es el hijo de Gloria y gloria es la mam
de Alberto.
d. Alerto es el hijo de Gloria y gloria no es la mam
de Alberto.

es una

tautologa.
Elaborar una tabla de verdad de las siguientes
proposiciones y decir en cada caso si es una tautologa,
contradiccin o ninguna de las dos (contingencia).
4.
5.
p q p q
p q p q
6.
7.
p q p q
q r q r
Ejercicios 8 a la 11
EXPRESAR LAS SIGUIENTES ORACIONES EN
FORMA SIMBLICA, NEGARLAS Y LUEGO
TRANSCRIBIRLAS AL LENGUAJE ORDINARIO.

18. Del enunciado si llueve entonces hace fri

podemos decir:
a. hacer fri es condicin suficiente para que llueva.
b. si llueve necesariamente hace fri.
c. llover es condicin necesaria para que haga fri.
d. llover es condicin suficiente para que haga fri.

19. Del enunciado si madrugo entonces llego temprano

podemos afirmar que:
a. madrugar es condicin necesaria para llegar
temprano.
b. madrugar es condicin suficiente para llegar
temprano.
c. llegar temprano es condicin suficiente para
madrugar.
d. madrugar es condicin suficiente y necesaria.

8. La lgica es fcil o le gusta a los estudiantes.

9. Jacinta canta y es feliz.
10. Si Cata es buena estudiante, entonces no falta a
clase.

11. Lus est mal relacionado si y solo s anda

20. La negacin del enunciado (R T) es:

A. R T
C. R T

consumiendo drogas.

12. Imaginmonos la siguiente situacin: un muchacho

est viendo televisin, oye a su padre que dice: si
llueve me quedar en casa poco tiempo cuando
termina el programa, mira a una y otra habitacin y
descubre que su padre se ha ido. sin mirar al exterior
que puede concluir
a. que su padre se ha ido
b. que llovi
c. que no llovi.
d. que su padre no se ha ido
13. Los perros que tienen las orejas largas, tienen la
cola corta. A los perros que persiguen los conejos,
nunca les da rabia. Los perros que no persiguen a
los conejos tienen la cola larga. Tarzn era un perro.
Si Tarzn muri de rabia, cmo tenia las orejas?
Ejercicios 14 al 16
SEAN LAS PROPOSICIONES:
p: Pedro va al colegio.
q: Pedro estudia matemticas.

B. R T
D. R T

21. El enunciado si llueve, entonces hace fro es

equivalente a:
a. si hace fri entonces llueve.
b. si no hace fri entonces no llueve.
c.
llueve y no hace fri.
d.
si no hace fri entonces llueve.

22. Si la enmienda no fue aprobada, entonces, la

constitucin queda como estaba. Si la constitucin
queda como estaba, entonces no se puede aadir
nuevos miembros al comit. O podemos aadir
nuevos miembros al comit o el informe se retrasar
un mes. Pero el informe no se retrasar un mes. Por
tanto:
a. la enmienda fue aprobada.
b. la constitucin queda como estaba.
c. La enmienda no fue aprobada.
d. No podemos aadir nuevos miembros al comit.

23. Si Toms tiene 17 aos, entonces Toms tiene la

14. La proposicin ~ (P Q) es equivalente a:

a. Si Pedro no va al colegio entonces no es cierto
que estudia matemticas.
b. Si Pedro no va al colegio, entonces no estudia
matemticas.
c. Pedro va al colegio y estudia matemticas.
d. No es cierto que si Pedro va al colegio
,entonces estudia matemticas

Pedro no va al colegio
es cierto que Pedro no va al colegio
Pedro va al colegio
Pedro estudia matemticas

a.
b.
c.
d.

misma edad que Juana. Joaqun tiene distinta edad

que Toms, entonces Joaqun tiene distinta edad
que Juana. Toms tiene 17 aos y Joaqun tiene la
misma edad que Juana. Por tanto:
Joaqun no tiene la misma edad que Juana.
Toms es mayor de 17 aos.
Joaqun es mayor de 17 aos.
Joaqun tiene la misma edad que Toms y Toms la
misma edad que Juana.

9
24. Si esta es una sociedad matriarcal, entonces el

a.
b.
c.
d.

hermano de la madre es la cabeza de familia. Si el

hermano de la madre es la cabeza de familia.
Entonces el padre no tiene autoridad. Esta es una
sociedad matriarcal. Por tanto.
El padre tiene autoridad.
El hermano de la madre no es la cabeza de familia.
Esta no es una sociedad matriarcal.
El hermano de la madre es la cabeza de familia y el
padre no tiene autoridad.

25. Si Juan es ms alto que Pedro, entonces Mara es

ms baja que Juana. Mara no es ms baja que
Juana. Si Juan y Luis tienen la misma estatura,
entonces Juan es ms alto que Pedro. Por tanto.
a. Juan es ms alto que Pedro
b. Juan y Mara son ms bajos que Juana.
c. Juan y Luis no tienen la misma estatura.
d. Juan y Luis tienen la misma estatura

26. Si A gan la carrera, entonces o B fue segundo o C

fue segundo, si B fue segundo entonces A no gan
la carrera. Si D fue el segundo, entonces C no fue el
segundo. A gan la carrera, por tanto:
a. D fue el segundo.
b. D no fue el segundo.
c. B fue el segundo.
d. C no fue el segundo.

27. Si el reloj esta adelantado, entonces Juan llego

antes de las diez y vio partir el coche de Andrs, si
Andrs dice la verdad entonces Juan no vio partir el
coche de Andrs, o Andrs dice la verdad o estaba
en el edificio en el momento crimen. El reloj esta
adelantado, por tanto:
a. Juan es el criminal.
b. Andrs dice la verdad.
c. Juan dice la verdad.
d. Andrs estaba en el edificio en el momento del
crimen.

28. Si Marcela digita bien, entonces Alejandro o Edwin

entregaran el trabajo a tiempo. Pero Marcela digito
bien y Alejandro no entrego el trabajo a tiempo. Por
tanto:
a. Marcela no entreg el trabajo.
b. Edwin tambin digit el trabajo.
c. Edwin entreg el trabajo a tiempo.
d. Edwin no entreg el trabajo a tiempo.

29. Si Guillermo organiza los alumnos a tiempo,

entonces las listas de los grupos se harn rpido.
Las planillas las digita Alejandro o las planillas las
digita Camila; pero si Nicols discute Camila no las
digita. Si las listas de los grupos se hacen rpido
entonces no habr problemas en la institucin. Pero
si Alejandro digita, habr problemas en la institucin.
Guillermo organiza los alumnos a tiempo, por tanto:
a. Hay problemas en la institucin.
b. Nicols no discute
c. Las listas no se hicieron rpido.
d. Camila no digita las planillas.

30. Si los precios son bajos, entonces los salarios son

bajos. Los precios son bajos o no hay control de
precios. Si no hay control de precios entonces hay
inflacin; pero no hay inflacin por tanto:
a. No hay control de precios.
b. Los salarios son bajos.
c. Los salarios no son bajos.
d. Los precios son altos.

31. Si el comportamiento de las estudiantes es ejemplar

entonces los profesores escuchan sus sugerencias. O los
profesores no escuchan las sugerencias de las
estudiantes o el coordinador atiende a los padres de

familia. Por otra parte si el coordinador atiende a los

padres de familia entonces la rectora dirige la reunin.
Pero la rectora no dirigi la reunin por tanto:
a. Los profesores escuchan las sugerencias de las
estudiantes
b. El coordinador atiende a padres de familia.
c. El comportamiento de las estudiantes no es ejemplar.
d. El comportamiento de las estudiantes es ejemplar.

32. Demostrar Q
A.
B.
C.
D.
E.

S (P VQ)
S
P
___________
____________

33. DEMOSTRAR S
A.
B.
C.
D.
E.

TR
R S
T
_____________
______________

34. DEMOSTRAR P
A.
B.
C.
D.
E.
F.
G.

PQ
R Q
RVT
T
____________
____________
____________

35. DEMOSTRAR S T
H.
I.
J.
K.
L.
M.

PS
PT
P
____________
____________
____________

36. DEMOSTRAR P
A.
B.
C.
D.
E.
F.
G.

PQ
QVR
R S
S
__________
__________
__________

37. DEMOSTRAR U
A.
B.
C.
D.
E.
F.
G.
H.
I.
J.

P T
ST
SVQ
(Q P) U
_________
_________
_________
._________
__________
__________

NOTA: Cuando Una estudiante ha tenido una buena

comprensin de los temas, est en condiciones de
formular ejercicios similares a los trabajados en el taller;
el reto ahora para cada una de ustedes es formular y
resolver problemas de aplicacin a las reglas de
inferencia. Al menos uno de cada tipo.

Respuestas
1.

p q r

5.

Contingen

2.

4.

Tauto

6.

loga
7.

Tauto

p q r
Contradicci

10
cia

n
loga
La lgica no es fcil y no le gusta a los
estudiantes
9.
Jacinta no canta o no es feliz
10.
Cata es buena estudiante y falta a clase
11.
Luis est mal relacionado y no anda
consumiendo drogas o Luis anda consumiendo drogas y
no est mal relacionado
12.
C 13.
C 14.
C 15.
C 16.
A
ortas
17.
B 18.
D 19.
B 20.
B 21.
B
22.
A 23.
D 24.
D 25.
C 26.
B
27.
D 28.
C 29.
B 30.
B 31.
D

8.

CUANTIFICADORES

7. La negacin del enunciado nadie es eterno es:

A.
B.
C.
D.

alguien es eterno.
alguien no es eterno.
todos son eternos.
todos no son eternos.

8. La negacin de la proposicin todo nmero primo es

impar es:
Ningn numero es primo es impar.
Ningn nmero primo es par.
Existen nmeros primos que son impares.
Existe un nmero primo que es par.

10. El enunciado todos los nmeros reales son

racionales es falso. Por tanto es verdadera la
proposicin:
A.
Algunos nmeros racionales no son reales.
B.
Ningn nmero racional es real.
C.
Todos los nmeros reales son irracionales.
D.
Algunos nmeros reales son irracionales.

Ejercicios.
1. Simbolizar los siguientes enunciados:

12.Todos los nmeros impares no son mltiplos de

dos. Otra forma para este enunciado es:
A.
Algunos impares son mltiplos de dos.
B.
Algunos impares no son mltiplos de dos.
C.
Ningn impar es mltiplo de dos.
D.
Ningn impar es no mltiplo de dos.

Todo es perecedero.
Hay marcianos.
Alguien no es perfecto.
No hay cosas slidas.
Nada se mueve.
No todo es perecedero.
Nada es perecedero.
Algunos gobiernos no respetan la libertad.

13. La negacin del enunciado ninguna persona es

LOS ENUNCIADOS QUE APARECEN A

CONTINUACIN, EXPRESARLOS DE MANERA
SIMBLICA, NEGARLOS Y LUEGO EXPRESAR ESTA
NEGACIN EN EL LENGUAJE ORDINARIO.

2.

A.
Algunos hombres son sabios
B.
Todos los miembro del comit vienen en esta
ciudad
C.
Algunos alumnos estudian lgica
D.
Ningn perro es anfibio
inerte

a.
b.
c.
d.

es

deshonestos es.
A. Todos los estudiantes son deshonestos.
B. Todos los estudiantes son honestos.
C. Algunos estudiantes son honestos.
D. No todos los estudiantes son deshonestos.

5. La negacin del enunciado ningn animal piensa

solidaria es equivalente a:
No todas las personas son solidarias.
Todas las personas son solidarias.
Todas las personas son poco solidarias.
Algunas personas son solidarias.

14. La expresin "no es cierto que hay fantasmas" es

A.
B.
C.
D.

4. La negacin del enunciado Algunos estudiantes son

Todos los animales piensan.

Todos los animales no piensan.
Algunos animales piensan.

equivalente a:
todo es imposible para el hombre.
algo es imposible para el hombre.
todo es posible para el hombre.
algo es posible para el hombre.

es racional es falso bastara probar que:

Existen infinitos reales que son racionales.
Existen algunos nmeros reales que son
racionales.
C.
Existen nmeros racionales que son reales.
D.
2 es irracional.

Por ejemplo: Ningn animal

piensa es equivalente a todo

a.
b.
c.

A.
B.
C.
D.

A.
B.

(x, px ) ningn-ninguno-nadanadie-es equivalente a x,px.

es.

6. El enunciado nada es imposible para el hombre es

9. Para demostrar que el enunciado todo nmero real

NEGACIN DE CUANTIFICADORES
(X, p x) x,px
(x, px ) x,px

3. El enunciado ningn hombre es

equivalente a:
A.
Algunos hombres no son inertes.
B.
Algunos hombres son inertes.
C.
Todo hombre no es inerte.
D.
Todo hombre es inerte.

Algunos animales no piensan.

A.
B.
C.
D.

CUANTIFICADOR UNIVERSAL: x, P(x)

x (PARA TODO X). (Todo- cualquiera-cada)
CUANTIFICADOR EXISTENCIAL: x, p(x)
x (existe un x). (algn-algunos-algo-hay).

A.
B.
C.
D.
E.
F.
G.
H.

d.

equivalente a:
Algunos son fantasmas
Todos son fantasmas
No existen fantasmas.
Existen fantasmas.

15. La negacin del enunciado "algo no es mortal" es

A.
B.
C.
D.

equivalente a decir:
Todo es mortal.
Todo es inmortal.
Algo es inmortal
Nada es mortal

16. La negacin del enunciado "Algunos cientficos

A.
B.
C.
D.

estn locos" es equivalente a decir:

Todos los cientficos no estn locos.
Todos los cientficos estn locos.
Algunos cientficos no estn locos.
No todos los cientficos estn locos.

DIAGRAMAS LGICOS
Son representaciones grficas, que relacionan
diferentes grupos o especies mediante una relacin
determinada. Algunas de las relaciones pueden ser
expresadas mediante el uso de cuantificadores los

11
cuales pueden ser de carcter universal (todos, ningn)
o existencial (Algn, Algunos).
Existen diferentes relaciones entre las especies dadas,
estos son algunos de los casos
ms frecuentes:
Todo A es B
Indica que una especie est
totalmente contenida en la otra,
pero no viceversa.

A.

B.

C.

D.

26. Nmeros naturales, nmeros enteros y nmeros

reales.
A.
A
B.
B
C.
D
D.
E
27. Jugadores de baloncesto, jugadores de voleibol,
jugadores de futbol.
A. A
B. B
C. C
D. E
28. Autos, alimentos y personas.
A. G
B. B
C. D

D. E

29. Nmeros pares, nmeros reales, conectivos

lgicos.
A. A
B. B
C. D
D. E

Algunos A son B.
Algunos B son A
Indican que ninguna de las dos
especies est totalmente
contenida en la otra, pero que las dos tienen miembros
en comn
Similar al diagrama
anterior, podemos
concluir de este
diagrama que
Algunos A no son B

30. Estudiantes que viven en Bello, estudiantes que

viven en Itag, estudiantes que viajan en metro.
A. E
B. F
C. A
D. G

31. Todos los cientficos estn locos. Algunos locos

estn en el manicomio. Lo anterior puede ser
representado por:
A.
B.
C.
D.
A.
B
C
E
SEALAR EL DIAGRAMA QUE MS IDENTIFIQUE EL
ENUNCIADO DEL EJERCICIO:

Ningn A es
B
Todo A no es
B
Indica que no

32. Ningn poltico es no corrupto.

A.

B.

C.

C.
C

C
A PARTIR DE LOS SIGUIENTES DIAGRAMAS,
ESCOGER UNO SLO UNO QUE ILUSTRE LA
MEJOR RELACIN ENTRE TRES ESPECIES DADAS.
A.

33. No todas las Matemticas son aburridas.

B.

A.

B.

M
A
C.

D.

C.

D.

A
E.

F.

34. Algunos estudiantes son revolucionarios.

B.

A.

G.

19. Religiosos, musulmanes, catlicos.

A.
A
B.
B
C.
C

C.
D.

22. Deportistas, beisbolistas, administradores.

A.
A
B.
B
C.
C
D.
23. Bachilleres, trabajadores, desempleados.

D
E

D.

R E

12
35. No es cierto que, todos los indgenas son
de Colombia
B.

A.

I
C

C.

D.

36. No es cierto que: Todos los

administradores son gerentes.
B.

A.

G
A

C.

G
G

37. a proposicin algunos profesores de la universidad

son mdicos que se dedican a la investigacin.
Cul de las siguientes figuras representa esta
situacin?
A.
B.
A.
A.
A.
A.
A.
A.
A.

D.

C.
C

PARA LAS SIGUIENTES PREMISAS, HALLE CON LA

AYUDA DE DIAGRAMAS LA DEDUCCIN O
CONCLUSIN QUE PUEDA SACARSE DE ELLAS.
38. Todos los nios son ingenuos, por tanto
a. Todos los ingenuos son nios.

39. Ningn pas desarrollado no tiene agua, por tanto

a. Algunos pases desarrollados no tienen agua.
b. Ningn pas desarrollado tiene agua.
c. todo pas desarrollado no tiene agua
d. todo pas desarrollado tiene agua
41. Algunos santos fueron mrtires, por tanto
a. todos los santos fueron mrtires
b. todos los no mrtires fueron no santos.
c. algunos santos fueron mrtires
d. algunos mrtires no fueron santos
43. Ningn espa es periodista. Usted es periodista.
Deduccin
a. usted es espa
b. usted no es espa
c. los espas son periodistas
d. algunos periodistas son espas
46. sean S, P, y M categoras
Ningn M es P
Todo S es M

D.

b. algunos nios que no son ingenuos son adultos.

c. Todos los adultos no son ingenuos.
d. Algunos adultos no son ingenuos.

La nica falsa es
a. algn M es S
b. todo P no es S
c. es falso que ningn M es S.
d. algn S es P
48. Todo lo que se aparta de las leyes es un delito.
Todas las cosas que ocurren por azar se apartan de las
leyes. Deduccin
a. algunas cosas que ocurren por azar son delitos
b. ninguna cosa que ocurra por azar es delito
c. ninguna cosa que ocurra por azar se aparta de la ley
d. todas las cosas que ocurren por azar son delitos
49. Sean P, M, y S categoras
Todo M es P
Todo P es S
La nica falsa es
a. algn S es P
b. ningn P no es M
c. algn S es M
d. Todo M es S.
50. Todos los universitarios son inteligentes. Ningn
len es inteligente. Por tanto
a. todos los leones son universitarios
b. ningn len es universitario
c. no es cierto que algunos leones no son
universitarios
d. algunos leones son universitarios
51. Ningn lgico es inteligente, las personas
simpticas son inteligentes. Deduccin
a. algunos lgicos son simpticos
b. algunos lgicos son inteligentes
c. ningn lgico es simptico
d. todos los lgicos son simpticos
52. Todos los remedios son formulados por el mdico.
Algunos alimentos no son formulados por el mdico.
Deduccin
a. ningn remedio es alimento
b. algunos alimentos no son remedios
c. todos los alimentos son formulados por el medico
d. ningn alimento es remedio

13
53. Todos los anarquistas son partidarios de la fuerza y
la violencia. Todos los militares son anarquistas.
Deduccin
a. todos los militares son partidarios de la fuerza y la
violencia
b. ningn anarquista es militar
c. algunos militares son partidarios de la fuerza y la
d. violencia
e. ningn violento es anarquista
54. Todas las cosas buenas son producto del alma.
Toda la tecnologa es una cosa buena. Deduccin
a. todo lo que es producto del alma es tecnologa
b. ninguna tecnologa es producto del alma
c. todo lo que es producto del alma es bueno
d. toda la tecnologa es producto del alma
55. Todos los amigos de pedro son chicos que juegan
baloncesto. Todos los chicos que juegan baloncesto
son altos. Deduccin
a. algunos amigos de pedro son altos
b. ningn jugador de baloncesto es alto
c. todos los amigos de pedro son altos
d. ningn amigo de Pedro es alto
56. Segn el siguiente diagrama de venn, el argumento
vlido que lo representa es

60. los pastores son perros. Los perros son mamferos.

Ningn mamfero pone huevos. Por tanto
a.
Todos los pastores no ponen huevos
b.
algunos pastores son mamferos
c.
los pastores son ovparos
d.
algunos mamferos no ponen huevos
61. algunos mdicos son deportistas, algunos msicos
son mdicos. Todos los msicos son deportistas.
Deduccin
a.
ningn msico hace deporte
b.
algunos msicos no hacen deporte
c.
ningn mdico es deportista
d.
ningn msico no es deportista
PARA LAS SIGUIENTES PREMISAS, HALLE CON LA
AYUDA DE DIAGRAMAS LA DEDUCCIN O
CONCLUSIN QUE PUEDA SACARSE DE ELLAS.
63. Algunos compositores son cantantes; todos los
compositores son aficionados a la msica, por
tanto:
a.
Todos los aficionados a la msica son
cantantes
b.
Todos los cantantes son aficionados a la msica
c.
Algunos cantantes son aficionados a la msica
d.
Todos los cantantes no son aficionados a la
msica
64. Todos los belgas son altos. Todos los ciclistas son
altos. Algunos belgas son ciclistas. Ningn alto es
rpido, por tanto:
a.
Algunos belgas son lentos.
b.
Ningn belga es rpido.
c.
Los ciclistas son rpidos.
d.
Algunos belgas son rpidos.

a. todos los estudiantes son inteligentes, algunos

perezosos son mujeres. Por tanto, algunos
estudiantes y varones son perezosos.
b. Algunos varones son perezosos. Algunos estudiantes
son varones, por tanto todos los estudiantes son
perezosos
c. Ningn perezoso es estudiante. Algunos estudiantes
son varones, por tanto todos los varones son
perezosos
d. Todos los varones son perezosos. Algunos
estudiantes son varones, por tanto hay estudiantes
perezosos que no son varones.
57. Ningn estudiante es perezoso. Juan es un artista,
todos los artistas son perezosos. Deduccin
a. Algunos estudiantes son perezosos
b. Juan no es estudiante
c. Algunos estudiantes no son perezosos
d. Juan es estudiante
58. Todos los mdicos son deportistas. Los
coleccionistas de estampillas son personas tmidas.
Beatriz es mdica. Ninguna persona tmida es
deportista. Deduccin
a. algunas personas tmidas son deportistas
b. todos los coleccionistas de estampillas son
deportistas
c. Beatriz no colecciona estampillas
d. Algunos mdicos coleccionan estampillas
59. todos los abogados son ricos. Los poetas son
caprichosos. Marcos es abogado. Ningn
caprichoso es rico. Deduccin
a.
Marcos no es poeta
b.
algunos abogados son poetas
c.
algunos caprichosos son ricos
d.
todos los ricos son abogados

65. Ningn profesor es bien pago. Alberto es abogado.

Todas las personas humildes son profesores. Todos
los abogados son bien pagos, por tanto:
a.
Ninguna persona humilde es bien paga.
b.
Todos los profesores son bien pagos.
c.
Algunos abogados son profesores.
d.
Alberto es humilde
ALGUNAS RESPUESTAS
1.
1.
1.
1.

A.
C.
E.
G.

x, p x
x, p x
x, m x
x, p x

1.
1.
1.
1.

B.
D.
F.
H.

x, m x
x,s x
x, p x
x, p x

2.B) Algunos miembros del comit no viven en esta

ciudad.
2. D) Algn perro no es anfibio.
4)
14)
24)
34)
44)
54)

B
C
D
A
B
D

6)
16)
26)
36)
46)
56)

C
A
A
A
D
D

8)
18)
28)
38)
48)
58)

D
C
A
D
D
C

10)
20)
30)
40)
50)
60)

D
B
B
C
B
A

12)
22)
32)
42)
52)
64)

C
D
C
C
B
B