Diferencia entre revisiones de «Valor de verdad»

El valor de verdad de la proposición «a donde voy» es una [[principio de no contradicción|contradicción]] y siempre será falsa, con independencia del valor que consideremos V o F de “llueve”“donde” (p) y de “no llueve”“voy” (¬p). La función de verdad “no” se define mediante una [[tabla de verdad]].

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]].