Relación 1
De Lógica informática (2014-15)
Relación 1: Representación del conocimiento proposicional
Ejercicio 1. Formalizar el siguiente argumento
Si hay corriente y la lámpara no está fundida, entonces está encendida. La lámpara no está encendida. Hay corriente. Por tanto, la lámpara está fundida.
Usando los simbolos C: hay corriente, F: la lámpara está fundida y E: la lámpara está encendida.
Solución:
Ejercicio 2. Formalizar el siguiente argumento
Siempre que un número x es divisible por 10, acaba en 0. El número x no acaba en 0. Por lo tanto, x no es divisible por 10.
Usando los símbolos D: el número es divisible por 10 y C: el número acaba en cero.
Solución:
Ejercicio 3. Formalizar el siguiente argumento
Si la válvula está abierta o la monitorización está preparada, entonces se envía una señal de reconocimiento y un mensaje de funcionamiento al controlador del ordenador. Si se envía un mensaje de funcionamiento al controlador del ordenador o el sistema está en estado normal, entonces se aceptan las órdenes del operador. Por lo tanto, si la válvula está abierta, entonces se aceptan las órdenes del operador.
Usando los símbolos V: La válvula está abierta, P: La monitorización está preparada, R: Envía una señal de reconocimiento, F: Envía un mensaje de funcionamiento, A: Se aceptan órdenes del operador y N: El sistema está en estado normal.
Solución:
Ejercicio 4. Formalizar el siguiente argumento
Cuando tanto la temperatura como la presión atmosférica permanecen contantes, no llueve. La temperatura permanece constante. Por lo tanto, en caso de que llueva, la presión atmosférica no permanece constante.
Usando los símbolos T: La temperatura permanece constante, P: La presión atmosférica permanece constante y L: Llueve
Solución:
Ejercicio 5. Formalizar el siguiente argumento
En cierto experimento, cuando hemos empleado un fármaco A, el paciente ha mejorado considerablemente en el caso, y sólo en el caso, en que no se haya empleado también un fármaco B. Además, o se ha empleado el fármaco A o se ha empleado el fármaco B. En consecuencia, podemos afirmar que si no hemos empleado el fármaco B, el paciente ha mejorado considerablemente.
Usando los símbolos A: Hemos empleado el fármaco A, B: Hemos empleado el fármaco B y M: El paciente ha mejorado notablemente.
Solución: