Diferencia entre revisiones de «Valor de verdad»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 190.9.211.18 (disc.) a la última edición de Jkbw Etiqueta: Reversión |
|||
Línea 4:
== Introducción ==
El valor de verdad de la proposición «
Algebraicamente, el conjunto {verdadero, falso}, o [[función lógica]], forma un [[álgebra booleana]] simple (subdirectamente irreducible). Otras álgebras booleanas se pueden utilizar como conjuntos de valores de verdad en lógicas multi-valuadas, mientras que la lógica intuicionista generaliza las álgebras booleanas a [[álgebra de Heyting|álgebras de Heyting]].
En la teoría de los [[topos]], el [[clasificador de subobjetos]] de los topos toma el lugar del conjunto de valores de verdad.
''Esta nomenclatura está quizás más de acuerdo con los usos que prevalecen en [[matemáticas]] que con los de la [[filosofía]].''
== Véase también ==
|