UTNianos

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!