INFERENCIAS LOGICAS

Trabajo presentado para el curso

LOGICA MATEMATICA
Tutor
ING. MARTIN AVELLA























UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
FACULTAD DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
INGENIERIA INDUSTRIAL
2011

EJERCICIOS


1. Problema de aplicacin


Los razonamientos lgicos que hemos estudiado se encuentran presentes no son
exclusivos de los espacios acadmicos. Por el contrario, hacemos uso de stos en
el debate cotidiano de ideas. A continuacin se propone un dilogo entre varios
estudiantes de la Unad:


Juan: Hola compaeros, saban que todos podemos hacer algo por la paz?
Patricia: todos queremos la paz!
Ana: O construimos paz o generamos violencia.
Diego: y a caso generamos violencia?
Freddy: Si construyramos paz, entonces cumpliramos nuestra palabra.
Mara: pero si generramos violencia, entonces no nos preocuparamos por la
poltica.
Jorge: Es verdad. Pero la preocupacin por la poltica puede buscar el inters
general o el particular.
Mara: Digamos pues que si generramos violencia, entonces no nos
preocuparamos por el bien comn.
Tania: Si buscramos el bien comn los dirigentes seran buenos. Y si
buscramos el inters personal, los dirigentes resultaran malos.
Guillermo: Un dirigente que busca el bien propio resulta ser un dirigente malo.
Claudia: La realidad ha mostrado que un gran porcentaje de los dirigentes busca
el bien propio.
Carlos: Entonces todos generamos violencia.
I) Cada estudiante debe plantear su respuesta individual a la tabla que se
propone a continuacin. Posteriormente debe debatir con tus compaeros el
valor de verdad de las proposiciones lgicas y su correspondiente
justificacin:



No Proposicin Declaracin de
proposiciones simples
Premisas y conclusin
V o F Justificacin
Las demostraciones
de una conclusin se
deben justificar
mediante las leyes
de inferencia
1 El enunciado de
Patricia es un
enunciado
cientfico
NO APLICA
F
No es un anunciado cientfico
porque si es Vo F.
2 El enunciado de
Diego es un
enunciado
cientfico
NO APLICA
F
No es un anunciado cientfico
porque si es Vo F.
3 El enunciado de
Juan corresponde
a una proposicin
lgica
NO APLICA
F
No es un anunciado cientfico
porque si es Vo F.
4 A partir de los
enunciados de
Claudia, Guillermo
y Tania, podemos
concluir que
buscamos el
inters personal.

Tania:
p: Buscamos el bien comn.
q: Los dirigentes serian
buenos.

Guillermo
r: El dirigente que busca el
bien propio.

V
Tania
p q
pq

Guillermo
rq
Claudia
r
5 De acuerdo con
Freddy, y Ana, si
no cumplimos
nuestra palabra,
generamos
violencia. Esto es
as por
MTT y DC.

p: Construimos paz.
q: Generamos violencia.
r: Cumpliramos nuestra
palabra.
F

p v q

pr
6 A partir de los
enunciados de
Claudia y
Guillermo se
puede concluir que
los dirigentes son
malos. A esta
conclusin se llega
por demostracin
indirecta aplicando
MPP.

Guillermo
P: Un dirigente busca el bien
propio.
q: Resulta ser un dirigente
malo

Claudia
p: Un gran porcentaje de los
dirigentes busca el bien
propio.
V
p q

p
____ M.P.P.
q
7 De acuerdo con
Jorge, si se busca
el bien particular,

P: Se busca el inters
particular.
F

p v q
se busca el bien
general.

q: Se busca el inters
general.
8 Claudia plantea
un razonamiento
inductivo basado
en la observacin
NO APLICA
F
No es un anunciado cientfico
porque si es Vo F.
9 De la afirmacin
de Mara,
podemos afirma
que si no nos
preocupamos por
el bien comn,
entonces
generamos
violencia.

P: Generamos violencia.
q: nos preocupamos por el
bien comn

p q

V


pq


DECLARACIONES DE PROPOSICIONES SIMPLES
p: Todos podemos hacer algo por la paz
q: todos queremos paz
r: construimos paz
t: cumplimos nuestra palabra
u: nos preocupamos por la poltica
w: se busca el inters general
x: se busca el inters particular
y: nos preocupamos por el bien comn
b: buscamos el bien comn
z: los dirigentes buscan el bien propio
a: un dirigente busca el bien propio
Premisas:
Premisa 1: p
Premisa 2: q
Premisa 3: r v s
Premisa 4: r t
Premisa 5: s u
Premisa 6: w v x
Premisa 7: sy
Premisa 8: (bz) (x z)
Premisa 9: az
Premisa 10: a
Conclusin: s
2. PUNTO
Premisa 1 : ( pq)
Premisa 2 : q r
Conclusin: p
p q r
pq
q r
V V V V V
V V F V F
V F V F F
V F F F F
F V V V V
F V F V F
F F V V F
F F F V F



3. Para los siguientes razonamientos, demuestre su validez o invalidez segn considere
adecuado:
a. Contribuyo a la paz de Colombia cuando no maltrato a ninguno de mis familiares. El
maltrato intrafamiliar ha causado problemas psicolgicos a un gran porcentaje de la
poblacin colombiana. Por lo tanto es necesario a la paz de mi pas.

P: contribuyo a la paz de Colombia cuando no maltrato a ninguno de mis familiares
Q: el maltrato intrafamiliar ha causado problemas psicolgicos a un gran porcentaje de
la poblacin colombiana
R: es necesario contribuir a la paz de mi pas

b. 1. p r
2. pq M.T.T. (2,3)
3. q
Conclusin: p

c. 1. p v r
2. sp M.T.T (3,4)
3. r q A (1)
4. q M.T.P. (6,5)
Conclusin: p DN (7)
d. 1. s t
2. p s
3. t
Conclusin: p
4. s) (1,3) mtt
5.s dn (4)
6.(p s) (sp) lb(2)
7ps sm(6)
8. sp sm(6)
9. p mtt(7,5)

e. 1. q s
2. st
3. s
Conclusin: q v t
4. q mtt(1,3)
5. t mpp(2,3)
6.q dn(4)
7.t Q ADJUNCION (5.6)
8.Q t lc(7)
9 Q t) dn(8)
10. q v t L MORGAN(9)