Lógica proposicional/Evaluación final

1 ¿Cuál de las siguientes opciones hace referencia a proposiciones que no es posible descomponer en proposiciones más sencillas?

	Conjuntivas lógicas.
	Equivalencias lógicas.
	Fórmulas bien formadas.
	Proposiciones primitivas.

2 ¿Cuál de los siguientes símbolos se usa para representar una negación?

	$\land$
	$\Leftrightarrow$
	$\neg$
	$\lor$

3 Bajo cuál de las siguientes condiciones una conjunción de proposiciones es verdadera.

	Al menos una de las proposiciones a las que se aplica es verdadera.
	Al menos una de las proposiciones a las que se aplica es falsa.
	Las dos proposiciones a las que se aplica son verdaderas.
	Las dos proposiciones a las que se aplica son falsas.

4 ¿Cuál de las siguientes palabras se usa normalmente en el lenguaje natural para representar una disyunción?

	exactamente
	o
	quizás
	y

5 La implicación establece una relación de causalidad entre el antecedente y el consecuente.

	Verdadero.
	Falso.

6 ¿Cuál es el propósito de los paréntesis en las proposiciones compuestas.

	Cambiar el valor de verdad de la proposición.
	Indicar el orden exacto en que se deben evaluar las conectivas lógicas.
	Indicar que las proposiciones rodeadas por ellos son verdaderas ($V$).
	Todas las anteriores.

7 ¿Cuál de las siguientes proposiciones es una contradicción?

	$A\land B$
	$C\lor \neg C$
	$D\Rightarrow E$
	$E\land \neg E$

8 ¿Cuál es el nombre de la siguiente equivalencia lógica: $\alpha \land (\beta \land \gamma )\equiv (\alpha \land \beta )\land \gamma$?

	Absorción de la disyunción.
	Asociatividad de la conjunción.
	Definición de equivalencia material.
	Dilema destructivo (DD).

9 ¿Cuál de las siguientes reglas de inferencia es el Silogismo hipotético (SH)?

	${\begin{array}{l}\alpha \Rightarrow \gamma \\\beta \Rightarrow \gamma \\\hline \therefore (\alpha \lor \beta )\Rightarrow \gamma \end{array}}$
	${\begin{array}{l}\alpha \Rightarrow \beta \\\beta \Rightarrow \gamma \\\hline \therefore \alpha \Rightarrow \gamma \end{array}}$
	${\begin{array}{l}\alpha \Rightarrow \beta \\\alpha \\\hline \therefore \beta \end{array}}$
	${\begin{array}{l}\alpha \\\beta \\\hline \therefore \alpha \land \beta \end{array}}$

10 En las deducciones directas todas las proposiciones deben ser el resultado de aplicar reglas de inferencia o equivalencias lógicas a las premisas o a las proposiciones anteriores en la secuencia.

	Verdadero.
	Falso.

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

	No es necesario realizar suposiciones.
	No es necesario usar las reglas de inferencia en este tipo de deducciones.
	Se puede usar reglas de inferencia siempre que no se usen equivalencias lógicas.
	Se pueden realizar deducciones condicionales dentro de otras deducciones condicionales.

12 Las deducciones indirectas se diferencian de las deducciones principales que las contienen mediante el sangrado de las proposiciones o mediante otro tipo de indicador gráfico.

	Verdadero.
	Falso.

Proyecto: Lógica proposicional

Anterior: Cuarta evaluación parcial — Evaluación final — Siguiente: Actividad > Alí Babá y las dos puertas