PROPOSICION

 proposicion

ES UNA UNIDAD SEMANTICA QUE PUEDE SER VERDADERA O FALSA

 

valor de verdad 

En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.
Por ejemplo, el valor de verdad de la proposición «llueve y no llueve» es una 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).

 

tabla de verdad 

 Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes