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 ...') |
(Sin diferencias)
|
Revisión del 21:04 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: