Lógica proposicional/Proposiciones compuestas/Evaluación

Evaluación de la lección 6

Proposiciones compuestas

1 ¿Cuál es el propósito de los paréntesis en las expresiones de lógica proposicional?

	Cambiar el valor de verdad de las proposiciones.
	Contrarrestar el efecto de las conectivas que agrupan.
	Mejorar la apariencia.
	Resolver posibles ambigüedades.

2 La siguiente expresión es una fórmula bien formada: $(A\land (B\lor (\neg C$

	Verdadero.
	Falso.

3 ¿Cuál de las siguientes opciones no es una regla para la construcción de fórmulas bien formadas?

	Todas las proposiciones atómicas son fórmulas bien formadas.
	Las negaciones de fórmulas bien formadas también son fórmulas bien formadas.
	Las secuencias de fórmulas bien formadas sin conectivas intermedias también son fórmulas bien formadas.
	Las conjunciones de fórmulas bien formadas también son fórmulas bien formadas cuando están rodeadas de paréntesis.

4 Seleccione las opciones con fórmulas bien formadas.

	$ABCD$
	$(\neg (X\Rightarrow Y)\land Z)$
	$((\Rightarrow M)\land N)$
	$((P\lor (\neg Q\land (R\Rightarrow S)))\Rightarrow ((R\lor S)\land (Q\lor R)))$

5 Si $C$ tiene un valor de verdad $V$ y $D$ tiene un valor de verdad $V$, la expresión $\neg (C\Rightarrow D)$ tiene el mismo valor de verdad que la expresión $\neg C\Rightarrow D$.

	Verdadero
	Falso

Proyecto: Lógica proposicional

Anterior: Lectura de la lección 6 — Evaluación — Siguiente: Lectura de la lección 7