Notacion y conectivos

Las proposiciones genéricas son denotadas con las letras p,q,r etc. A partir de proposiciones simples es posible generar otras, simples o compuestas. Es decir, se puede operar con proposiciones, y según sean tales operaciones se utilizan ciertos símbolos, llamados conectivos lógicos.

http://matematica1001.blogspot.com.ar/p/logico-proposicional.html

Bibliografia
Libro Álgebra I Armando O. Rojo 

¿Qué es lógica?

Todo desarrollo matemático exige razonar en forma valida acerca de cosas trascendentes y particularmente abstractas. Hay que comenzar por eliminar las ambigüedades del lenguaje ordinario, introduciendo símbolos y conectivos cuyo uso adecuado descarte las contingencias, aporte claridad y economía de pensamiento.  Un lenguaje lógico se construye mediante un alfabeto de símbolos y la definición de un conjunto de cadenas de símbolos de dicho alfabeto llamadas fórmulas bien formadas.

El tipo más simple de lenguaje lógico corresponde a la Lógica Proposicional Clásica. Esta lógica, con el objetivo de establecer los criterios sobre la exactitud de los razonamientos, formalizará la parte más elemental del lenguaje natural en el modo más simple.

BIBLIOGRAFIA

Libro Álgebra I. Armando O. Rojo

 http://osl2.uca.es/wikira/index.php/L%C3%B3gica_proposicional