Está en la página 1de 13

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas, tecnologa e ingeniera

Curso: lgica matemtica Grupo: 2


1

ingeniera industrial i semestre

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas, tecnologa e ingeniera TALLER N 3

MARA JOS MARTNEZ BARBOSA MARCELA ORTIZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD GRANADA 15 DE NIVIEMBRE DEL 2012 Curso: lgica matemtica Grupo: 2
2

ingeniera industrial i semestre

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas, tecnologa e ingeniera INFERENCIA LOGICA

Estudiantes: MARA JOS MARTNEZ BARBOSA Cdigo: 94100420877 MARCELA ORTIZ Cdigo: 40.327.292 Grupo: 2

Tutor: OSCAR DIONISIO CARRILLO RIVEROS Lgica Matemtica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD INGENIERA INDUSTRIAL I SEMESTRE 15 DE NOVIEMBRE DEL 2012 Curso: lgica matemtica Grupo: 2
3

ingeniera industrial i semestre

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas, tecnologa e ingeniera

DESARROLLO

1. En los siguientes razonamientos diga qu ley de inferencia se utiliz para llegar a la conclusin obtenida (la conclusin es la proposicin que va luego de por lo tanto). Identifique cada uno de las proposiciones simples y escriba en forma simblica cada razonamiento. a. Razonamiento N 1: Si hoy es domingo viajo al parque deportivo. Si es lunes debo ir a trabajar. O es domingo o es lunes. Por lo tanto: o viajo al parque deportivo o debo ir a trabajar. RTA// Dilema Constructivo b. Razonamiento N 2: Si hoy es sbado entonces debo estudiar. No debo estudiar. Por lo tanto: hoy no es sbado. RTA// Negar Negando c. Razonamiento N 3: Si hoy es domingo no debo trabajar. Hoy es domingo. Por lo tanto no debo trabajar. RTA// Afirmar Afirmando d. Razonamiento N 4: El calor es de elevada temperatura o el ventilador est apagado. El ventilador no est apagado. Por lo tanto: el calor es de elevada temperatura. RTA// Silogismo Disyuntivo e. Razonamiento N 5: Si Juan tiene la misma edad que Luis entonces Luis es mayor que Mara. Si Luis es mayor que Mara entonces Mara es mayor que ngela. Por lo tanto: si Juan tiene la misma edad que Luis entonces Mara es mayor que ngela. RTA// Silogismo Hipotetico

Curso: lgica matemtica Grupo: 2


4

ingeniera industrial i semestre

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas, tecnologa e ingeniera f. Razonamiento N 6: Si Doris es menor que Elsa entonces Orlando tiene la misma edad que Alberto. Doris es menor que Elsa. Por lo tanto: Orlando tiene la misma edad que Alberto. RTA// Afirmar afirmando g. Razonamiento N 7: Ana canta y pinta. Por lo tanto: Ana pinta RTA// Simplificacin h. Razonamiento N 8: Carlos baila. Carlos canta. Por lo tanto: Carlos baila y canta. RTA// Conjuncin i. Razonamiento N 9: Si hace fro nos resfriamos. Si nos resfriamos entonces vamos al mdico. Por lo tanto: Si hace fro vamos al mdico. RTA// Silogismo Hipottico j. Razonamiento N 10: Si Ana canta entonces tiene habilidades. Por lo tanto: Si Ana canta entonces tiene habilidades y canta. RTA// Absorcin 2. Aplicando las diferentes leyes de inferencia vistas en el mdulo deduzca la conclusin que se quiere en los siguientes argumentos. (la conclusin es la proposicin que va luego de por lo tanto). a. Si Antonio no es primero entonces Pedro es primero. Pedro no es primero. O Antonio no es primero o Pablo es tercero. Si Jaime es segundo entonces Pablo no es tercero. Por lo tanto: Jaime no es segundo. Qu posicin ocup cada participante. RTA// P= Antonio es primero Q= Pedro es primero R= Pablo es tercero S= Jaime es segundo 1. ~p -> q 2. ~q 3. ~p v r 4. S ->~r Curso: lgica matemtica Grupo: 2
5

ingeniera industrial i semestre

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas, tecnologa e ingeniera 1. 2. 5. 3. 5. 6. 4. 6. 7. P -> q ~q ~p MTP ~p v r ~p R MTT S -> ~r R ~s MTP

b. O Mara est con Pilar o Luisa est con Pilar. Si hoy es lunes entonces Mara no est con Pilar. Hoy es lunes. Por lo tanto: Luisa est con Pilar. RTA// P= Mara esta con pilar Q= Luisa esta con pilar R= Hoy es lunes 1) P v q 2) R -> ~p 3) r 2) 3) 4) 1) 4) 5) r -> ~p r ~p MPP Pvq ~p Q MTT

c. Si el contrato es legal y Prez entr al contrato entonces Garca ganar el pleito. O Garca no ganar el pleito o Prez ser responsable. Prez no ser responsable. Por lo tanto: O el contrato no es legal o Prez no entr al contrato. RTA// P= el contrato es legal y Prez entr al contrato Q= Garca ganar el pleito R= Prez ser responsable A. P -> q B. ~q v r C. ~r

Curso: lgica matemtica Grupo: 2


6

ingeniera industrial i semestre

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas, tecnologa e ingeniera b. ~q v r c. ~r d. ~q MTT a. p -> q d. ~q e. ~p MTP d. Si el contrato no es legal entonces Prez entr al contrato. Si Garca gana el pleito entonces Prez ser responsable. O el contrato no es legal o Garca gana el pleito. Prez no entr al contrato. Por lo tanto: Prez ser responsable. RTA// P= el contrato es legal Q= Prez entro al contrato R= Garca gana el pleito S= Prez ser responsable a. b. c. d. a. d. e. c. e. f. b. f. g. ~p -> q R -> s ~p v ~r ~q ~p -> q ~q ~p MTP ~p v ~r ~p R MTT R -> s R S MPP

e. Si el testigo dice la verdad entonces Juan no sabe quien estuvo antes. Si Juan estaba en la casa a las 11:00 pm entonces vio a su to. O Juan no vio a su to o sabe quin estuvo antes. Pero Juan estaba en casa a las 11:00 pm. Por lo tanto: el testigo no dice la verdad. RTA// P= el testigo dice la verdad Q= Juan sabe quien estuvo antes R= Juan estaba en la casa a las 11:00 S= vio a su to Curso: lgica matemtica Grupo: 2
7

ingeniera industrial i semestre

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas, tecnologa e ingeniera I. II. III. IV. II. r -> s IV. r V. s III. ~s v q V.s VI. Q I. p ->~q VI.q VII. ~p P ->~ q R -> s ~s v q R

MPP

MTT

MTP

3. De las siguientes proposiciones que se puede concluir: Utilizar la ley de Morgan. a. O los arcnidos no son insectos o no tienen ocho patas. RTA// P= Los arcnidos son insectos Q= Los arcnidos tienen ocho patas ~p v ~q b. No es cierto que Ana estudia y canta. RTA// P=Ana estudia Q=Ana canta ~ (p ^q) c. No es cierto que no canto y no silbo. RTA// P= canto Q= silbo ~ (~p ^~ q)

Curso: lgica matemtica Grupo: 2


8

ingeniera industrial i semestre

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas, tecnologa e ingeniera d. No es cierto que estudio y no trabajo. RTA// P= estudio Q= trabajo ~ (p ^ ~q) e. No es cierto que matricul lgica o tica. RTA// P= matricule lgica Q= matricule tica ~ (p v q) 4. Deducir la conclusin que se desea demostrar, expresando la regla aplicada en cada lnea e indicando tambin las lneas que se han utilizado al aplicar la regla. a. Demostrar B 1) ~g -> e 2) E -> k 3) ~g 4) K ->~l 5) ~l -> m 6) M -> b RTA// 1) ~g -> e 3) ~g 7) E MPP 2) E -> k 7) E 8) K MPP 4) K ->~l 8) K 9) ~l MPP 5) ~l -> m 9) ~l 10) M MPP 6) M -> b 10) M 11) B MPP Curso: lgica matemtica Grupo: 2
9

ingeniera industrial i semestre

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas, tecnologa e ingeniera

b. 1. 2. 3. RTA// 1. 2. 4. 3. 4. 5.

Demostrar q J -> k ^ m J K ^ m -> q

J -> k ^ m J K ^ m MPP K ^ m -> q K^m Q MPP

c. Demostrar x = 0 1) X o -> y = 1 2) X = y -> y = w 3) Y = w -> y 1 4) X = y RTA// 2) 4) 5) 3) 5) 6) 1) 6) 7) d. 1. 2. 3. 4. X = y -> y = w X=y Y = w MPP Y = w -> y 1 Y=w Y 1 MPP X o -> y = 1 Y1 X = 0 MTT

Demostrar x 0 X = y -> x = z X = z -> x = 1 X = 0 -> x 1 X=y

RTA// Curso: lgica matemtica Grupo: 2


10

ingeniera industrial i semestre

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas, tecnologa e ingeniera

1. 4. 5. 2. 5. 6. 3. 6. 7.

X = y -> x = z X=y X=z MPP X = z -> x = 1 X=z X=1 MPP X = 0 -> x 1 X=1 X0 MTT

e. Demostrar ~s ^ q 1) ~s -> q 2) ~(t ^ r) 3) S -> t ^ r RTA// 3) 2) 4) 1) 4) 5) 4) 5) 6) S -> t ^ r ~(t ^ r) ~s MTT ~s -> q ~s Q MPP ~s q ~ s ^ q CONJ

f. 1. 2. 3. 4. 5. RTA//

Demostrar x = w X = y -> x = z X = z -> x = w X=yvx=0 X = 0 -> x +u = 1 X+u1

4. X = 0 -> x +u = 1 5. X + u 1 6. X 0 MTT Curso: lgica matemtica Grupo: 2


11

ingeniera industrial i semestre

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas, tecnologa e ingeniera 3. 6. 7. 1. 7. 8. 2. 8. 9. X=yvx=0 X0 X=y MTP X = y -> x = z X=y X=z MPP X = z -> x = w X=z X = w MPP

g. Demostrar x = 4 1) 3x + 2y = 18 ^ x + 4y = 16 2) X = 2-> 3x +2y 18 3) X = 2 v y = 3 4) X 4 -> y 3 RTA// 1) 5) 2) 5) 6) 3) 6) 7) 4) 7) 8) 3x + 2y = 18 ^ x + 4y = 16 3x + 2y = 18 SIMP X = 2-> 3x +2y 18 3x + 2y = 18 X=2 X=2vy=3 X=2 Y =3 X 4 -> y 3 Y=3 X=4

5. Seamos lgicos, analicemos los siguientes textos. En cierta tripulacin de un vuelo areo, las posiciones de piloto, copiloto e ingeniero de vuelo son ocupadas por Allen, Brown y Carr, aunque no necesariamente en ese orden. El copiloto, quien es hijo nico, es el que gana menos. Carr, quien est casado con la hermana de Brown, gana ms que el piloto. Qu posicin ocupa cada persona? Curso: lgica matemtica Grupo: 2
12

ingeniera industrial i semestre

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas, tecnologa e ingeniera RTA// Carr es el ingeniero y es el que gana ms. Allen es el piloto y este gana menos que el ingeniero. Brown es el copiloto y es el que gana menos.

Curso: lgica matemtica Grupo: 2


13

ingeniera industrial i semestre

También podría gustarte