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
La
a)
b)
c)
d)
e)
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)
Proporcione un ejemplo de una expresin que sea proposicin, con su respectivo valor de
verdad.
Escriba una expresin que no sea proposicin y que al reformularla se convierta en una
proposicin verdadera.
8)
Escriba una expresin que no sea proposicin y que al reformularla se convierta en una
proposicin falsa.
9)
Escriba una expresin que sea una proposicin y que al reformularla ya no sea proposicin.
"
( {(2)(3) 3} + 3) 1%'& + 1 = 8
d) $2 + 9
#
e)
f)
g)
h)
de 15
Respuesta: a) 0 , b) 1 , c) 1 , d) 1 , e) 0 , f) 0 , g) 0 , h) 1
Pgina 3
de 15
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
20) Dados
I.
II.
III.
IV.
V.
Respuesta: b)
pq
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.
Pgina 4
de 15
d)
e)
Pgina 5
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 6
de 15
!b c a # 0 , determine
"
$
proposicin compuesta
los valores de
las
proposiciones simples.
Respuesta: a 0, b 0, c 0
32) Dada la proposicin compuesta a b %a b c ' . Sabiendo que es FALSA, los
valores
&
(
) (
34) Si la proposicin a b c d
a) Verdadero
b) Falso
Respuesta: a)
a) p r
b) q s
Respuesta: a) 0 , b) 1
Pgina 7
de 15
ba 0
ca 0
ac0
d a0
c d 0
Respuesta: c)
(b d ) (a c)
Respuesta: a) 0 , b) 1 , c) 1 , d) 1
Pgina 8
de 15
A equivale lgicamente a B ,
Respuesta: a)
43) Explique la diferencia entre los smbolos (Condicional) y (Implicacin Lgica).
44) Sean A y B dos formas proposicionales tales que A es una tautologa y B es una
contradiccin, entonces la conjuncin entre ambas es una contradiccin.
a) Verdadero
b) Falso
Respuesta: a)
45) Dadas las siguientes formas proposicionales:
$ a b b a & b
%
'
) (
)
(b a ) (b a )
I)
II)
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)
b)
) (
)
f (1,1,1,1) f (0,0,0,0) 0
c)
f 0,1,0,1 f 1,0,1,0 1
d) f 1,1,1,0 f 0,1,1,1 1
e)
(
) (
)
f (0,0,0,0) f (1,1,1,1) 1
Respuesta: a)
e)
Equivalente a p q
) (
)
Respuesta: c)
Pgina 9
de 15
) (
a) Verdadero
b) Falso
Respuesta: a)
a) Verdadero
b) Falso
Respuesta: a)
50) Sobre
la
siguiente
forma
proposicional:
( 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)
de
62) Las proposiciones Es necesario estudiar para aprender y Slo si estudias, aprenders, son
lgicamente equivalentes.
a) Verdadero
b) Falso
Respuesta: a)
63) Si en la disyuncin de dos proposiciones, una de ellas es verdadera, el valor de verdad de
la
proposicin compuesta es falso por la propiedad de Identidad.
a) Verdadero
b) Falso
Respuesta: b)
64) A toda proposicin compuesta siempre se le puede aplicar las leyes de De Morgan.
a) Verdadero
b) Falso
Respuesta: b)
65) Sean las proposiciones simples:
a : Hoy es viernes. b : Obtengo un buen resultado. c : Estoy preparado para el examen.
Dada la proposicin compuesta Es suficiente que hoy sea viernes y que est preparado
para el examen, para que tenga un buen resultado, una proposicin equivalente es:
a) Hoy es viernes; y, si estoy preparado para el examen, entonces obtengo un buen
resultado.
b) Hoy es viernes y estoy preparado para el examen, slo si obtengo un buen resultado.
c) Hoy es viernes y no obtengo un buen resultado , puesto que no estoy preparado
para el
examen.
d) Si obtengo un buen resultado, entonces hoy es viernes y estoy preparado para el examen.
e) Si obtengo un buen resultado, entonces hoy no es viernes y no estoy preparado para
el
Pgina 11
15
de
examen.
Respuesta: b)
Pgina 12
15
de
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)
(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
( p q) (q r )
es lgicamente
equivalente
la
forma
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 :
de 15
) (
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:
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)
de 15
de demostracin
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
absurdo.
el mtodo
de reduccin al
Pgina 14
de 15
Pgina 15
de 15
Pgina 16
de 15