Resultados de la búsqueda

Para más opciones de búsqueda, vea Ayuda:Búsqueda.

Ver (20 previas · ) (20 · 50 · 100 · 250 · 500).
  • Miniatura para Conmutatividad
    En matemáticas, la propiedad conmutativa o conmutatividad es una propiedad fundamental que tienen algunas operaciones según la cual el resultado de operar…
    31 kB (3816 palabras) - 16:21 11 abr 2024
  • La asociatividad es una propiedad en el álgebra y la lógica proposicional que se cumple, si dados tres o más elementos cualquiera de un conjunto determinado…
    20 kB (2864 palabras) - 01:34 17 ene 2024
  • En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y…
    11 kB (1518 palabras) - 06:34 15 feb 2024
  • 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 (1163 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
  • 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) - 15:46 11 may 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 (1574 palabras) - 20:55 22 may 2024
  • En lógica de predicados, la ejemplificación existencial (también llamada eliminación existencial)[1]​[2]​[3]​ es una regla de inferencia válida que dice…
    1 kB (182 palabras) - 08:52 8 ago 2019
  • En lógica de predicados, la instanciación universal[1]​[2]​[3]​ (IU, también llamada especificación universal o eliminación universal, y veces confundida…
    3 kB (399 palabras) - 14:58 20 mar 2024
  • La introducción de la negación es una regla de inferencia, o regla de transformación, en el campo del cálculo proposicional. La introducción de la negación…
    2 kB (215 palabras) - 02:25 15 ene 2022
  • Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional.[1]​[2]​ La regla establece que si P {\displaystyle…
    3 kB (320 palabras) - 05:11 14 dic 2022
Ver (20 previas · ) (20 · 50 · 100 · 250 · 500).