Diferencia entre revisiones de «Lógica proposicional/Cuarta evaluación parcial»
Contenido eliminado Contenido añadido
+contenido |
+contenido |
||
Línea 43:
- Todas las anteriores.
{La deducción natural permite determinar si una conclusión es consecuencia lógica de las premisas.
|type="()"}
{¿Cuál de las siguientes afirmaciones sobre las deducciones condicionales no es correcta?
|type="()"}
- Los pasos intermedios no pueden ser usados fuera del contexto de la deducción condicional.
- La suposición que inicia la deducción condicional no se puede usar fuera del contexto de la subdeducción.
+ Las deducciones condicionales no se pueden anidar.
- Las proposiciones de la subdeducción deben diferenciarse gráficamente de las proposiciones de la deducción principal.
{Las deducciones indirectas demuestran que la suposición inicial es verdadera.
|type="()"}
</quiz>
| |||