Resultados de la búsqueda
Apariencia
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- Reductio ad absurdum, expresión latina que significa literalmente 'reducción al absurdo', es uno de los métodos lógicos de demostración más usado en matemáticas…9 kB (1443 palabras) - 12:47 14 may 2024
- 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…1 kB (139 palabras) - 14:02 19 abr 2022
- 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…23 kB (3154 palabras) - 08:27 1 dic 2023
- En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas. En otras…9 kB (1315 palabras) - 02:51 25 abr 2024
- La deducción natural es una aproximación a la teoría de la demostración en la que se busca capturar la manera en que las personas razonan naturalmente…11 kB (330 palabras) - 18:45 19 ene 2024
- La demostración por casos es un método de demostración matemática en el cual la proposición a ser probada se divide en un número finito de casos, y cada…4 kB (542 palabras) - 03:15 12 oct 2022
- Una prueba condicional es una prueba de que toma la forma de afirmar un condicional, y demostrando que el antecedente del condicional lleva necesariamente…3 kB (321 palabras) - 19:13 3 sep 2019