Tabla de contenidos
10 relaciones: Contraejemplo, Contraposición lógica, Demostración (merchandising), Demostración (militar), Demostración automática de teoremas, Demostración en matemática, Demostración inválida, Inducción matemática, Maqueta (música), Teoría de la demostración.
Contraejemplo
En lógica, especialmente en sus aplicaciones en matemáticas y filosofía, un contraejemplo es una excepción a una regla general propuesta, es decir, un caso específico de la falsedad de una cuantificación universal (un "para todo").
Ver Demostración y Contraejemplo
Contraposición lógica
En lógica, la contraposición lógica es una ley que dice que, para cada sentencia condicional, hay una equivalencia lógica entre la misma y su contraposición.
Ver Demostración y Contraposición lógica
Demostración (merchandising)
En merchandising, la demostración es una manera de promocionar un producto (objeto) probando su funcionamiento ante los visitantes de un supermercado, hipermercado o feria comercial.
Ver Demostración y Demostración (merchandising)
Demostración (militar)
En terminología militar, la demostración es un truco militar, cuyo propósito es desviar las fuerzas y la atención del enemigo de la dirección del ataque principal imitando un ataque en una dirección secundaria.
Ver Demostración y Demostración (militar)
Demostración automática de teoremas
La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.
Ver Demostración y Demostración automática de teoremas
Demostración en matemática
En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática.
Ver Demostración y Demostración en matemática
Demostración inválida
En matemáticas, hay múltiples demostraciones matemáticas de contradicciones obvias.
Ver Demostración y Demostración inválida
Inducción matemática
En matemáticas, la inducción es un razonamiento que permite demostrar proposiciones que dependen de una variable n\, que toma una infinidad de valores enteros.
Ver Demostración e Inducción matemática
Maqueta (música)
Una maqueta musical es una grabación de prueba de uno o varios temas musicales normalmente utilizado por los artistas con fines promocionales antes de sacar un trabajo profesional al mercado.
Ver Demostración y Maqueta (música)
Teoría de la demostración
La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas.