Diferencia entre revisiones de «Relación 1»
De Lógica informática (2014-15)
(→Relación 1: Representación del conocimiento proposicional) |
|||
| Línea 6: | Línea 6: | ||
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. | ||
</blockquote> | </blockquote> | ||
| − | Usar C: hay corriente, F: la lámpara está fundida | + | Usar |
| + | : C: hay corriente, | ||
| + | : F: la lámpara está fundida | ||
| + | : E: la lámpara está encendida. | ||
---- | ---- | ||
'''Solución:''' | '''Solución:''' | ||
Revisión del 21:11 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
- E: la lámpara está encendida.
Solución: