Lógica proposicional/Tercera evaluación parcial

1

¿Cuál de las siguientes proposiciones no es una proposición válida?

	$(A\Rightarrow B)$
	$\neg (C\land D\lor E)$
	$(A\land \neg B)\Rightarrow (\neg C\lor D)$
	$\neg (A\lor B)\Leftrightarrow (\neg A\land \neg B)$

2

¿Cuál es el valor de verdad de la proposición $(P\Rightarrow Q)\Rightarrow (\neg P\lor Q)$ cuando $P$ es $V$ y $Q$ es $F$?

	Verdadero ($V$).
	Falso ($F$).

3

¿Cuál de las siguientes proposiciones es lógicamente equivalente a $A\land (B\land C)$?

	$\neg A\lor (B\land C)$
	$A\land (B\lor C)$
	$(A\lor B)\land C$
	$(A\land B)\land C$

4

¿Cuál es el nombre de la siguiente regla de inferencia? ${\begin{array}{l}\alpha \Rightarrow \gamma \\\beta \Rightarrow \delta \\\alpha \lor \beta \\\hline \therefore \gamma \lor \delta \end{array}}$

	Absorción de la conjunción (AC)
	Dilema constructivo(DC)
	Introducción de la conjunción (IC)
	Silogismo disyuntivo (SD)

5

¿Cuál es el valor de verdad de la proposición $C\land \neg D$ cuando $C$ es $V$ y $D$ es $V$?

	Verdadero ($V$).
	Falso ($F$).

6

¿Cuáles de las siguientes proposiciones son tautologías?

	$A\lor (B\lor \neg A)$
	$((R\Rightarrow S)\land R)\Rightarrow S$
	$(Q\Rightarrow P)\Rightarrow (P\Rightarrow Q)$
	$((P\lor Q)\land \neg P)\Rightarrow Q$

7

¿Cuál de las siguientes proposiciones es lógicamente equivalente a $\neg A\Rightarrow \neg B$?

	$A\Rightarrow B$
	$\neg A\lor \neg B$
	$A\lor \neg B$
	$\neg A\lor B$

8

Dadas las siguientes premisas:

${\begin{array}{l}A\lor B\\\neg A\end{array}}$

¿Cuál de las siguientes opciones es una conclusión válida?

	$\neg A\land \neg B$
	$A\land B$
	$A$
	$B$

9

¿Cuál de las siguientes proposiciones es una contingencia?

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

10

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

	Absorción de la disyunción.
	Asociatividad de la conjunción.
	Demostración por casos.
	Ninguna de las anteriores.

11

La lógica proposicional tiene un conjunto finito y pequeño de reglas de inferencia.

	Verdadero.
	Falso.

12

Dadas las siguientes premisas:

${\begin{array}{l}A\land B\\B\Rightarrow (B\Rightarrow C)\end{array}}$

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

	$A$
	$B$
	$C$
	Todas las anteriores.

Proyecto: Lógica proposicional

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