Revisión del 00:37 29 oct 2017 editar 190.25.38.202 (discusión) Sin resumen de edición Etiquetas: Edición desde móvil Edición vía web móvil ← Ir a diferencia anterior		Revisión del 00:40 29 oct 2017 editar deshacer Jkbw (discusión · contribs.) Verificadores, Reversores 355 418 ediciones m Revertidos los cambios de 190.25.38.202 (disc.) (HG) (3.3.2) Ir a siguiente diferencia →
Línea 5: == Introducción == El valor de verdad de la proposición «llueve y no llueve» es una [[principio de no contradicción\|contradicción]] y siempre será falsa, con independencia del valor que consideremos V o F de “llueve” (p) y de “no llueve” (¬p). La función de verdad “no” se define mediante una [[tabla de verdad]]. Algebraicamente, el conjunto {~~veradero~~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.

Diferencia entre revisiones de «Valor de verdad»