¿QUÉ ES ALGEBRA DE BOOLE?

Es un método de simplificación, que hace uso de unos diagramas especiales llamados mapas o diagramas de karnaugh, y el cual tiene la limitación de poder trabajar adecuadamente sólo con pocas variables. Se realizan estas presentaciones con el fin de demostrar la afinidad existente entre el álgebra de boole y la lógica proposicional, y con el objeto de cimentar el procedimiento de simplificación presentado en la lógica de proposiciones. A mediados del siglo xix, george boole (1815-1864), en sus libros: "the mathematical analysis of logic" (1847) y "an investigation of te laws of thought" (1854), desarrolló la idea de que las proposiciones lógicas podían ser tratadas mediante herramientas matemáticas. Las …ver más…

La lógica se centra en las relaciones entre los enunciados y no en el contenido de un enunciado particular.

¿Qué son las Proposiciones?

Una proposición es todo enunciado que expresa algo sobre lo que se pueda decir si es verdadero o falso, pero no ambas cosas. Una afirmación que es verdadera o falsa, pero no ambas, es una proposición.

¿QUÉ SON Y CUÁLES SON LOS CONECTIVOS LÓGICOS?

En matemáticas las letras x, y, z, . . . denotan, a menudo, variables que pueden ser remplazadas por números reales, y estas variables pueden combinarse con las operaciones comunes +, X, -, y ÷. En lógica, las letras p, q, r,… denotan variables propositivas, es decir, variables que pueden ser remplazadas por proposiciones. Así se puede escribir p: El sol está brillando hoy. q: Hace frío. Entonces, para denotar enunciados utilizaremos las letras p, q, r (en minúsculas o mayúsculas, con o sin subíndices).

Se pueden considerar dos tipos de proposiciones:

1) Proposiciones simples. Son aquellas que no pueden reducirse a otras más sencillas. Es decir, no tienen conectivos.

2) Proposiciones compuestas. Son aquellas que pueden reducirse a otras más sencillas. Se reconocen porque usan conectivos lógicos. Cuando nos refiramos a proposiciones compuestas usaremos las letras mayúsculas: P, Q,…

¿Que es una Tabla de Verdad?

Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de