Diferencia entre revisiones de «Función de verdad»

En [[lógica matemática]], una '''[[función (matemáticas)|función]] de verdad''' es una función de un conjunto de valores de verdad a otro conjunto de valores de verdad. Clásicamente el dominio y el rango de una función de vedad son {''verdadero'',''falso''}, pero en general pueden tener cualquier número de valores de verdad, incluso una infinidad de ellos. Una sentencia conectiva (véase abajo) se llama "funcional de verdad" si asigna o [[denotación|denota]] tal función.