https://www.glc.us.es/~jalonso/ejerciciosLI2014/api.php?action=feedcontributions&feedformat=atom&user=JuaoliaguLógica informática (2014-15) - Contribuciones del usuario [es]2026-07-23T10:41:25ZContribuciones del usuarioMediaWiki 1.31.0https://www.glc.us.es/~jalonso/ejerciciosLI2014/index.php?title=Relaci%C3%B3n_1&diff=33Relación 12014-09-24T11:50:58Z<p>Juaoliagu: </p>
<hr />
<div>=== Relación 1: Representación del conocimiento proposicional ===<br />
<br />
----<br />
'''Ejercicio 1.''' Formalizar el siguiente argumento <br />
<blockquote><br />
''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.''<br />
</blockquote> <br />
Usando los símbolos D: el número es divisible por 10 y C: el número acaba en cero.<br />
----<br />
<br />
'''Solución:''' <br />
<br />
----<br />
'''Ejercicio 2.''' Formalizar el siguiente argumento <br />
<blockquote><br />
''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.'' <br />
</blockquote><br />
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.<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 3.''' Formalizar el siguiente argumento <br />
<blockquote><br />
''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.'' <br />
</blockquote><br />
Usando los símbolos T: La temperatura permanece constante, P: La presión atmosférica permanece constante y L: Llueve<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 4.''' Formalizar el siguiente argumento <br />
<blockquote><br />
''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.'' <br />
</blockquote><br />
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.<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 5.''' Definir por recursión sobre fórmulas las siguientes funciones<br />
<br />
* nv(F) que calcula el número variables proposicionales que ocurren en la fórmula F. Por ejemplo,<br />
: nv(p → p ∨ q) = 3.<br />
* prof(F) que calcula la profundidad del árbol de análisis de la fórmula F. Por ejemplo,<br />
: prof(p → p ∨ q) = 2.<br />
<br />
Demostrar por inducción, que para toda fórmula F,<br />
: nv(F) ≤ 2^prof(F)<br />
----<br />
<br />
'''Solución:'''</div>Juaoliaguhttps://www.glc.us.es/~jalonso/ejerciciosLI2014/index.php?title=Relaci%C3%B3n_1&diff=32Relación 12014-09-24T11:50:25Z<p>Juaoliagu: </p>
<hr />
<div>=== Relación 1: Representación del conocimiento proposicional ===<br />
<br />
----<br />
'''Ejercicio 1.''' Formalizar el siguiente argumento <br />
<blockquote><br />
''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.''<br />
</blockquote> <br />
Usando los símbolos D: el número es divisible por 10 y C: el número acaba en cero.<br />
----<br />
<br />
'''Solución:''' Juan<br />
<br />
----<br />
'''Ejercicio 2.''' Formalizar el siguiente argumento <br />
<blockquote><br />
''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.'' <br />
</blockquote><br />
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.<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 3.''' Formalizar el siguiente argumento <br />
<blockquote><br />
''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.'' <br />
</blockquote><br />
Usando los símbolos T: La temperatura permanece constante, P: La presión atmosférica permanece constante y L: Llueve<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 4.''' Formalizar el siguiente argumento <br />
<blockquote><br />
''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.'' <br />
</blockquote><br />
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.<br />
----<br />
<br />
'''Solución:'''<br />
<br />
----<br />
'''Ejercicio 5.''' Definir por recursión sobre fórmulas las siguientes funciones<br />
<br />
* nv(F) que calcula el número variables proposicionales que ocurren en la fórmula F. Por ejemplo,<br />
: nv(p → p ∨ q) = 3.<br />
* prof(F) que calcula la profundidad del árbol de análisis de la fórmula F. Por ejemplo,<br />
: prof(p → p ∨ q) = 2.<br />
<br />
Demostrar por inducción, que para toda fórmula F,<br />
: nv(F) ≤ 2^prof(F)<br />
----<br />
<br />
'''Solución:'''</div>Juaoliagu