Lógica proposicional/Reglas de inferencia/Evaluación

Evaluación de la lección 9

Reglas de inferencia

1

¿Cuál es el nombre de la siguiente regla de inferencia? $\begin{array}{c}\alpha \Rightarrow \beta \\ \mathrm{\neg }\beta \\ \therefore \mathrm{\neg }\alpha \end{array}$

	Introducción de la disyunción (ID)
	Modus ponens (MP)
	Modus tollens (MT)
	Dilema destructivo (DD)

2

Dadas las siguientes premisas:

$\begin{array}{c}P\vee Q\\ \mathrm{\neg }P\end{array}$

¿Qué conclusión se obtiene al aplicar el silogismo disyuntivo (SD)?

	$P$
	$\mathrm{\neg }P$
	$Q$
	$\mathrm{\neg }Q$

3

El siguiente caso es un ejemplo del uso de la regla de introducción de la disyunción. $\begin{array}{c}Q\\ \therefore Q\vee P\end{array}$

	Verdadero
	Falso

4

Dadas las siguientes premisas:

$\begin{array}{c}A\Rightarrow B\\ B\Rightarrow C\\ D\end{array}$

¿Cuáles de las siguientes opciones son conclusiones válidas al aplicar alguna de las reglas de inferencia?

	$A\Rightarrow C$
	$\mathrm{\neg }D$
	$(B\Rightarrow C)\vee D$
	$A\vee D$

5

Dadas las siguientes premisas:

$\begin{array}{c}A\Rightarrow B\\ C\Rightarrow \mathrm{\neg }D\\ A\vee C\end{array}$

¿Qué conclusión se obtiene al aplicar el dilema constructivo (DC)?

	$B\vee D$
	$B\vee \mathrm{\neg }D$
	$\mathrm{\neg }B\vee D$
	$\mathrm{\neg }B\vee \mathrm{\neg }D$

Proyecto: Lógica proposicional

Anterior: Lectura de la lección 9 — Evaluación — Siguiente: Tercera evaluación parcial