¿Es la ‘prueba’ del teorema de Demorgan dada en los libros de texto una ‘prueba’ o una ‘verificación’?

Esta es una prueba formal y general. Para un caso general, debe pensar en [matemática] X, Y [/ matemática] como conjuntos, [matemática] 0 [/ matemática] como un conjunto vacío [matemática] \ phi [/ matemática] y [matemática] 1 [/ math] como conjunto universal [math] I [/ math]. Si solo asume un caso especial como álgebra booleana binaria, no hay mucho que demostrar.

Una forma típica de probar este tipo de equivalencia es usando [matemática] A \ subconjunto B, B \ subconjunto A [/ matemática] por lo tanto [matemática] A = B [/ matemática]. Pero esta prueba utiliza [matemáticas] \ overline {A} + B = 1, \ overline {A} B = 0 [/ math] (o [matemáticas] \ overline {A} \ cup B = I, \ overline {A} \ cap B = \ phi [/ math]) así [math] A = B [/ math]. Creo que es lindo

Más allá de lo anterior, solo necesita leyes distributivas, asociativas y conmutativas para comprender la prueba. (hay un error tipográfico en la prueba, [matemáticas] X \ overline {X} \ overline {Y} + \ overline {X} Y \ overline {Y} = 0 \ cdot \ overline {Y} + \ overline {X} \ cdot 0 [/ math])

Es una prueba. Algebraico, aunque tan válido como cualquier otra prueba.

Hay dos casos y ambos fueron considerados durante la prueba. La prueba en sí es bastante rigurosa y en realidad es un epítome de probar algo a través del álgebra booleana.

Tienes razón al pensar que es una verificación o más como una evidencia de que el teorema es correcto. El hecho de que satisfaga algunas condiciones no significa que sea coherente ni que no haya otros candidatos.

Se puede ver fácilmente una prueba del teorema simplemente haciendo tablas de verdad, ya que solo hay cuatro opciones posibles para los valores de X e Y. En realidad, será una prueba formal.

More Interesting

¿Cuál es el orden correcto para tomar cursos en línea sobre algoritmos (del MIT y Stanford) para un estudiante interesado en aspectos teóricos y teoría de la complejidad?

¿Cuáles son algunos de los problemas NP-completos más difíciles?

¿Existe algún software GRATUITO que pueda aumentar mi calidad o aptitud de inteligencia?

¿Cuál es la diferencia entre la variable de control y la variable de confusión?

¿Cuál es la función concatenada en Excel y cuál es su opuesto?

¿Qué habilidad debo aprender / mejorar primero, programación (para minería de datos) o matemáticas (estadística, regresión, cálculo)?

¿Hay algún algoritmo del orden O (sqrt (n))?

¿Por qué si tenemos una reducción en el tiempo polinomial de un problema de P a un problema de NP, esto no muestra que P = NP (pero al contrario)?

¿Existe un término en matemáticas como 'real-complete' para describir una función que mapea todos los elementos de un conjunto (número real por ejemplo) a otro conjunto, o 'posibilidad-completa' para describir un algoritmo que maneja todas las posibilidades de entrada? ?

Cómo resolver la siguiente ecuación recursiva

Cómo codificar una espiral de ulam

¿Cuáles son las variables de factor en el lenguaje R?

Cómo contar eficientemente grandes cantidades de artículos

¿Cuál es la mejor manera de encontrar números amistosos hasta N?

¿Cuál es la diferencia entre un producto cartesiano y una unión disjunta? (Con respecto a los lenguajes de programación)