Diferencia entre revisiones de «Relación 1»
De Lógica informática (2014-15)
| Línea 26: | Línea 26: | ||
'''Solución:''' | '''Solución:''' | ||
| − | ---- | + | ----- |
'''Ejercicio 3.''' Formalizar el siguiente argumento | '''Ejercicio 3.''' Formalizar el siguiente argumento | ||
<blockquote> | <blockquote> | ||
| Línea 38: | Línea 38: | ||
: N : El sistema está en estado normal. | : N : El sistema está en estado normal. | ||
: A : Se aceptan órdenes del operador. | : A : Se aceptan órdenes del operador. | ||
| − | ---- | + | ----- |
'''Solución:''' | '''Solución:''' | ||
Revisión del 21:45 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.
Usar
- C: hay corriente,
- F: la lámpara está fundida
- 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.
Usar
- D: el número es divisible por 10.
- 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.
Usar
- 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.
- N : El sistema está en estado normal.
- A : Se aceptan órdenes del operador.
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.
Usar
- 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.
Usar
- A: Hemos empleado el fármaco A.
- B: Hemos empleado el fármaco B.
- M: El paciente ha mejorado notablemente.
Solución: