Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1.1
Proposiciones
1) Defina:
a) Proposicin.
b) Valor
de
verdad.
c) Tabla
de
verdad.
2) Dados
los
siguientes
enunciados:
La
capital
de
la
provincia
de
Esmeraldas
es
Atacames.
Las
islas
Galpagos
pertenecen
a
nuestro
pas
Ecuador.
Que
viva
Quito,
Luz
de
Amrica!
Hubieron
temblores
o
inundaciones?
Ecuador
tiene
un
total
de
23
provincias.
La
cantidad
de
enunciados
que
representan
proposiciones
es
igual
a:
a) 1
b) 2
c) 3
d) 4
e) 5
Respuesta:
c)
3)
j) 3 2 + 4 = 30
k) Cundo
me
ganar
la
lotera?
l) La
esperanza
es
lo
ltimo
que
se
pierde.
m) El
nmero
36
es
par.
n) El
ftbol
es
divertido.
Pgina
1
de
15
4)
5)
6)
7)
8)
9) Escriba
una
expresin
que
sea
una
proposicin
y
que
al
reformularla
ya
no
sea
proposicin.
10) Identifique
la
proposicin
FALSA.
a) Si
Quito
es
capital
de
Colombia,
entonces
Manab
no
es
provincia
del
Ecuador.
b) Si
2 + 5 = 8 ,
entonces
3+ 4 = 7 .
c) Santa
Elena
es
una
provincia
de
la
regin
Litoral
del
Ecuador.
d) La
mitad
del
mundo
est
situada
en
la
provincia
del
Guayas.
e) La
fundacin
de
Quito
se
celebra
en
el
mes
de
diciembre.
Respuesta:
d)
1.2
Operadores
lgicos
11) Defina:
a) Negacin.
b) Conjuncin.
c) Disyuncin
inclusiva.
d) Disyuncin
exclusiva.
e) Condicional.
f) Bicondicional.
g) Condicin
suficiente.
h) Condicin
necesaria.
12) Indique
el
valor
de
verdad
de
cada
proposicin.
Si
es
falsa,
reescriba
la
proposicin
para
que
sea
verdadera.
a) 2 + 7 1= 5
b) Los
colores
de
la
bandera
del
Ecuador
son
amarillo,
azul
y
rojo.
c) La
ESPOL
es
una
universidad
categora
A.
"
d) $2 + 9
#
e)
f)
g)
h)
13) Escriba
en
espaol
2
proposiciones
por
cada
una
de
las
interpretaciones
gramaticales
de
la
conjuncin.
14) Escriba
en
espaol
2
proposiciones
por
cada
una
de
las
interpretaciones
gramaticales
de
la
disyuncin
inclusiva.
15) Escriba
en
espaol
2
proposiciones
por
cada
una
de
las
interpretaciones
gramaticales
de
la
disyuncin
exclusiva.
16) Escriba
en
espaol
2
proposiciones
por
cada
una
de
las
interpretaciones
gramaticales
de
la
condicional.
17) Escriba
en
espaol
2
proposiciones
por
cada
una
de
los
parafraseos
cuando
la
condicional
de
proposiciones
es
verdadera.
18) Para
que
la
enunciacin
hipottica
sea
falsa
es
suficiente
que
el
antecedente
sea
verdadero.
a)
Verdadero
b)
Falso
Respuesta:
b)
19) b
es
suficiente
para
a
si
y
slo
si
a b
es
una
proposicin
verdadera.
a)
Verdadero
b)
Falso
Respuesta:
b)
20) Dados
los
siguientes
enunciados:
I.
x
+
1
=
0
II.
p q
III.
Qu
fcil
est
el
examen!
1
IV.
(2 + 5) > (3 + 4)
V.
Cunto
tiempo
necesitar
para
realizar
el
examen?
Entonces
es
VERDAD
que:
a) I
y
II
son
proposiciones
pero
no
III.
b) III
es
proposicin
pero
no
IV.
c) V
es
proposicin
siempre
que
lo
sea
IV.
d) Si
IV
es
proposicin,
entonces
V
no
lo
es.
e) I,
II
y
IV
no
son
proposiciones.
Respuesta:
d)
21) Para
la
proposicin:
Juego
tenis
y
me
divierto
con
mis
amigos,
puesto
que
no
llueve,
su
RECPROCA
es:
a) Si
no
llueve,
entonces
no
juego
tenis
y
me
divierto
con
mis
amigos.
b) Juego
tenis
y
me
divierto
con
mis
amigos,
slo
si
no
llueve.
c) Es
necesario
que
llueva,
para
no
jugar
tenis
y
no
divertirme
con
mis
amigos.
d) Si
no
juego
tenis
o
no
juego
con
mis
amigos,
llueve.
e) Ya
que
llueve,
juego
tenis
y
me
divierto
con
mis
amigos.
Respuesta:
b)
Pgina
3
de
15
22) Traduzca
al
lenguaje
simblico
la
siguiente
proposicin
Si
respeto
a
mis
padres,
entonces
ser
de
larga
vida
sobre
la
tierra
y
luego
escriba
en
espaol
y
en
lenguaje
formal
su
recproca,
su
inversa
y
su
contrarrecproca.
23) Dada
la
proposicin
Si
hoy
no
llueve,
hace
calor.
a) Escriba
en
espaol
cinco
formas
diferentes
de
expresar
la
condicional.
b) Escriba
en
espaol
su
recproca,
su
inversa
y
su
contrarrecproca.
24) Suponga
que
la
proposicin:
Eres
feliz
siempre
que
la
vida
te
sonre
es
verdadera,
entonces
es
FALSO
que:
a) Si
la
vida
te
sonre,
entonces
eres
feliz.
b) Eres
feliz
cuando
la
vida
te
sonre.
c) Ser
feliz
es
necesario
para
que
la
vida
te
sonra.
d) Eres
feliz
si
la
vida
te
sonre.
e) Ser
feliz
es
suficiente
para
que
la
vida
te
sonra.
Respuesta:
e)
25) Escriba
en
espaol
2
proposiciones
por
cada
una
de
las
interpretaciones
gramaticales
de
la
bicondicional.
1.3
Proposiciones
simples
y
compuestas
26) Defina:
a) Proposicin
simple
b) Proposicin
compuesta
27) Traduzca
al
lenguaje
simblico
la
proposicin
compuesta:
David
consigue
dinero
y
se
compra
el
libro,
slo
si
cambia
su
cheque.
Pero
si
no
cambia
el
cheque,
no
puede
pagar
sus
deudas.
Por
lo
tanto,
Juan
compra
el
libro
y
paga
sus
deudas.
28) Sean
las
proposiciones
simples:
a :
Danilo
programa
en
Ltex.
b :
Danilo
practica
lgebra.
c :
Danilo
es
responsable.
La
traduccin
al
lenguaje
simblico
de
la
proposicin
compuesta
Danilo
programa
en
Ltex
porque
practica
lgebra
y
es
responsable
es:
( )
(b c) a
a (b c)
(b c) a
(a c) b
a) a b c
b)
c)
d)
e)
Respuesta:
b)
Pgina
4
de
15
32) Dada
la
proposicin
compuesta
a b %&a b c '( .
Sabiendo
que
es
FALSA,
los
valores
de
verdad
de
las
proposiciones
simples
a,
b
y
c
son:
a) a 0, b 0, c 1
b) a 1, b 1, c 0
c) a 1, b 0, c 1
d) a 1, b 1, c 1
e) a 0, b 1, c 0
Respuesta:
c)
33) Una
proposicin
compuesta
es
verdadera
si
y
slo
si
todas
las
proposiciones
simples
que
la
conforman
son
verdaderas.
a)
Verdadero
b)
Falso
Respuesta:
b)
) (
b)
Falso
Respuesta:
a)
35) Se
conoce
que
p $%q r s &' 1 ,
determine
el
valor
de
verdad
de:
a) p r
b) q s
Respuesta:
a)
0 ,
b)
1
Pgina
5
de
15
Respuesta: c)
38) Si
la
proposicin
#$( a b) (b c )%& #$(c d ) ( a d )%&
es
FALSA,
determine
el
valor
de
verdad
de
las
siguientes
proposiciones:
a) a b
b) a ( b d )
c) a (b a )
d)
(b d ) (a c)
Respuesta:
a)
0 ,
b)
1 ,
c)
1 ,
d)
1
1.4
Formas
proposicionales
39) Defina:
a) Variable
proposicional.
b) Forma
proposicional.
c) Tautologa.
d) Contradiccin.
e) Contingencia.
f) Implicacin
lgica.
g) Equivalencia
lgica.
40) Explique
la
diferencia
entre
una
proposicin
y
una
variable
proposicional.
41) Sean
A
y
B
dos
formas
proposicionales,
se
dice
que
A
implica
lgicamente
a
B ,
denotado
por
A B ,
si
y
solo
si
A B
es
una
tautologa.
a)
Verdadero
b)
Falso
Respuesta:
a)
Pgina
6
de
15
$ a b b a & b
%
'
(
) (
)
(ba) (b a)
Es
VERDAD
que:
a) La
forma
proposicional
I
es
una
tautologa
y
la
II
no
es
una
tautologa.
b) La
forma
proposicional
II
no
es
una
tautologa.
c) Las
formas
proposicionales
I
y
II
no
son
tautologas.
d) Las
formas
proposicionales
I
y
II
son
tautologas.
e) La
forma
proposicional
I
no
es
una
tautologa
y
la
II
es
una
tautologa.
Respuesta:
e)
(
) (
)
f (1,1,1,1) f (0,0,0,0) 0
f (0,1,0,1) f (1,0,1,0) 1
f (1,1,1,0) f (0,1,1,1) 1
f (0,0,0,0) f (1,1,1,1) 1
a) f 1,1,0,0 f 0,0,1,1 1
b)
c)
d)
e)
Respuesta:
a)
47) La
forma
proposicional
#$ p q r %& #$ p q r q %&
es:
a) Una
contradiccin
b) Una
tautologa
c) Una
contingencia
d) Equivalente
a
r
e)
) (
Equivalente
a
p q
Respuesta:
c)
Pgina
7
de
15
) (
) (
( p q) #$(q p) q%& ,
identifique la
proposicin
VERDADERA.
a) Es
una
contradiccin
b) Es
una
tautologa
c) Es
equivalente
a
q
d) Es
equivalente
a
p
e)
Es equivalente a p q
Respuesta:
c)
1.5
Propiedades
de
los
operadores
lgicos
51) Niegue
la
proposicin
Hoy
no
es
lunes,
puesto
que
tengo
esta
leccin
y
me
voy
temprano.
52) De
ser
posible,
escriba
el
nombre
de
la
ley
o
propiedad
que
est
presente
en
la
estructura
lgica
de
las
siguientes
proposiciones
compuestas.
a) Si
duermo,
entonces
duermo
o
descanso.
b) Si
estudio
mucho,
entonces
apruebo
el
curso
de
nivelacin.
Si
apruebo
el
curso
de
nivelacin,
mis
paps
estn
felices.
Luego,
si
estudio
mucho,
mis
paps
estn
felices.
c) No
es
verdad
que
si
estudio
mucho,
entonces
no
apruebo
el
curso
de
nivelacin
es
lgicamente
equivalente
a
Estudio
mucho
y
apruebo
el
curso
de
nivelacin.
d) Si
como
bastante,
voy
al
gimnasio;
pero
no
voy
al
gimnasio.
Entonces,
no
como
bastante.
e) Si
tengo
dinero,
me
voy
de
viaje;
y,
si
tengo
tiempo,
arreglo
mi
cuarto.
Por
lo
tanto,
si
tengo
dinero
y
tiempo,
me
voy
de
viaje
y
arreglo
mi
cuarto.
53) Escriba
la
ley
del
MODUS
PONENDO
PONENS
y
construya
una
proposicin
compuesta
a
partir
de
la
estructura
lgica
de
esta
ley.
54) Escriba
la
ley
del
MODUS
PONENDO
TOLLENS
y
construya
una
proposicin
compuesta
a
partir
de
la
estructura
lgica
de
esta
ley.
55) Escriba
la
ley
del
SILOGISMO
DISYUNTIVO
y
construya
una
proposicin
compuesta
a
partir
de
su
la
estructura
lgica
de
esta
ley.
56) Escriba
la
ley
de
la
TRANSITIVIDAD
y
construya
una
proposicin
compuesta
a
partir
de
la
estructura
lgica
de
esta
ley.
Pgina
8
de
15
b)
Falso
Respuesta:
b)
62) Las
proposiciones
Es
necesario
estudiar
para
aprender
y
Slo
si
estudias,
aprenders,
son
lgicamente
equivalentes.
a)
Verdadero
b)
Falso
Respuesta:
a)
64) Una
ley
de
De
Morgan
indica
que
al
negar
la
conjuncin
de
dos
proposiciones
se
obtiene
la
conjuncin
de
las
dos
proposiciones
negadas.
a)
Verdadero
b)
Falso
Respuesta:
b)
66) Suponga
que
la
proposicin
El
Gobierno
Nacional
activ
la
alerta
amarilla
y
consider
la
posibilidad
de
un
tsunami
debido
a
que
Chile
sufri
un
terremoto
es
VERDADERA.
a) Identifique
la
condicin
necesaria
y
la
condicin
suficiente.
b) Escriba
en
espaol
una
forma
de
recproca,
una
inversa
y
una
contrarrecproca.
67) Suponga
que
la
proposicin
Para
que
la
computadora
encienda
basta
que
haya
energa
elctrica
y
que
el
disco
duro
no
est
lleno
es
VERDADERA.
a) Identifique
la
condicin
necesaria
y
la
condicin
suficiente.
b) Escriba
en
espaol
una
forma
de
recproca,
una
inversa
y
una
contrarrecproca.
68) Una
NEGACIN
de
la
proposicin
compuesta:
Si
no
me
voy
al
estadio,
entonces
voy
a
estudiar
y
a
realizar
el
proyecto,
es:
a) No
me
voy
al
estadio
y
no
es
cierto
que,
vaya
a
estudiar
y
realice
el
proyecto.
b) Me
voy
al
estadio,
pero,
estudio
o
realizo
el
proyecto.
c) Me
voy
al
estadio,
o,
estudio
y
realizo
el
proyecto.
d) Si
no
es
cierto
que,
estudie
y
realice
el
proyecto,
entonces
me
voy
al
estadio.
e) Estudio
y
realizo
el
proyecto,
puesto
que
no
me
voy
al
estadio.
Respuesta:
a)
69) La
INVERSA
de
la
proposicin
Julio
programa
en
Visual
C++,
porque
ensea
teora
de
nmeros
y
es
inteligente,
es:
a) Julio
programa
en
Visual
C++,
slo
si
ensea
teora
de
nmeros
y
no
es
inteligente.
b) Julio
no
programa
en
Visual
C++,
porque
no
ensea
teora
de
nmeros
y
es
inteligente.
c) Julio
no
ensea
teora
de
nmeros
o
no
es
inteligente,
porque
no
programa
en
Visual
C++.
d) Si
Julio
no
ensea
teora
de
nmeros
y
no
es
inteligente,
entonces
no
programa
en
Visual
C++.
e) Si
Julio
no
ensea
teora
de
nmeros
o
no
es
inteligente,
entonces
no
programa
en
Visual
C++.
Respuesta:
e)
70) Se
conoce
que
la
proposicin
Basta
que
el
paciente
tenga
deficiencia
de
glbulos
rojos
o
haya
perdido
mucha
sangre,
para
que
tenga
anemia
es
VERDADERA,
identifique
la
proposicin
FALSA.
a) Es
suficiente
que
un
paciente
tenga
deficiencia
de
glbulos
rojos,
para
que
tenga
anemia.
b) Es
suficiente
que
un
paciente
haya
perdido
mucha
sangre,
para
que
tenga
anemia.
c) Es
necesario
que
un
paciente
tenga
anemia,
para
que
haya
perdido
mucha
sangre
o
tenga
deficiencia
de
glbulos
rojos.
d) Es
necesario
que
un
paciente
no
haya
perdido
sangre,
para
que
no
tenga
anemia.
e) Es
suficiente
que
un
paciente
no
tenga
anemia,
para
que
no
tenga
deficiencia
de
glbulos
rojos.
Respuesta:
d)
71) Empleando
lgebra
proposicional,
demuestre
si
la
forma
proposicional
b) #$c a b %& a c
c) #$c a b %& a c
d)
e)
) ( )
(c a) #$(a b) c%&
#c a b % a c
( )& ( )
$
Respuesta:
c)
73) La
forma
proposicional
que
NO
es
tautolgica,
es:
a)
b)
c)
d)
e)
(q p) (p q)
( p q) (p q)
( p q) (q p)
"( p q p$ q
) %
#
#( p q r % #( p r ( q r %
) & $ )
)&
$
Respuesta:
c)
74) De
ser
posible,
demuestre
que
las
siguientes
formas
proposicionales
no
son
tautolgicas.
( )
a) p p
b) p q p q
75) Para
cada
forma
proposicional
determine
si
es
una
tautologa,
una
contradiccin
o
una
contingencia.
a) ( p q r ) ( p q r )
b)
{( p q) #$( p q) p%&} p
# p r q r % # p q r %
$
& $
&
# p q r % # p q r %
$
& $
&
# p q p r % # p q r %
$
& $
&
(
(
(
) (
) (
) (
(
)
)
)
(
Pgina
11
de
15
77) La
forma
proposicional
proposicional:
( )
r ( q p )
( p r ) q
(p r ) q
q ( p r )
a) p q r
b)
c)
d)
e)
Respuesta:
c)
78) Considere
la
forma
proposicional
!"q p q #$ p :
84) Dados
los
siguientes
razonamientos
R1
y
R2:
R1: #$ p q q p %& p q
R2: q p q
) (
Es
VERDAD
que:
a) R1
no
es
vlido
y
R2
es
vlido.
b) R1
no
es
vlido
y
R2
no
es
vlido.
c) R1
es
vlido
y
R2
no
es
vlido.
d) R1
es
vlido
y
R2
es
vlido.
Respuesta: d)
85) Para
el
razonamiento:
( H1 H 2 ) C ,
considere
las
siguientes
hiptesis:
86) Sean
las
hiptesis:
H1 :
Si
digo
mis
oraciones,
Dios
me
escucha.
Dios
no
me
escucha.
No
digo
mis
oraciones.
Dios
me
escucha.
Hago
bien
el
examen.
Si
digo
mis
oraciones,
hago
bien
el
examen.
Respuesta:
e)
87) Para
el
razonamiento
( H1 H 2 ) C ,
en
donde:
92) Demuestre
la
ley
del
SILOGISMO
DISYUNTIVO
utilizando
el
mtodo
de
demostracin
directa.
93) Demuestre
la
ley
del
MODUS
PONENDO
PONENS
utilizando
el
mtodo
de
demostracin
por
contrarrecproca.
94) Demuestre
las
leyes
de
los
DILEMAS
CONSTRUCTIVOS
utilizando
el
mtodo
de
demostracin
por
contrarrecproca.
95) Demuestre
la
ley
del
MODUS
TOLENDO
TOLLENS
utilizando
el
mtodo
de
reduccin
al
absurdo.
97) Demuestre
la
implicacin
lgica:
#$ p q q%& p
a) Utilizando
tablas
de
verdad.
b) Utilizando
propiedades
de
los
operadores
lgicos.
Pgina
15
de
15