Lógica proposicional

Que es la lógica proposicional?

La lógica: ciencia que estudia la validez de la inferencia. El desarrollo de la lógica esta ligado a la matemática.

Proposición: es una secuencia finita de signos.


La lógica proposicional es aquella que permite el razonamiento a través de un mecanismo que evalúa sentencias simples y luego sentencias complejas, que están formadas mediante conectivos proposicionales.
La lógica proposicional permite también asignar un valor verdadero o falso para una sentencia completa.

Conectivos proposicionales

A continuación mostrare una tabla con algunos de los conectivos lógicos que utiliza la lógica proposicional, 

Logica proposicional y la computacion

Debido a que las computadoras trabajan con información binaria, la herramienta adecuada para el análisis y diseño de su funcionamiento es el álgebra de Boole.

Algebra de boole es una estructura que esquematiza operaciones lógicas. El álgebra de Boole ha tenido dos aplicaciones al campo de la lógica: el tratamiento de conjuntos mediante las operaciones de unión e intersección que ha servido de base a la teoría de la probabilidad y el diseño de circuitos digitales combinacionales.


Un circuito digital es aquel cuyas entradas y salidas sólo pueden tomar dos niveles distintos de tensión. Estos niveles se pueden representar como 1(verdadero) y 0 (falso).

Un circuito combinacional es aquel en el que sus salidas dependen de las entradas que ocurran en el momento. Un circuito de estas características puede representarse analíticamente, mediante una  función
booleana, o gráficamente, mediante un diagrama de puertas lógicas.







Referencias:
http://www.fismat.iteso.mx/pag_def/estructura/matematicas/asignaturas/logicamatematica2004/apoyos/proposicional3.pdf
http://www.profesormolina.com.ar/electronica/componentes/int/sist_comb.htm
http://www.monografias.com/trabajos/iartificial/pagina4_1.htm
http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional
http://translate.google.com.mx/translate?hl=es&langpair=en%7Ces&u=http://www.cse.chalmers.se/edu/year/2011/course/DAT060/pres.pdf
http://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole
http://es.scribd.com/doc/33509733/Historia-de-la-Logica-Lenguajes-Falacias-Logica-proposicional