Donar $20 Donar $50 Donar $100 Donar mensualmente
 


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
Duda sobre Consecuencia Logica
Autor Mensaje
rusoloco Sin conexión
Empleado del buffet
Sin estado :(
*

Ing. en Sistemas
Facultad Regional Santa Fe

Mensajes: 4
Agradecimientos dados: 4
Agradecimientos: 0 en 0 posts
Registro en: Jun 2015
Mensaje: #1
Duda sobre Consecuencia Logica Dudas y recomendaciones Paradigmas de Programación
Hola, en Paradigma Lógico tengo dudas y no comprendo bien el concepto de cuando una Consulta es Consecuencia Lógica de un programa. Por ejemplo alguien me puede explicar porque estos ejercicios dan esos resultados...

Ejercicio 7:
Sea el programa lógico Σ:

P ∨ Q.
(P ∧ Q) → R.

_ Q es consecuencia lógica de Σ
_ R es consecuencia lógica de Σ
_ Todas las interpretaciones de Σ son modelos de Σ
_ Existe solamente una interpretación que satisface Σ
X Ninguna de las anteriores

Ejercicio 4:
Sea el programa lógico Σ:

P ∧ Q.
(P ∨ Q) → R.

_ Σ no tiene modelos
_ Todas las interpretaciones de Σ son modelos de Σ
X R es consecuencia lógica de Σ
_ ¬Q es consecuencia lógica de Σ
_ Ninguna de las anteriores

Muchas gracias. Saludos!
09-11-2015 08:49
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Buscar en el tema
Enviar respuesta 




Usuario(s) navegando en este tema: 1 invitado(s)



    This forum uses Lukasz Tkacz MyBB addons.