Diferencia entre revisiones de «Relación 1»
De Lógica informática (2014-15)
(Página creada con '= Relación 1: Representación del conocimiento proposicional = {| |width="5%"|'''Ejercicio 1.''' Formalizar, y decidir la corrección, del siguiente argumento |- |> Si hay ...') |
(→Relación 1: Representación del conocimiento proposicional) |
||
| Línea 1: | Línea 1: | ||
| − | = Relación 1: Representación del conocimiento proposicional = | + | === Relación 1: Representación del conocimiento proposicional === |
| − | + | ---- | |
| − | + | '''Ejercicio 1.''' Formalizar, y decidir la corrección, del siguiente argumento | |
| − | + | <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. | |
| − | + | <blockquote> | |
| − | + | Usar C: hay corriente, F: la lámpara está fundida y E: la lámpara está encendida. | |
| − | + | ---- | |
'''Solución:''' | '''Solución:''' | ||
Revisión del 21:06 23 sep 2014
Relación 1: Representación del conocimiento proposicional
Ejercicio 1. Formalizar, y decidir la corrección, del 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 y E: la lámpara está encendida.
Solución: