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

Plantilla:Título lección <quiz display=simple>

{¿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}$

|type="()"} - Introducción de la disyunción (ID) - Modus ponens (MP) + Modus tollens (MT) - Dilema destructivo (DD)

{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)? |type="()"} - $P$ - $\mathrm{\neg }P$ + $Q$ - $\mathrm{\neg }Q$

{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}$

|type="()"}

+ Verdadero - Falso

{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? |type="[]"}

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

{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)? |type="()"} - $B\vee D$ + $B\vee \mathrm{\neg }D$ - $\mathrm{\neg }B\vee D$ - $\mathrm{\neg }B\vee \mathrm{\neg }D$

</quiz>