TEST LÓGICA

• ENUNCIADOS Y ARGUMENTOS
- Los enunciados que sólo son verdaderos para el mundo actual (o alguno de los
posibles) son denominados enunciados sintéticos.
- La caracterización de analiticidad en términos de posibilidad habitualmente se
atribuye a Leibniz.
• Interrogativos
• Imperativos
• Declarativos: atribución de propiedades
Ej: El verano es caluroso, Luis es alto, los pirineos están entre España y Francia.
• Un enunciado es analítico si y solamente no puede ser falso.
- Tienen la ventaja de que siempre están bien motivadas.
- Los enunciados analíticos son verdaderos en todo mundo posible.
• Un argumento es correcto si no es posible que sus premisas sean verdaderas y su
conclusión falsa.
- Está conectado con el de enunciado analítico.
• Enunciado: Se define como una expresión lingüística que establece un
pensamiento completo.
• Enunciados sintéticos: Son verdaderos en virtud de un hecho del mundo.
• En un argumento válido se dice que la conclusión está en la relación de
consecuencia lógica con su conjunto de premisas.
• La corrección de un argumento se formula en términos de: posibilidad y verdad.
• Un enunciado que expresa una condición necesaria, formalmente: sucede al
antecedente de un condicional.
• LOGICA (SISTEMAS)
- La lógica trata sobre el estudio de las leyes del razonamiento pero no desde
una perspectiva sicológica.
- La lógica puede presentarse a dos niveles de formalización: proposicional o
predicados.
• Lógica proposicional: Enunciados declarativos simples o proposiciones pueden ser
combinados por conectores.
• Lógica de predicados: términos, formulas atómicas, cuantificadores y conectores.
• La lógica puede dividirse en sintaxis y la semántica: la sintaxis es el estudio de
sistemas formales y la semántica es la asignación y las propiedades asociadas a
ellos.
- Puede haber sistemas que no sean simultáneamente consistentes y completos.
• Un sistema formal es correcto si toda fórmula demostrable mediante el cálculo
deductivo es válida según la noción de verdad en la semántica.
• Un sistema de deducción natural: Tiene dos clases de reglas las de indiferencia y
las de construcción de una deducción.
• Equivalencia lógica:
 - Dadas dos formas enunciativas A y B se dice que A y B son lógicamente
equivalentes, denotado A<->B, si y sólo para toda valoración v, v(A) = v(B).
- A es lógicamente equivalente a B si y solo si A<->B es una tautología.
- A y B son demostrablemente equivalentes si y sólo si son lógicamente
equivalentes.
• Dadas dos formas enunciativas A y B: La disyunción exclusiva de A y B supone la
no equivalencia de A y B.
• Un conjunto es decidible: cuando existe un procedimiento mecánico para
determinar cuáles son los elementos que le pertenecen y cuáles no.
• Sistema deducción de Gentzen: los supuestos provisionales o subsidiarios pueden
introducirse en cualquier punto de una deducción y deben cancelarse antes de
concluir la deducción
- Contiene reglas de inferencia y de construcción de una deducción.
- Contiene 8 reglas de inferencia básicas.
• Las reglas básicas de inferencia de un sistema de deducción natural están en el
plano: del metalenguaje.
• Tautologías:
- Si A y A->B son tautologías, entonces B es una tautología.
- Si en una tautología se sustituye una variable enunciativa por cualquier forma
enunciativa, el resultado sigue siendo una tautología.
- La regla de modus ponens transmite la tautologicidad.
• CONSECUENCIA LÓGICA
Dado el conjunto de formas enunciativas T = {A1, A2,…} y la forma enunciativa A. A
es una consecuencia lógica del conjunto T si y solo si, para toda valoración v, tal
que v(Ai) = V, para cada Ai € T, entonces v(A) = V.
• Caracterización de la consistencia: Sea T un conjunto de fbf´s de L, se dice que T es
consistente si y sólo si no existe una fbf A de L tal que T ͰL A y T ͰL no A.
• Caracterización de la inconsistencia: Sean A y B fbf’s de L y T un conjunto de fbf’s
de L T es inconsistente si y sólo si existe una fbf A de L tal que T ͰL A y T ͰL no A.
• Sistemas formales de la lógica proposional:
- El sistema es completo todo teorema es verdadero.
- El sistema es correcto si toda fórmula verdadera es teorema.
- el sistema L es decidible que significa que es posible saber si una forma
enunciativa A es un teorema.
• Tautología: Es un enunciado analítico y tienen la propiedad de la sustituibilidad.
Constituyen un conjunto de enunciados que es decidible.
• Fórmula valida: Demostrable.
• Consecuencia lógica: Deducible.
• Un cálculo deductivo formaliza una visión sintáctica de la lógica.
• Sistema Formal L: No es posible deducir en el A y no A.
• Designadores en lógica de predicados: Constantes, variables, functores y relatores.
Los nombres propios son designadores.
• Un término del lenguaje L de la lógica de predicados se puede entender como: Un
designador.
• Expresión bien formada del lenguaje L: f(h(x),b)
• Indique cual de las siguientes expresiones es un término de L: f(g(y, h(x, a)).
• Una interpretación en L define: Un dominio y una aplicación que asigna significado
a todos los símbolos peculiares del formalismo.
• El teorema de la deducción(versión semántica): establece la equivalencia entre la
validez de una fórmula, que es implicación formada por la conjunción de las
premisas y la conclusión y la relación del de consecuencia lógica entre la conclusión
y las premisas.
• Teorema de deducción(predicados): tiene una condición que lo debilita que se
refiere al uso del generalizador, aunque el recíproco del teorema no necesita dicha
condición.
• Teorema de la completitud: Si una fbf es lógicamente válida entonces es teorema.
Sea A una fbf de L, si A es una tautología entonces ͰL A.
• Teorema de la deducción(versión sintáctica): permite relacionar los conceptos de
deducción y de demostración. Para probar una implicación, basta con suponer el
antecedente y dar pasos de inferencia hasta obtener el consecuente.
• Teorema de la corrección: Sea A una fbf de L, si ⊢L A, entonces A es una
tautología. Los teoremas de la corrección y completitud confirman la equivalencia
entre el concepto semántico de validez y el sintáctico de demostración.
• El teorema de intercambio, desde el punto de vista práctico, puede entenderse
como una regla de inferencia que permite: Sustituir fórmulas semánticamente
iguales en el contexto de una expresión.
• Una fbf A, A es lógicamente válida si y sólo si: para toda interpretación I toda
valoración V en I, se cumple que v satisface A.
• Una fbf A es satisfecha por una valoración v en I si y solo si: A se evalúa al valor de
verdad V para la valoración v en I.
• Una fbf A es verdadera en I si y solo si: A es satisfecha por todas las posibles
valoraciones v en I.
• Un sistema formal para lógica de predicados define: una sintaxis, con un
vocabulario y reglas precisas para la construcción de expresiones bien formadas y
un cálculo deductivo.
• Un sistema forma es correcto si: Toda fórmula demostrable mediante el cálculo
deductivo es val
• El sistema formal o axiomático KL se caracteriza:
- Vocabulario
- Términos y fórmulas
- Definiciones
- Axiomas
- Reglas de inferencia: Modus Ponens, generalización.
- Es indecidible en general aunque hay casos en lo que es decidible.
- Es indecible, cuando se emplean todos los símbolos de L.
 - Todos los casos particulares de los esquemas de axiomas de KL son
fórmulas lógicamente verdaderas.
- KL es consistente y completo.
• Deducción: Sea T un conjunto fbf’s de KL. Una sucesión finita A1, A2, A3….An de
fbf’s de L, es una deducción a partir de T si para todo i €{1,2,3..n} se cumple
• Silogismo Hipotético (SH): Sean A, B y C fbf’s de L. {(A->B), (B->C)} ͰKL (A->C).
• Teorema de la corrección para KL: Sea A una fbf de L. SI Ͱ KL A entonces Ͱ A.
• ͰL -> Metasímbolo de L.
• Teoría de modelos: Abordar la semántica de un sistema lógico.
• Conectivas:
- No adecuado: {->, v}
- Adecuado: {no, ->}, {↓}, {no, ^, v}, {no, ^}, {|}.
• Sobre los conjuntos adecuados de conectivas puede afirmarse que:
Son conjuntos para los que toda función veritativa puede representarse por medio
de una forma enunciativa en la que sólo intervienen conectivas de ese conjunto.
• Lógica de predicados:
- En cualquier cirscuntancia, T ͰB si y sólo si Ͱ (A1 ^A2……^An) -> B.
- En cualquier circunstancia, T Ͱ B si y sólo si T U {no B} es insatisfacible.
- En cualquier circunstancia, T Ͱ KL B si y sólo si no se cumple que Ͱ KL (A1 ^ A2…
^ An ^ no B), donde A y B son fbfs de L y T = {A1,…,An} un conjunto de fbfs de L.
- Es correcta, completa, consistente e indecidible.
• L:
- Todos los casos particulares de los esquemas de axioma de L son fórmulas
lógicamente verdaderas.
- Si A es una tautología de L entonces es teorema de L.
- En general, en el sistema L, el teorema de la deducción se aplica sin
restricciones.
• Corrección sistema formal (lógica predicados): Todo teorema del sistema es una
fórmula lógicamente verdadera.
• Sistema deducción natural del calcula de predicados:
- Contiene dos pares de reglas básicas para tratar los símbolos propios de la
lógica de predicados.
- Contiene reglas de introducción de los cuantificadores.
- Contiene reglas de eliminación de los cuantificadores.
• Lenguajes de primer orden depende:
- Solamente de los símbolos peculiares que se definan.
- Son indecidibles.
• Variable libre: se produce cuando no aparece en el ámbito de acción de un
cuantificador, i..e, no está ligada, no aparece en el radio de acción de un
cuantificador que la cuantifica.
• Una variable está ligada cuando: aparece libre en el radio de acción de un
cuantificador que la cuantifica.
• Modelo de fórmula A: es una interpretación bajo la cual A es verdadera.
• Lenguaje de segundo orden alude a la posibilidad de cuantificar relatores.
• La regla de indiferencia de introducción del generalizador: se corresponde con el
denominado método de generalización universal.
• Formula cerrada A:
- A es insatisfacción sí A es una contradicción
- A es válida sí y solo sí no A es insatisfacible
- A es una consecuencia lógica de un conjunto de fbfs {A1, A2, …,An} si y solo
(no(A1^A2^….^An) v A) es valida.
• El concepto de evaluación de una fórmula permite generalizar el concepto de
equivalencia lógica de la lógica proposiciones a la lógica de predicados.
• En la lógica de predicados existe una equivalencia entre el concepto de teorema y
el concepto de: verdad lógica.
• Indiquese cual es cierta en la lógica de predicados: Existe un resultado que
demuestra la equivalencia entre los conceptos de deducibilidad y de consecuencia
lógica.
• Dada una interpretación I y una fbf cerrada A:
- I será modelo de la fbf A sí y solo si para toda valoración v en I que satisfaga
A.
- A será falsa en y si y solo si no existe valoración v en I que satisfaga A.
- A será satisfacible en I si y solo si existe una valoración v en I que satisface
A.

- A es lógicamente válida sí y solo sí para toda interpretación I, A es

verdadera en I.
- Siendo T un conjunto de fbfs cerradas de L, T es válido si y solo sí para toda
interpretación I es modelo T.
- Siendo T un conjunto de fbfs cerradas de L, A es consecuencia lógica T sí
solos y para toda interpretación I de L, si I es modelo de T entonces I es
modelo de A.
• Indica cuál de las siguientes expresiones del lenguaje de la lógica de predicados L
es una fbf abierta: (Ex1)(R^2(x2, h(c))vQ(x1)).
• Lógica de proposiciones: los enunciados contingentes constituyen un conjunto
decidible.
• Regla modusponens: transmite la tautologicidad, ya que sí A y A->B son
tautologías, su consecuencia, B, también lo será.
• Un argumento es correcto si y solamente si: no es posible que sus premisas sean
verdaderas su conclusión falsa. Si su conclusión se sigue o es consecuencia de sus
premisas.
Λx -> generalizador
Vx -> Particularizador
• Ley de intercambio: Cambiar una parte de una formula por otra lógicamente
equivalente.
• Una sustitución: Es una aplicación que asigna a cada variable, un término.
• Sea Λ un conjuntor de fbf de L. Se dice que Λ es consistente si: existe una fbf A de
L que no puede ser deducida a partir de Λ.
• El sistema formal de L es decidible: Es posible saber si una forma enunciativa A es
un teorema.
• Una atribución veritativa: Una aplicación alfa: {p1, p2, p3, …., pn} -> {V, F}, donde
{p1, p2,…,pn} es el conjunto de las variables enunciativas de una forma enunciativa
A.
- Dada una atribución veritativa alfa y una forma enunciativa condicional A->
B, Valfa(A->B) = V si y solamente si v(A) = V o Valfa(B) = F.
• En la lógica de proposiciones, dada una atribución veritativa, una valoración es:
Una función cuyo dominio es el conjunto de las formas enunciativas y cuyo rango
es el conjunto {V,F}.
• Sea Λ un conjunto de fórmulas cerradas de un lenguaje L sé que Λ es satisfascible:
Si L tiene una interpretación que es modelo de Λ.
• Sea Λ un conjunto de fbf de L. Se dice que Λ es consistente si: Existe una fbf A de L
que no puede ser deducida a partir de Λ.
• La forma clausal de p->(q<->r) es: {(no p v no q v r), (no p v no r v q)}.
• En el contexto de la lógica el enunciado “No aprobaré la asignatura de lógica a
menos que estudie” donde r es “estudio” y s “aprobaré la asignatura de lógica”
como: s->r
• El enunciado ganaré la carrera a menos que me caiga donde r es “me caigo” y s
“ganaré la carrera” se podría formalizar como: no s -> r
• Clausula: Aparecen con solo v -> p v q v r
• Una cláusula es: Una disyunción de literales cuantificados universalmente.
• Forma normal disjuntiva: p v (no q ^ s) v (q ^ no r).
• El principio de resolución de Robinson se utiliza en combinación con una
estrategia de prueba por: Reducción al absurdo.
• Relativo al principio de resolución:
- Se utiliza en el contexto de un método de prueba por refutación.
- Las cláusulas resueltas deben poseer literales complementarios para dar un
paso de resolución.
- El resolvente es consecuencia lógica de las cláusulas resueltas.
• Forma normal conjuntiva: p ^(no q v s) ^(q v no r)
• Los dominios de interpretación infinitos: Dificultan el mecanismo de decidibilidad
de la lógica de predicados.
• El grado de una forma enunciativa es: una aplicación del conjunto de formas
enunciativas al conjunto de los números naturales, que computa el número de
conectivas de la forma enunciativa.
• Sean A y B fbf`s de L y T un conjunto de fbf’s de L (que puede ser vacio):
T es inconsistente si y sólo si T Ͱ KL (B ^ no B).
• Sea A = (p v q -> r) <->(no r -> no p ^ no q). Se cumple que: A es una tautología.
• Dada la interpretación I = (DI, J) donde DI = IN (esto es, el dominio de los
naturales) y J es la función de interpretación que asigna: J(a) = 2; J(f) = suc, la
función sucesos en IN, definida como suc(n) = n+1; J(g) = +; J(h)=x; J(P) = Par,
donde Par(n) = V si n es par, F en otro caso; y J(R) = =, donde = es la relación
identidad. Indicad para cual de las siguientes fórmulas es modelo I:
(Ex)R(a,f(x)).
• Dada la interpretación I = (DI, {\cal J}) donde DI = IN y J es la función de
interpretación que asigna: J(a) = 0; J(b) = 2; J(f) = suc, la función sucesora en el
dominio de los naturales, definida como suc(n) = n+1; J(g) = +; J(h)=x; J(P) = Par,
donde Par(n) = V si n es par, F en otro caso; y J(R) = =, donde = es la relación
identidad. Indicad para cuál de las siguientes fórmulas es modelo I:
(Ax)(Ey)[R(y,g(h(b,x),f(a))) -> no P(y)].

• Dada la interpretación I = (DI, J) donde DI = IN (esto es, el dominio de los

naturales) y J es la función de interpretación que asigna: J(a) = 2; J(f) = suc, la
función sucesos en IN, definida como suc(n) = n+1; J(g) = +; J(h)=x; J(P) = Par,
donde Par(n) = V si n es par, F en otro caso; y J(R) = =, donde = es la relación
identidad. Indicad para cuál de las siguientes fórmulas es modelo I:
(Ax)(Ay)R(h(x,y),h(y,x)).
• Indicad cuál es el resultado de aplicar la sustitución {x/y, y/x, w/z, z/x} a la
expresión E = P(x, y, f(w)): P(y,x,f(z)).
• Indíquese el enunciado que no está en relación con el resto: {A}|= B.
• Una forma argumentativa A1, A2,…., An Λ A es inválida si: Si existe una atribución
veritativa que A1, A2, …, An toman valor V y A toma el valor F.
• Dada la interpretación I = (Di, J), donde Di = {1,2} y J es la función de
interpretación que asigna: J(a) = 1, J(f) = f, J(P) = P y J(Q) = Q. Siendo:
I es modelo de la fbf (Ey)(Ax) no Q(y,f(x)).
• Dada la interpretación I = (Di, {\cal J), donde Di = {1,2} y J es la función de
interpretación que asigna: J(a) = 1, J(f) = f, J(P) = P y J(Q) = Q, siendo:
La valoración v en I, tal que v(x) = 1, satisface la fbf (Ex)P(f(x)).
• En el cálculo de predicados puede afirmarse sobre las fbfs que: La ocurrencia de
una variable es libre, si su aparición no es ligada.