Abrir menú principal

Lógica proposicional/Cuarta evaluación parcial

< Lógica proposicional

1

En las deducciones directas todas las proposiciones generadas a partir de las premisas deben ser fórmulas bien formadas.

Verdadero.
Falso.

2

¿Cuál de las siguientes afirmaciones sobre las deducciones condicionales es correcta?

Inician asumiendo el antecedente de una implicación.
Inician asumiendo la negación de la conclusión.
Permiten determinar el valor de verdad de las proposiciones atómicas.
Todas las anteriores.

3

¿Cuál de los siguientes métodos de deducción también se conoce como reductio ad absurdum?

Deducción directa.
Deducción condicional.
Deducción indirecta.
Ninguno de los anteriores.

4

¿Cuál de los siguientes elementos no es parte de una deducción directa?

Conclusión.
Premisas.
Proposiciones derivadas.
Suposición.

5

Las deducciones condicionales no requieren analizar el caso en que el antecedente de la implicación es falso.

Verdadero.
Falso.

6

¿Cuál de las siguientes opciones es una meta de una deducción indirecta?

Alcanzar una contradicción.
Derivar el consecuente de una implicación a partir de su antecedente.
Identificar los valores de verdad de todas las proposiciones atómicas.
Todas las anteriores.

7

La deducción natural permite determinar si una conclusión es consecuencia lógica de las premisas.

Verdadero.
Falso.

8

¿Cuál de las siguientes afirmaciones sobre las deducciones condicionales no es correcta?

Los pasos intermedios no pueden ser usados fuera del contexto de la deducción condicional.
La suposición que inicia la deducción condicional no se puede usar fuera del contexto de la subdeducción.
Las deducciones condicionales no se pueden anidar.
Las proposiciones de la subdeducción deben diferenciarse gráficamente de las proposiciones de la deducción principal.

9

Las deducciones indirectas demuestran que la suposición inicial es verdadera.

Verdadero.
Falso.


Proyecto: Lógica proposicional
Anterior: Evaluación de la lección 12 — Cuarta evaluación parcial — Siguiente: Evaluación final