Lógica proposicional/Evaluación final

<quiz display=simple>

{¿Cuál de las siguientes opciones hace referencia a proposiciones que no es posible descomponer en proposiciones más sencillas? |type="()"}

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

{¿Cuál de los siguientes símbolos se usa para representar una negación? |type="()"}

- $\wedge$ - $\iff$ + $\mathrm{\neg }$ - $\vee$

{Bajo cuál de las siguientes condiciones una conjunción de proposiciones es verdadera. |type="()"}

- 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.

{¿Cuál de las siguientes palabras se usa normalmente en el lenguaje natural para representar una disyunción? |type="()"}

- exactamente + o - quizás - y

{La implicación establece una relación de causalidad entre el antecedente y el consecuente. |type="()"}

- Verdadero. + Falso.

{¿Cuál es el propósito de los paréntesis en las proposiciones compuestas. |type="()"}

- 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.

{¿Cuál de las siguientes proposiciones es una contradicción? |type="()"}

- $A\wedge B$ - $C\vee \mathrm{\neg }C$ - $D\Rightarrow E$ + $E\wedge \mathrm{\neg }E$

{¿Cuál es el nombre de la siguiente equivalencia lógica: $\alpha \wedge (\beta \wedge \gamma )\equiv (\alpha \wedge \beta )\wedge \gamma$? |type="()"}

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

{¿Cuál de las siguientes reglas de inferencia es el Silogismo hipotético (SH)? |type="()"}

- $\begin{array}{c}\alpha \Rightarrow \gamma \\ \beta \Rightarrow \gamma \\ \therefore (\alpha \vee \beta )\Rightarrow \gamma \end{array}$ + $\begin{array}{c}\alpha \Rightarrow \beta \\ \beta \Rightarrow \gamma \\ \therefore \alpha \Rightarrow \gamma \end{array}$ - $\begin{array}{c}\alpha \Rightarrow \beta \\ \alpha \\ \therefore \beta \end{array}$ - $\begin{array}{c}\alpha \\ \beta \\ \therefore \alpha \wedge \beta \end{array}$

{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. |type="()"}

+ Verdadero. - Falso.

{¿Cuál de las siguientes afirmaciones sobre las deducciones condicionales es correcta? |type="()"}

- 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.

{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. |type="()"}

+ Verdadero. - Falso.

</quiz>