Logica

Ejercicios 4: C´lculo con supuestos a
L´gica Computacional o 25 de marzo de 2008

1.

Ejercicio 4.1

Formalizar la siguiente deducci´n y comprobar si es correcta, usando c´lculo o a consupuestos. “Si x=1 e y=2, entonces z=3. Sabemos que w=0 es necesario para que si y=2 entonces sea z=3. Tenemos que x=1; por consiguiente w=0.”

2.

Ejercicio 4.2

Formalizar y determinar si lassiguientes son deducciones correctas, usando c´lculo con supuestos. a Si corro mucho entonces llego antes. Si y solamente si llego antes y me ponen una multa entonces he corrido mucho. Si no me ponen unamulta entonces corro mucho. Por lo tanto, me ponen una multa. Es necesario programar bien para aprobar o trabajar en una empresa. Ni apruebo ni programo bien a menos que tenga paciencia. Esta claro queo apruebo o me cae una bronca de mis padres. Si me cae una bronca de mis padres entonces es que estoy programando bien. De todo esto se deduce que tengo paciencia. O no es suficiente tener un buensueldo para vivir bien, o soy demasiado exigente. La verdad es que no trabajo mucho. Pero s´lo si o trabajo mucho o vivo bien tendr´ un buen sueldo. Luego lo que pasa es e que soy demasiado exigente.2.1.

Ejercicio 4.3

Formalizar y demostrar que la deducci´n es correcta, usando c´lculo con o a supuestos. 1. Si hablas eres un ser humano. 2. Si no tienes nada que decir, no hablas. 3. S´lo sitienes algo que decir, eres un ser inteligente. o 4. Si eres un ser humano, y tienes algo que decir, eres un buen conversador. 1

5. No eres un ser inteligente o eres un ser humano. 6. Por lo tanto,si hablas o eres un ser inteligente, eres un buen conversador.

3.

Ejercicio 4.4

El cat´logo de un concesionario divide los coches en funci´n de las siguientes a o cuatro caracter´ ısticas: 1.Tama˜o: grande, mediano o peque˜o n n 2. Color: azul, rojo o gris 3. Puertas: 2 o 4 4. Precio: menos de 9000 euros, entre 9000 y 12000, entre 12000 y 18000 y m´s de 18000. a Al ir a seleccionar...