Pregunta: 7. ¿Verdadero o falso? Utilice su conocimiento de la deducción natural en lógica proposicional y su conocimiento de las reglas de implicación para determinar cuáles de las siguientes afirmaciones son verdaderas. Marque todo lo que corresponda. Si está tratando de probar una disyunción, debe considerar obtenerla por conjunción (Conj) después de obtener

7. ¿Verdadero o falso?

Utilice su conocimiento de la deducción natural en lógica proposicional y su conocimiento de las reglas de implicación para determinar cuáles de las siguientes afirmaciones son verdaderas. Marque todo lo que corresponda.

Si está tratando de probar una disyunción, debe considerar obtenerla por conjunción (Conj) después de obtener primero cada una de las disyuntivas de forma independiente.

No se puede aplicar la regla de simplificación (Simp) a la proposición (Z ⊃ R) • F.

No puede aplicar más de una regla a la vez en cualquier línea de una prueba.

La adición (Add) le permite conectar con un punto las proposiciones en cualquiera de las dos líneas de prueba anteriores.

El dilema constructivo (CD) requiere que cite tres números de línea anteriores como justificación para la nueva línea.

Si necesita probar una disyunción, debe considerar obtenerla por adición (Add) o dilema constructivo (CD).

El dilema constructivo (CD) requiere una premisa que es la conjunción de dos condicionales y una segunda premisa disyuntiva cuyas disyuntivas corresponden a los antecedentes de los condicionales en la primera premisa.

Para usar la suma (Add) correctamente, debe conectar una nueva proposición con una cuña al lado izquierdo de una proposición en una línea de prueba anterior.

La conjunción le permite unir con un punto dos proposiciones cualquiera en las líneas de prueba anteriores.

La simplificación (Simp) le permite obtener la conjunción de la mano izquierda de una conjunción en una línea de prueba separada y posterior.