Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- En filosofía y lógica, el término proposición se usa para referirse a:[1] Las entidades portadoras de los valores de verdad.[1] Los objetos de las creencias…31 kB (4294 palabras) - 21:54 1 feb 2024
En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación…6 kB (773 palabras) - 19:51 22 nov 2023- La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples…43 kB (4997 palabras) - 18:55 10 feb 2024
- Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de…38 kB (3776 palabras) - 16:16 6 mar 2024
En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para…27 kB (2568 palabras) - 12:21 7 feb 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 (1490 palabras) - 06:34 15 feb 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 (1127 palabras) - 11:49 2 nov 2023
En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores…14 kB (1668 palabras) - 06:55 11 may 2023- 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
- 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
- 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
- En lógica, las reglas de reemplazo o reglas de sustitución[1][2][3] son reglas de transformación que pueden ser aplicadas únicamente a un segmento particular…2 kB (221 palabras) - 15:18 31 mar 2023
- En lógica matemática, una variable proposicional (también llamada variable sentencial o letra sentencial) es una variable discreta que puede ser verdadera…2 kB (229 palabras) - 13:57 22 dic 2022
- Se denomina Gráficos existenciales (en inglés: existential graphs) al sistema lógico y de notación creado por el lógico y filósofo norteamericano Charles…27 kB (3733 palabras) - 04:34 14 abr 2024
- En lógica matemática, un literal es una fórmula atómica o su negación. La definición del concepto se halla sobre todo en la teoría de la demostración.…5 kB (643 palabras) - 23:25 13 nov 2023
- En lógica, un conjunto funcionalmente completo de conectivas lógicas u operadores booleanos es aquel que puede ser usado para expresar todas las tablas…7 kB (808 palabras) - 13:51 10 oct 2021
- En la lógica proposicional,una fórmula proposicional es un tipo de fórmula sintáctica la cual está bien formada y tiene un valor verdadero. Si los valores…16 kB (2117 palabras) - 01:32 4 oct 2021
- En lógica matemática, una cláusula es una expresión formada por una colección finita de literales (variables o sus negaciones) que es verdadera cuando…1 kB (104 palabras) - 16:33 5 ago 2019
- Cálculo proposicional de Frege, en la Lógica matemática, el cálculo proposicional de Frege fue la primera axiomatización del cálculo proposicional. Fue…18 kB (1038 palabras) - 22:32 8 oct 2021
- La lógica proposicional o lógica de orden cero es la rama de la lógica matemática que estudia proposiciones, afirmaciones u oraciones, los métodos de vincularlas