Logica Matematica

Hoy empezamos con lógica, un tema que por mi carrera pasada ya había visto, por lo tanto no me fue nuevo, complicado o complejo.  De los datos curiosos que logre observar es que las primeras bases de la lógica las coloco Aristoteles, mi principal filosofo griego y favorito por sus aportaciones a la república. Luego Leibniz durante el siglo XVII hicieron aportaciones importantes a la lógica de un forma simbólica todo esto permaneció aislado.
Fueron Booble y De Morgan en el siglo XIX quienes presentaron un sistema matemático para modelar operaciones lógicas.  Hoy en día, esta herramienta resulta fundamental para el desarrollo de los computadores ya que, con su ayuda, el análisis y síntesis de combinaciones complejas de circuitos lógicos puede realizarse con rapidez.
Dejando la historia por un lado empezamos a ver calculo proposicional que es el estudio de las relaciones logicas entre objetos llamados proposiciones.  Proposicion:  cualquier valor de verdad que sea verdadera o falsa.  Un cuestionamiento jamas sera un proposicion.  Una instruccion jamas sera una proposicion.
Se empezo a ver proposiciones compuestas donde es frecuente utilizar (p,q,r) en el cual se necesitan conectivos logicos como and, or, not, y otras que para el curso no se utilizaran. 

Conectiva	Expresión en el lenguaje natural	Ejemplo	Símbolo en este artículo	Símbolos alternativos
Negación	no	No está lloviendo.
Conjunción	y	Está lloviendo y está nublado.
Disyunción	o	Está lloviendo o está soleado.
Condicional material	si... entonces	Si está soleado, entonces es de día.
Bicondicional	si y sólo si	Está nublado si y sólo si hay nubes visibles.