Esta pregunta se puede resumir como: ¿Cómo se hace explícito en la necesidad de estar al escribir las pruebas? ¿Hasta qué punto puede uno implícitamente escribir una prueba de forma segura?
El primer capítulo de nuestro texto en la escuela primaria la matemática discreta es muy breve en las soluciones. Como un ejemplo del texto:
Si
$C = \{1, 3\}$ $A = \{1, 2, 3, 4\}$
por la inspección, cada elemento de la $C$ es un elemento de $A$. Por lo tanto, $C$ es un subconjunto de a $A$ y escribimos $C \subseteq A$
Así que cuando llegue a la tarea que le pregunta: Mostrar, como en el ejemplo anterior, que $A \subseteq B$.
$A = \{1, 2\}$, $B = \{3, 2, 1\}$
He resuelto esto mismo pero, en primer lugar, aquí está el texto de la solución:
Deje $x \in A$. A continuación, $x = 1$ o $x = 2$. En cualquier caso, $x \in B$. Por lo tanto, $A \subseteq B$
Dado que los conjuntos de la primera sección del primer capítulo, y en realidad todo esto es cubierto en la primera docena de páginas, que evidentemente no hemos hablado acerca de las pruebas, o lo que el sabor de las declaraciones tomar la forma de expresiones como $x = 1$ o $x = 2$. Así que soy incapaz de mí mismo, en este punto, la crítica del autor sobre sus pruebas en una etapa tan temprana.
Mi pregunta, es el autor de la simplificación de este proceso drásticamente y por lo tanto muestra una exhaustiva prueba de ello es indeseable en esta etapa, y en la práctica inesperado? O tiene el autor se muestra totalmente una prueba válida dado que la pregunta en sí es muy simple (quizás debería ser tan explícito como el autor, o la pregunta)?
Considero que mi excéntrico de prueba para el mismo problema:
$\forall x(x \in B \rightarrow (0 < x \leq 3 \land x \in \mathbb{Z}^+))$
Suponga $x \in A$, $x \in \mathbb{Z}^+$ $0 < x \leq 2 < 3$
Por lo tanto, $\forall x(x \in A \rightarrow x \in B)$
Por lo tanto, $A \subseteq B$
Es esto más importante que hacer las cosas, como el autor de sugerir soluciones? De verdad tengo que preguntar a mi profesor de mañana para saber en términos de las asignaciones de la clase, pero realmente me gustaría saber si la comunidad está de acuerdo o no está de acuerdo y en qué medida, cuando se trata de ser brusco en la prueba de escritura.
A menudo básica de las clases de álgebra, por ejemplo, el autor va a simplificar la evaluación o la solución de las grandes expresiones, muchas veces, saltando dos o más pasos que podría haber sido escrito de forma explícita, pero se supone que uno podría seguir, lógicamente, sin ver los pasos. Así que otra manera de formular mi pregunta es soy yo mismo saltarse esos pasos, a pesar de mis intentos de ser explícito, y es que, como muchos de álgebra básica, soluciones, una pérdida de tiempo para estar excesivamente explícita?
