b'\n_START_ARTICLE_\nValor de verdad\n_START_PARAGRAPH_\nEn l\xc3\xb3gica, un valor de verdad es un valor que indica en qu\xc3\xa9 medida una declaraci\xc3\xb3n es verdad. En l\xc3\xb3gica cl\xc3\xa1sica bivalente los valores de verdad s\xc3\xb3lo son dos, usualmente designamos verdadero y falso (y a veces representados por pares como (1,0) o (V,F), etc.). Sin embargo la l\xc3\xb3gica polivalente el conjunto de valores de verdad incluye otras posibilidades, e incluso en l\xc3\xb3gica modal la descripci\xc3\xb3n del valor de verdad requiere la noci\xc3\xb3n m\xc3\xa1s compleja de mundos posibles. En l\xc3\xb3gica difusa  el valor de verdad es cualquier n\xc3\xbamero real en el intervalo cerrado [0,1]._NEWLINE_El conjunto de valores de verdad de un determinado tipo de l\xc3\xb3gica es el rango de una interpretaci\xc3\xb3n l\xc3\xb3gica sobre el conjunto de todas las proposiciones posibles.\n_START_SECTION_\nIntroducci\xc3\xb3n\n_START_PARAGRAPH_\nEl valor de verdad de la proposici\xc3\xb3n \xc2\xabllueve y no llueve\xc2\xbb es una contradicci\xc3\xb3n y siempre ser\xc3\xa1 falsa, con independencia del valor que consideremos V o F de \xe2\x80\x9cllueve\xe2\x80\x9d (p) y de \xe2\x80\x9cno llueve\xe2\x80\x9d (\xc2\xacp). La funci\xc3\xb3n de verdad \xe2\x80\x9cno\xe2\x80\x9d se define mediante una tabla de verdad._NEWLINE_Algebraicamente, el conjunto {verdadero, falso}, o funci\xc3\xb3n l\xc3\xb3gica, forma un \xc3\xa1lgebra booleana simple (subdirectamente irreducible). Otras \xc3\xa1lgebras booleanas se pueden utilizar como conjuntos de valores de verdad en l\xc3\xb3gicas multi-valuadas, mientras que la l\xc3\xb3gica intuicionista generaliza las \xc3\xa1lgebras booleanas a \xc3\xa1lgebras de Heyting. _NEWLINE_En la teor\xc3\xada de los topos, el clasificador de subobjetos de los topos toma el lugar del conjunto de valores de verdad. _NEWLINE_Esta nomenclatura est\xc3\xa1 quiz\xc3\xa1s m\xc3\xa1s de acuerdo con los usos que prevalecen en matem\xc3\xa1ticas que con los de la filosof\xc3\xada.'