Revisión del 03:49 20 ene 2017 editar Invadibot (discusión · contribs.) Bots, Reversores 699 167 ediciones m Bot: 8 - Estandarizaciones y otras mejoras automatizadas ← Ir a diferencia anterior		Revisión del 12:34 3 feb 2017 editar deshacer 181.39.221.172 (discusión) →‎Introducción Ir a siguiente diferencia →
Línea 4: == 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 {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]].

Diferencia entre revisiones de «Valor de verdad»