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.
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: