Beruflich Dokumente
Kultur Dokumente
George Boole
George Boole
Las reglas del lgebra de Boole pueden utilizarse para determinar las
consecuencias de las diversas combinaciones de estas proposiciones en funcin
de si las proposiciones son verdaderas (V) o falsas (F). As, si ambas
proposiciones son verdaderas, la combinacin P y Q es tambin verdadera. Es
decir, si la proposicin "hoy estar en casa" (P) es verdadera, y la proposicin
"maana estar en casa" (Q) tambin es verdadera, entonces la combinacin "hoy
estar en casa y maana estar en casa" (P y Q) tambin debe ser verdadera.
Supongamos, en cambio, que P es verdadera y Q es falsa. Es decir, la proposicin
"hoy estar en casa" (P) es verdadera, pero la proposicin "maana estar en
casa" (Q) es falsa. En tal caso, la combinacin "hoy estar en casa y maana
estar en casa" (P y Q) debe ser falsa. Como puede imaginarse, la mayora de las
cuestiones que aborda el lgebra de Boole son mucho ms arduas que este
ejemplo simple. Con el paso del tiempo, los matemticos han desarrollado
complejas tcnicas para formalizar y calcular procesos lgicos muy complicados.
Dos elementos del lgebra de Boole la convierten en una forma matemtica muy
importante para su aplicacin prctica. En primer lugar, las proposiciones
expresadas en el lenguaje diario (como "hoy estar en casa") pueden convertirse
en expresiones matemticas, como letras y nmeros. En segundo lugar, esos
smbolos generalmente tienen uno de dos valores: las proposiciones pueden ser
afirmativas o negativas (complementarias); las operaciones son conjuncin o
disyuncin; y no slo las proposiciones, sino tambin el resultado de sus
combinaciones (P, Q, P y Q, P o Q), son verdaderas o falsas. Esto significa que