Asignatura de Lógica: Prueba de Autocontrol 1.

Marcar con una cruz la respuesta correcta (sólo hay una por cuestión).

1. Indicar cuál de los siguientes es un enunciado declarativo:

tráeme la ropa cuanto antes mejor.
N Ay! qué lı́o más grande!.
La construcción del metro fue muy costosa.
Califragilistico espialidoso no es ası́.

2. Cuál de las siguientes afirmaciones es falsa?:

Un enunciado se define como una expresión lingı́stica que establece un pensamiento completo.
N
Un argumento es un sistema de enunciados, de un lenguaje determinado. Alguno de esos
enunciados puede expresar una orden o una conclusión.
Un argumento es correcto si su conclusión se sigue o es consecuencia de sus premisas.
Las definiciones analı́ticas tienen la ventaja de que siempre están bien motivadas.

3. Cuál
N de los siguientes enunciados es analitico?:
Si es una rosa, es una rosa.
Las estrellas lucen en el cielo.
La raı́z cuadrada de 2 es 3,1416.
Los leones cazan búfalos.

4. Determinar cuál de las siguientes afirmaciones, relativas al argumento ‘Si Juan es inteligente
aprueba; Juan es inteligente; Luego, aprueba’, cierta:
Es analitico.
N Es incorrecto.
Es sintético. Es válido.
5. Indicar cuál de las siguientes afirmaciones es cierta:
La lógica de predicados se ocupa de enunciados declarativos simples, que se contemplan como
un todo indivisible, y de los conectores que los unen.
Solamente existe una forma de establecer las relaciones de consecuencia lógica.
N Términos, fórmulas atómicas, cuantificadores y conectores forman parte de la semántica.
La lógica puede dividirse en dos partes bien diferenciadas: la sintaxis y la semántica.

6. Indicar cuál de las siguientes afirmaciones es falsa:

El condicional A → B es verdadero, siempre que no se de el caso de que el antecedente, A,
N sea verdadero y el consecuente, B, sea falso.
Un argumento es correcto si y sólo si cuando sus premisas son falsas su conclusión también lo
es.
La construcción “if-then”, utilizada en muchos lenguajes de programación, difiere del condi-
cional empleado en lógica.
La forma enunciativa p → q puede simbolizar un enunciado de la forma:“no p a menos que q”.

7. Sea A ≡ ((¬p → q) → (p → ¬q)). Se cumple que:

N
A es una contingencia. A es una tautologia.
A es una contradicción. Ninguna de las anteriores.
8. Sean las formas enunciativas A ≡ (p ∧ q ↔ p) y B ≡ ((p → q) ∧ (p → r)), y la atribución veritativa
α tal que α(p) = V , α(q) = F y α(r) = V . Se cumple que:
ϑ(A) = V y ϑ(B) = V .
N ϑ(A) = V y ϑ(B) = F .
ϑ(A) = F y ϑ(B) = V . ϑ(A) = F y ϑ(B) = F .
9. ¿Cuál de estas afirmaciones es la correcta?
La barra de Sheffer expresa la negación de la disyunción.
N
La barra de Peirce expresa la negación de la disyunción.
La barra de Peirce expresa la incompatibilidad de sus componentes.
La barra de Peirce sólo es verdadera cuando sus dos componentes son verdaderos.

1
10. Indicar cuál de las siguientes afirmaciones, relativas a dos formas enunciativas A y B, es falsa:
son demostrablemente equivalentes si y sólo si A ⇔ B.
son demostrablemente equivalentes si y sólo si `L A ↔ B.
N son demostrablemente equivalentes si y sólo si `L A → B y `L B → A.
Todas las anteriores afirmaciones son incorrectas.

11. Un
N sistema formal es correcto si:
toda fórmula demostrable mediente el cálculo deductivo es válida según la noción de verdad
en la semántica.
toda fórmula semánticamente válida es demostrable mediante el cálculo deductivo.
existe un procedimiento finito para decidir si una fórmula es o no válida.
su método de cálculo es el de la lógica de predicados de primer orden.

12. En un sistema formal:

la consistencia está asegurada;
es consistente si se puede deducir cualquier fbf a partir de un conjunto Γ de fbf;

N la consistencia se asegura mediante el método de las tablas de verdad;
Ninguna de las anteriores.

13. Un sistema de deducción natural:

Tiene sólo reglas de inferencia.
N
Tiene dos clases de reglas: las de inferencia y las de construcción de una deducción.
Tiene una única clase de reglas.
Sólo tiene una reglas de introducción y eliminación de conectivas.

14. Relativo al sistema de deducción natural de Gentzen, indicar cuál de las siguientes afirmaciones
es correcta:
Una fbf se considera probada si aparece en la última lı́nea de una deducción.
Una prueba condicional consiste en probar que el consecuente del condicional es un enunciado
N verdadero.
Los supuestos provisionales o subsidiarios pueden introducirse en cualquier punto de una
deducción y deben cancelarse antes de concluir la deducción.
Ninguna de las anteriores.

15. Relativo al sistema de deducción natural de Gentzen, indicar cuál de las siguientes afirmaciones
es correcta:
La regla de inferencia denominada “teorema de la deducción” propicia la eliminación del
condicional.
Una prueba por casos permite partir de cualquiera de los casos y dar pasos de inferencia hasta
N encontrar la conclusión.
Los supuestos provisionales o subsidiarios pueden utilizarse en una deducción siempre que no
estén cancelados.
Las lı́neas marcadas después de una cancelación pueden utilizarse en ciertos casos.