Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Instalar
¡Más rápido que el navegador!
 

Lógica proposicional y Regla de inferencia

Accesos rápidos: Diferencias, Similitudes, Coeficiente de Similitud Jaccard, Referencias.

Diferencia entre Lógica proposicional y Regla de inferencia

Lógica proposicional vs. Regla de inferencia

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 representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. 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 devuelve una conclusión (o conclusiones).

Similitudes entre Lógica proposicional y Regla de inferencia

Lógica proposicional y Regla de inferencia tienen 5 cosas en común (en Unionpedia): Lógica matemática, Modus ponendo ponens, Modus tollendo tollens, Proposición, Verdad lógica.

Lógica matemática

La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia.

Lógica matemática y Lógica proposicional · Lógica matemática y Regla de inferencia · Ver más »

Modus ponendo ponens

El modus ponendo ponens (latín: "el modo que, al afirmar, afirma"1, también llamado modus ponens, eliminación de la implicación, regla de separación, afirmación del antecedente, generalmente abreviado MP) es una forma de argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional.

Lógica proposicional y Modus ponendo ponens · Modus ponendo ponens y Regla de inferencia · Ver más »

Modus tollendo tollens

El modus tollendo tollens (latín: "el modo que, al negar, niega", conocido como modus tollens, negación del consecuente o ley de contraposición) es una forma de argumento válida y una regla de inferencia en lógica proposicional.

Lógica proposicional y Modus tollendo tollens · Modus tollendo tollens y Regla de inferencia · Ver más »

Proposición

En filosofía y lógica, el término proposición se usa para referirse a.

Lógica proposicional y Proposición · Proposición y Regla de inferencia · Ver más »

Verdad lógica

Una verdad lógica o verdad matemática es una fórmula bien formada de un lenguaje formal que es verdadera bajo todas las interpretaciones de los componentes (distintos de las constantes lógicas) de ese lenguaje.

Lógica proposicional y Verdad lógica · Regla de inferencia y Verdad lógica · Ver más »

La lista de arriba responde a las siguientes preguntas

Comparación de Lógica proposicional y Regla de inferencia

Lógica proposicional tiene 81 relaciones, mientras Regla de inferencia tiene 26. Como tienen en común 5, el índice Jaccard es 4.67% = 5 / (81 + 26).

Referencias

En este artículo se encuentra la relación entre Lógica proposicional y Regla de inferencia. Si desea acceder a cada artículo del que se extrajo la información visite:

¡Hey! ¡Ahora tenemos Facebook! »