!

!"#$!$%$& $()"&*+,!)& -($.&/&*!$0"&

10)%*$02 2( 0.$(# 3 4%-0"!202(#

TALLER DE MATEMTICAS BSICAS
Introduccin a la lgica


Ejercicios seleccionados por: Sergio Alarcn Vasco, Mara Cristina Gonzlez Mazuelo.


1. Determine cules de los siguientes enunciados son proposiciones:

a. En el pentagrama musical, la nota que le sigue al do es si
b. La flauta dulce es un instrumento de viento.
c. Puedes tocar ya la batera.
d. Juanes no es un cantante Bogotano
e. Me sorprendiste con esa cancin!
f. Vuelve maana por favor.
g. Me gusta escuchar msica electrnica.
h. El violn es un instrumento de cuerda y de percusin a la vez.
i. En la antigedad la msica era considerada un rea de las matemticas.
j. A cuntas fusas equivale una corchea?


2. Escribir 5 enunciados que sean proposiciones y 2 que no lo sean.

3. Completa las siguientes proposiciones de tal manera que sean falsas.

a. _____________________ es una figura de cuatro lados

b. El sol sale por el _____________________

c. _______________________ es un artista Colombiano

d. ______________es el triple de 20

e. En Medelln hay un barrio que se llama ____________________



4. Dadas las siguientes proposiciones asgneles un valor de verdad

a. El Heavy Metal es el mejor gnero musical de todos los tiempos.
b. Me gusta estudiar matemticas.
c. Si +4 = 3 entonces = 1.
#

d. Todos los estudiantes de Informtica Musical estudian slo en el ITM
e. El 2 es el nico nmero que es primo y par a la vez
f. Los seres humanos somos mortales y al mismo tiempo inmortales.



5. Identifica las proposiciones simples en cada una de las siguientes proposiciones
compuestas y luego escrbelas de manera simblica:

a. El sol es verde o el 7 es un cuadrado
b. Si Diana estudia entonces aprobar el curso
c. Shakira y Juanes son cantantes Colombianos
d. Todos los nmeros primos son impares y positivos.
e. Enrique es un escritor de poesa o de cuentos.
f. Los mltiplos de 6 deben ser mltiplos de 2 y de 3.
g. Terminar rpido s y slo si me concentro.
h. Si corro rpido entonces llegar de primera.
i. 4 es menor que 8 y mayor que 2
j. Si es un nmero primo entonces es impar.

6. Negar una proposicin significa cambiar su valor de verdad. De esta forma si
representa una proposicin cualquiera, su negacin se representa con ~
tambin con . De acuerdo con lo anterior escribe la negacin de las siguientes
proposiciones simples:

a. Un tringulo es un cuadriltero
b. A Sergio no le gusta la msica clsica.
c. La salsa es un gnero musical tpico de Boyac
d. Medelln no es la ciudad ms innovadora de Latinoamrica
e. A Cris le gustan las almojbanas.
f. Fredy no es el profesor de electroacstica.
g. La agrupacin Calle 13 toca msica urbana.
h. Carlos juega ftbol o baloncesto
i. La casa tiene un jardn con flores y rboles frutales.


7. Considrese la proposicin Si cae nieve, entonces hace fro. Hallar:

a. El recproco de la proposicin.
b. El contrarrecproco de la proposicin
c. El contrarrecproco del recproco de la proposicin.



$

8. Resuelva cada uno de los numerales que se dan a continuacin, haciendo uso de las
tablas de verdad (Argumente sus respuestas)

a. Si la proposicin B A. es verdadera, entonces qu puede decirse del valor de
verdad de las proposiciones A y B?

b. Qu pasa con el valor de verdad de las proposiciones A y B, si la proposicin
B A. es falsa?

c. Si la proposicin A es falsa, entonces qu puede decirse del valor de verdad de
la proposicin B A. ? ser necesario conocer el valor de verdad de la
proposicin B?

d. Si P y Q P son proposiciones verdaderas, entonces qu puede decirse del
valor de verdad de la proposicin Q?

e. Si Q P es una proposicin falsa, la proposicin P debe ser necesariamente
falsa?

f. Si y son proposiciones verdaderas, qu puede decirse del valor de
verdad de la proposicin Q?

g. Si Q P y son proposiciones verdaderas, qu puede decirse del valor de
verdad de la proposicin P?



9. La malicia del fiscal

Cierto da hubo un juicio a un individuo que estaba acusado de asesinato. El Fiscal, al
hablar ante el jurado, pronuncia, de forma enrgica, las siguientes palabras: Si este
individuo es el asesino, entonces tiene un cmplice
El abogado defensor algo desconcertado, al escuchar las palabras del Fiscal, se para
rpidamente de su silla y responde: Eso es falso!
El juez, con una sonrisa algo burlesca, despus de lo expresado por fiscal y el
abogado defensor, dice lo siguiente:
He concluido, al escuchar las palabras del fiscal y el abogado defensor, que el
acusado es culpable.
Por qu concluye el juez que el acusado es culpable?





%

10. En los numerales 7 al 15 pruebe, aplicando reglas de inferencia, que las conclusiones
son consecuencia de las premisas dadas.


a. concluir: Q

( ) (1)
(2)
(3)
S PoQ
S
noP

b. concluir: P

( ) (1)
(2)
(3)
T PoQ
nonoT
noQ

c. concluir: S y T

(1)
(2)
(3)
P S
P T
P

d. concluir: M y N

(1) P y R
(2) P M
(3) R N

e. concluir: P

(1)
(2)
(3)
P o Q
noT
Q T

f. concluir: R

(1)
(2)
(3) ( )
noQ o S
noS
no R y S Q


g. concluir: U

(1)
(2)
(3)
(4) ( )
P y noT
S T
S o Q
Q o P U

h. concluir: T

(1)
(2)
(3)
(4)
P o noR
noS
P S
noR T

i. concluir: T

(1)
(2)
(3) ( )
(4)
P Q
Q R
P R noS
S o T

&

11. En cada uno de los siguientes razonamientos responda a las preguntas,
demostrando que la conclusin es consecuencia de las premisas dadas. Para esto
haga uso de las reglas de inferencia.

a. Si la ballena es un mamfero, entonces toma su oxgeno del aire. Si toma su
oxgeno de aire, entonces no necesita branquias. La ballena es un mamfero y
vive en el ocano. Podra deducirse de este razonamiento que la ballena
necesita branquias? Justifique su respuesta.

b. Si la votacin es aprobada, entonces la junta directiva queda como estaba. Si
la junta directiva queda como estaba, entonces no se pueden aadir ms
miembros al comit. Deben aadirse ms miembros al comit o el informe se
retrasar un mes. Pero el informe no se retrasar un mes. Podra afirmarse
que la votacin fue aprobada? Justifique su respuesta.

c. Si Toms tiene diecisiete aos, entonces Toms tiene la misma edad que
Juana. Si Joaqun tiene distinta edad que Toms, entonces Joaqun tiene
distinta edad que Juana. Toms tiene diecisiete aos y Joaqun tiene la misma
edad que Juana. Podra afirmarse que Joaqun tiene la misma edad que
Juana?

d. Si esta es una sociedad matriarcal, entonces el 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. Tiene el padre
autoridad? Justifique su respuesta.

e. Esta una roca gnea o es una roca sedimentaria. Esta roca es granito. Si esta
roca es granito, entonces no es una roca sedimentaria. Cmo es la roca,
gnea o sedimentaria?

f. 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, Juan tiene la misma estatura que Luis.
Es esta conclusin correcta?

g. Si Antonio gan la carrera de atletismo, entonces o Bernardo fue el segundo o
Camilo fue el segundo. Si Bernardo fue el segundo, entonces Antonio no gan
la carrera. Si Diego fue el segundo, entonces Camilo no fue el segundo.
Antonio gan la carrera. Podra afirmarse con seguridad qu el segundo est
entre Bernardo y Camilo?
'


h. Si el reloj est adelantado, entonces Juan lleg 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 del crimen. El reloj est adelantado. Es correcto concluir que
Andrs estaba en el edificio en el momento del crimen?

i. El cuadrangular final del campeonato de ftbol profesional colombiano fue
disputado entre los siguientes cuatro equipos: Nacional, Junior, Amrica y
Tolima. Pablo, un hincha del Tolima, por causa de su trabajo, no pudo
enterarse de los resultados definitivos. Al preguntarle a un amigo, este le
respondi, de manera algo bromista, lo siguiente: Si Nacional gan el
campeonato, entonces, Jnior fue el segundo o Amrica fue el segundo. Si
Jnior fue el segundo, entonces, Nacional no gan el campeonato. Si Tolima
fue el segundo, entonces, Amrica no fue el segundo. Nacional gan el
campeonato. De acuerdo con esta respuesta, Pablo concluy que Tolima
ocup el tercero o el cuarto lugar en el campeonato. Ser correcta la
conclusin de Pablo? (Justifique su respuesta).


En los numerales 11 al 15 dar, aplicando reglas de inferencia, una demostracin
formal de los razonamientos que se dan:

12. Demostrar: 12 8 < + y
12 8 y ) 12 8 ( (3)
4 ) 2 (
4 12 8 ) 1 (
< + < . = +
< . =
= v = +
x y x
x y x
x x


13. Demostrar: 577 . 0 tan = u
154 . 1 sec ) 4 (
732 . 1 cot 154 . 1 sec (3)
732 . 1 cot ) 866 . 0 cos 500 . 0 sen ( ) 2 (
) 866 . 0 cos 500 . 0 sen ( 0.577 tan ) 1 (
=
= v =
= = . =
= . = =
u
u u
u u u
u u u








(

14. Demostrar: 6 > x
5 4 3 ) 5 (
6 4 3 ) 4 (
4 3 5 (3)
5 )) 5 ( 5 ( ) 2 (
) 6 6 ( 5 ) 1 (
= + =
= . + =
+ = <
> < . =
> v = >
x x
x x
x x
x x x
x x x


15. Demostrar: 9 4
2 2
= v = x x
0 6 5 0 12 10 2 ) 5 (
9 3 ) 4 (
4 2 (3)
3 2 0 6 5 ) 2 (
4 0 12 10 2 ) 1 (
2 2
2
2
2
2
= + = +
= =
= =
= v = = +
< . = +
x x x x
x x
x x
x x x x
x x x



16. Demostrar: 6 < x
) ( ) 6 (
) ( ) 5 7 ( ) 5 (
) 7 5 ( 6 ) 4 (
) 7 5 ( 4 (3)
4 ) 2 (
6 ) 1 (
x z z y y x
z y x z x x
x x x
x x x
x y x
x y x
> v < >
< v > = . <
< . = <
< . = >
> >
< v >




Bibliografa
SUPPES, P. y HILL, S. Introduccin a la lgica matemtica. Editorial Revert S.A. 1985