Lógica proposicional/Proposiciones compuestas/Evaluación

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

{¿Cuál es el propósito de los paréntesis en las expresiones de lógica proposicional? |type="()"} - Cambiar el valor de verdad de las proposiciones. - Contrarrestar el efecto de las conectivas que agrupan. - Mejorar la apariencia. + Resolver posibles ambigüedades.

{La siguiente expresión es una fórmula bien formada: $(A\wedge (B\vee (\mathrm{\neg }C$ |type="()"} - Verdadero. + Falso.

{¿Cuál de las siguientes opciones no es una regla para la construcción de fórmulas bien formadas? |type="()"}

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

{Seleccione las opciones con fórmulas bien formadas. |type="[]"}

- $ABCD$ + $(\mathrm{\neg }(X\Rightarrow Y)\wedge Z)$ - $((\Rightarrow M)\wedge N)$ + $((P\vee (\mathrm{\neg }Q\wedge (R\Rightarrow S)))\Rightarrow ((R\vee S)\wedge (Q\vee R)))$

{Si $C$ tiene un valor de verdad $V$ y $D$ tiene un valor de verdad $V$, la expresión $\mathrm{\neg }(C\Rightarrow D)$ tiene el mismo valor de verdad que la expresión $\mathrm{\neg }C\Rightarrow D$. |type="()"}

- Verdadero + Falso

</quiz>