Diferencia entre revisiones de «Relación 1»
De Lógica informática (2014-15)
(→Relación 1: Representación del conocimiento proposicional) |
|||
| Línea 2: | Línea 2: | ||
---- | ---- | ||
| − | '''Ejercicio 1.''' Formalizar | + | '''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. | ||
| Línea 10: | Línea 10: | ||
: F: la lámpara está fundida | : F: la lámpara está fundida | ||
: E: la lámpara está encendida. | : E: la lámpara está encendida. | ||
| + | ---- | ||
| + | |||
| + | '''Solución:''' | ||
| + | |||
| + | ---- | ||
| + | '''Ejercicio 2.''' Formalizar el siguiente argumento | ||
| + | <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. | ||
| + | </blockquote> | ||
| + | Usar | ||
| + | : D: el número es divisible por 10. | ||
| + | : C: el número acaba en cero. | ||
| + | ---- | ||
| + | |||
| + | '''Solución:''' | ||
| + | |||
| + | ---- | ||
| + | Ejercicio 3. Formalizar el siguiente argumento | ||
| + | <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. | ||
| + | </blockquote> | ||
| + | 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:''' | '''Solución:''' | ||
Revisión del 21:38 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: