Resultados de la búsqueda
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) - 14:26 21 abr 2024
- El principio de no contradicción (PNC), o a veces llamado principio de contradicción, ley de la contradicción[1] o ley de no contradicción,[2] es un…18 kB (2094 palabras) - 02:16 30 nov 2023
- En lógica proposicional y álgebra de Boole, las leyes de De Morgan[1][2][3] son un par de reglas de transformación que son ambas reglas de inferencia…15 kB (2682 palabras) - 15:00 9 abr 2024
- El modus ponendo ponens (latín: "el modo que, al afirmar, afirma"1, también llamado modus ponens,[1][2][3][4] eliminación de la implicación, regla…9 kB (1162 palabras) - 11:47 2 nov 2023
- El modus tollendo tollens (latín: "el modo que, al negar, niega",[1] conocido como modus tollens,[2][3][4][5] negación del consecuente o ley de contraposición)[6]…9 kB (1128 palabras) - 11:49 2 nov 2023
- El principio del tercero excluido, propuesto y formalizado por Aristóteles, también llamado principio del cuarto excluido o excluso o en latín principium…7 kB (970 palabras) - 20:38 27 jul 2023
- El principio de identidad es un principio clásico de la lógica y la filosofía, según el cual toda entidad es idéntica a sí misma. Por ejemplo, Aristóteles…6 kB (881 palabras) - 09:38 19 abr 2024
- 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, el silogismo hipotético es una forma de argumento válido que consiste en un silogismo con una sentencia condicional para una o ambas de sus…3 kB (429 palabras) - 14:14 21 abr 2024
- En lógica proposicional, la doble negación es el teorema que afirma que "Si un enunciado es verdadero, entonces no es el caso que la declaración no es…8 kB (1168 palabras) - 02:41 15 ene 2022
- El modus tollendo ponens (latín: "el modo que, al negar, afirma")1 también conocido como eliminación de la disyunción o eliminación del "o", abreviado…7 kB (902 palabras) - 01:28 1 dic 2023
- En lógica proposicional, la simplificación[1][2][3] (equivale a la sustitución de una conjunción por uno de sus componentes) es una inferencia inmediata…2 kB (341 palabras) - 13:31 14 jun 2023
- En lógica proposicional, la implicación material[1][2] o definición del condicional[3] es una regla de reemplazo válida que permite que una declaración…3 kB (409 palabras) - 09:59 16 abr 2021
- Introducción de la disyunción o adición es una simple forma de argumento válido, una inferencia inmediata y una regla de inferencia de la lógica proposicional…3 kB (372 palabras) - 12:15 16 abr 2024
- Modus ponendo tollens (latín: "el modo que, al afirmar, niega")[1] es una regla de inferencia válida de la lógica proposicional, a veces abreviado MPT…2 kB (312 palabras) - 15:13 2 nov 2023
- En lógica proposicional, la tautología es una regla de reemplazo comúnmente utilizada[1] para eliminar la redundancia en disyunciones y conjunciones en…3 kB (460 palabras) - 14:19 1 oct 2021
- En la lógica proposicional, la transposición o transformación del condicional[1][2][3] es una regla de reemplazo válida de que permite que se cambie…12 kB (1571 palabras) - 10:36 5 abr 2024
- Dilema destructivo[1][2][3] es una regla de inferencia válida de lógica proposicional. Es una inferencia que dice que si P implica Q; y R implica S;…6 kB (518 palabras) - 19:00 23 sep 2019
- La eliminación del bicondicional es el nombre de dos reglas de inferencia válidas de la lógica proposicional. Esto nos permite inferir un condicional de…2 kB (380 palabras) - 16:19 7 nov 2023
- Dilema constructivo[1][2][3] es una regla de inferencia válida de lógica proposicional. Es una inferencia que dice que si P implica Q; y R implica S;…3 kB (476 palabras) - 16:32 7 nov 2023