Segundo Parcial Flashcards
es inconsistente el conjunto de flas
Γ: {A1, …, An}
o si es Γ insatisfactible,
o si Γ carece de modelos
test: se construye un árbol con origen en
las flas de Γ, valuadas como V
es inconsistente el conjunto de flas
Γ: {A1, …, An}
o si es Γ insatisfactible,
o si Γ carece de modelos
El árbol queda: abierto
Resultados posibles y Justificación
El conjunto de flas Γ es consistente.
Hay al menos una interpretación que hace verdaderas a todas las fórmulas de Γ, es decir, Γ tiene al menos un modelo
es inconsistente el conjunto de flas
Γ: {A1, …, An}
o si es Γ insatisfactible,
o si Γ carece de modelos
El árbol queda: cerrado
Resultados posibles y Justificación
El conjunto de flas Γ es inconsistente.
No hay interpretación posible que haga verdaderas a todas las fórmulas de Γ, es decir, Γ carece de modelos
Caso particular:
Γ:{A}
test: se construye un árbol con origen en:
la fla A valuada como V
Caso particular:
Γ:{A}
El árbol queda: abierto
Resultados posibles y Justificación
La fla A es consistente, no es lógicamente falsa.
Hay al menos una interpretación que hace verdadera A, es decir, A tiene al menos un modelo.
Caso particular:
Γ:{A}
El árbol queda: cerrado
Resultados posibles y Justificación
La fla A es inconsistente, es lógicamente falsa.
No hay interpretación posible que haga verdadera A, es decir, A carece de modelos
es lógicamente verdadera la fla A,
o si A es un teorema.
test: se construye un árbol con origen en
la fla A valuada como F.
es lógicamente verdadera la fla A,
o si A es un teorema.
El árbol queda: abierto
Resultados posibles y Justificación
La fla A no es lógicamente verdadera.
Hay al menos una interpretación que hace falsa A.
es lógicamente verdadera la fla A,
o si A es un teorema.
El árbol queda: cerrado
Resultados posibles y Justificación
La fla A es lógicamente verdadera.
No hay interpretación posible que haga falsa a A, es decir, toda interpretación de A es modelo de A.
es válida la estructura de razonamiento (P1, …, Pn) |−C,
o si C se deduce de (P1, …, Pn)
o si (P1, …, Pn) implica lógicamente a C, o si C es consecuencia
lógica de (P1,.. ,Pn)
test: se construye un árbol con origen en
cada una de las fórmulas (P1, …, Pn) valuadas como V y la fla C valuada como F.
es válida la estructura de razonamiento (P1, …, Pn) |−C,
o si C se deduce de (P1, …, Pn)
o si (P1, …, Pn) implica lógicamente a C, o si C es consecuencia
lógica de (P1,.. ,Pn)
El árbol queda: abierto
Resultados posibles y Justificación
es inválida la estructura de razonamiento (P1, …, Pn) |−C, C no se deduce de (P1, …, Pn) (P1, …, Pn) no implica lógicamente C, C no es consecuencia lógica de (P1,..,Pn)
Hay al menos una interpretación que hace verdadera a cada una de las flas (P1, …, Pn) y falsa a la fla C, es
decir, la estructura de razonamiento (P1, …, Pn) |−C, tiene al menos un contraejemplo, así que C no es consecuencia lógica de (P1, …, Pn)
es válida la estructura de razonamiento (P1, …, Pn) |−C,
o si C se deduce de (P1, …, Pn)
o si (P1, …, Pn) implica lógicamente a C, o si C es consecuencia
lógica de (P1,.. ,Pn)
El árbol queda: cerrado
Resultados posibles y Justificación
es válida la estructura de razonamiento (P1, …, Pn) |−C, C se deduce de (P1, …, Pn), (P1, …, Pn) implica lógicamente a C, C es consecuencia lógica de (P1, …, Pn)
No hay interpretación posible que haga verdadera a cada una de las flas (P1, …, Pn) y falsa a C, es decir,
la estructura de razonamiento (P1, …, Pn) |−C, carece de contraejemplos, así que C es consecuencia lógica de (P1, …, Pn)
