Diferencia entre revisiones de «R4»
De Lógica informática (2014-15)
(Página creada con '=== Relación 4: Temas 1 y 2 === ---- '''Ejercicio 1.''' Juan está matriculado en tres asignaturas: Álgebra, Lógica y Dibujo. Juan comenta lo siguiente: <blockquote> Me gus...') |
m (Protegió «R4» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) |
||
| (No se muestran 2 ediciones intermedias del mismo usuario) | |||
| Línea 6: | Línea 6: | ||
Me gusta al menos una de las tres asignaturas. Si me gustase el Álgebra pero no el Dibujo, me gustaría la Lógica. O me gusta el Dibujo y la Lógica, o bien ninguna de las dos. Si me gustase el Dibujo, entonces me gustaría el Álgebra. | Me gusta al menos una de las tres asignaturas. Si me gustase el Álgebra pero no el Dibujo, me gustaría la Lógica. O me gusta el Dibujo y la Lógica, o bien ninguna de las dos. Si me gustase el Dibujo, entonces me gustaría el Álgebra. | ||
</blockquote> | </blockquote> | ||
| − | + | Formalizar los comentarios de Juan, usando la inicial de cada asignatura para representar que a Juan le gusta dicha asignatura. Decidir si los comentarios son consistentes y, en su caso, calcular sus modelos. ¿Qué asignaturas le gustan a Juan? | |
| − | representar que a Juan le gusta dicha asignatura. | ||
| − | |||
| − | |||
---- | ---- | ||
Revisión actual del 12:13 14 oct 2014
Relación 4: Temas 1 y 2
Ejercicio 1. Juan está matriculado en tres asignaturas: Álgebra, Lógica y Dibujo. Juan comenta lo siguiente:
Me gusta al menos una de las tres asignaturas. Si me gustase el Álgebra pero no el Dibujo, me gustaría la Lógica. O me gusta el Dibujo y la Lógica, o bien ninguna de las dos. Si me gustase el Dibujo, entonces me gustaría el Álgebra.
Formalizar los comentarios de Juan, usando la inicial de cada asignatura para representar que a Juan le gusta dicha asignatura. Decidir si los comentarios son consistentes y, en su caso, calcular sus modelos. ¿Qué asignaturas le gustan a Juan?
Solución:
Ejercicio 2. Demostrar o refutar la siguiente afirmación: "F es satisfacible si y sólo si toda consecuencia lógica de F es satisfacible."
Solución:
Ejercicio 3. Demostrar mediante deducción natural:
- ¬(p ∧ ¬ q) ⊧ p → q
Solución:
Ejercicio 4. Demostrar mediante deducción natural:
- (p ∨ q) ∧ (q → r) ⊧ p ∨ r.
Solución:
Ejercicio 5. Demostrar mediante deducción natural:
- ⊧ (¬ q → ¬ p) ∨ (q → p)