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}{l}\alpha \Rightarrow \beta \\\neg \beta \\\hline \therefore \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}{l}P\lor Q\\\neg P\end{array}}$

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

	$P$
	$\neg P$
	$Q$
	$\neg Q$

3 El siguiente caso es un ejemplo del uso de la regla de introducción de la disyunción.

${\begin{array}{l}Q\\\hline \therefore Q\lor P\end{array}}$

	Verdadero
	Falso

4 Dadas las siguientes premisas:

${\begin{array}{l}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$
	$\neg D$
	$(B\Rightarrow C)\lor D$
	$A\lor D$

5 Dadas las siguientes premisas:

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

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

	$B\lor D$
	$B\lor \neg D$
	$\neg B\lor D$
	$\neg B\lor \neg D$

Proyecto: Lógica proposicional

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