Diferencia entre revisiones de «Relación 1»
De Lógica informática (2014-15)
| Línea 4: | Línea 4: | ||
'''Ejercicio 1.''' Formalizar el siguiente argumento | '''Ejercicio 1.''' Formalizar el siguiente argumento | ||
<blockquote> | <blockquote> | ||
| − | 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. | + | ''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.'' |
</blockquote> | </blockquote> | ||
Usando los simbolos C: hay corriente, F: la lámpara está fundida y E: la lámpara está encendida. | Usando los simbolos C: hay corriente, F: la lámpara está fundida y E: la lámpara está encendida. | ||
| Línea 14: | Línea 14: | ||
'''Ejercicio 2.''' Formalizar el siguiente argumento | '''Ejercicio 2.''' Formalizar el siguiente argumento | ||
<blockquote> | <blockquote> | ||
| − | 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. | + | ''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.'' |
</blockquote> | </blockquote> | ||
Usando los símbolos D: el número es divisible por 10 y C: el número acaba en cero. | Usando los símbolos D: el número es divisible por 10 y C: el número acaba en cero. | ||
| Línea 24: | Línea 24: | ||
'''Ejercicio 3.''' Formalizar el siguiente argumento | '''Ejercicio 3.''' Formalizar el siguiente argumento | ||
<blockquote> | <blockquote> | ||
| − | 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. | + | ''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.'' |
</blockquote> | </blockquote> | ||
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. | 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. | ||
| Línea 34: | Línea 34: | ||
'''Ejercicio 4.''' Formalizar el siguiente argumento | '''Ejercicio 4.''' Formalizar el siguiente argumento | ||
<blockquote> | <blockquote> | ||
| − | 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. | + | ''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.'' |
</blockquote> | </blockquote> | ||
Usando los símbolos T: La temperatura permanece constante, P: La presión atmosférica permanece constante y L: Llueve | Usando los símbolos T: La temperatura permanece constante, P: La presión atmosférica permanece constante y L: Llueve | ||
| Línea 44: | Línea 44: | ||
'''Ejercicio 5.''' Formalizar el siguiente argumento | '''Ejercicio 5.''' Formalizar el siguiente argumento | ||
<blockquote> | <blockquote> | ||
| − | 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. | + | ''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.'' |
</blockquote> | </blockquote> | ||
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. | 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. | ||
Revisión del 22:00 23 sep 2014
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: