Relación 1
De Lógica informática (2014-15)
Revisión del 21:07 23 sep 2014 de Jalonso (discusión | contribuciones)
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: