Circuito de la correspondenco

INTRODUCCION
Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la
Lógica; pero no fue hasta a mediados del siglo XIX cuando George Boole (1815-1864) inicia el estudio
de lo que hoy se conoce como Lógica Matemática.
 
Uno de los fines de la enseñanza matemática es disciplinar la inteligencia, de ahí el valor formativo de
esta ciencia ya quenecesita de exactitud y precisión en sus razonamientos. La inteligencia se
disciplina a través de un tipo especial de pensamiento que es el razonamiento. El objetivo de la lógica
es estudiar la validez de los razonamientos.
La validez de la lógica es una relación entre las premisas y la conclusión expresada a través de una
serie de símbolos matemáticos y/o auxiliares llamados enunciados. Por mediode un enunciado con
sentido podemos emitir un juicio (actividad mental por medio de la cual pensamos algo) o
un razonamiento (evaluación mental por medio de la cual obtenemos conclusiones).

CONCEPTO DE LA LOGICA
La lógica es una relación entre las premisas y la conclusión expresada a través de una serie de
símbolos matemáticos y/o auxiliares llamados enunciados.
Para su estudio, se divideen lógica formal, lógica aplicada y lógica simbólica.
Lógica formal: es la parte de la filosofía que estudia las formas y leyes generales del pensamiento
tendiente al conocimiento de la verdad y el error.
Lógica Aplicada: es la que estudia las formas o estructura del pensamiento adaptándose al objeto
de estudio de las distintas ciencias.
Lógica simbólica: es la que estudia sistemáticamentelas proposiciones, los razonamientos y las
demostraciones para lo cual utiliza un lenguaje constituido por símbolos convencionales que
representan estructuras. La lógica simbólica es aquella que se refiere a las proposiciones y que
también se conoce con el nombre de Calculo Proporcional.

PROPOSICION
Es toda oración o enunciado al que se le puede asignar un cierto valor (V o F).
Si no puedeconcluir que es verdadero o falso no es proposición. Ejemplo



Hoy es lunes . Si es proposición ya que se puede verificar.
El árbol es grande. Como no se puede concluir si es verdadero o falso, no es una proposición.

 
Las proposiciones se denotan con letras minúsculas. Ejemplo:
p, q, r, a, b, etc

 
Hay dos tipos de proposiciones simples y compuesta, también llamada atómicas, omoleculares
respectivamente.

a. Proposiciones Simples.- También denominadas atómicas. Son aquellas proposiciones que no se
pueden dividir. Ejemplo:
El cielo es azul. (verdadero)
Nomenclatura: p
b. Proposiciones Compuestas.- También denominadas moleculares. Son aquellas que están formadas
por dos o más proposiciones simples unidas por los operadores lógicos. Ejemplo:
Fui al banco, pero elbanco estaba cerrado.
Los lectores de este libro son jóvenes o universitarios.

NOTACION PROPOSICIONAL
Conectores Lógicos...

1. Conjunción: 
Símbolo: ^
Notación: (p ^ q)
Significados: Y, Además, También,
Pero, Sin embargo.
Ejemplo: "El cuadrado tiene cuatro
lados y el triángulo 3 lados".

2. Disyunción Inclusiva:
Simbolo: v
Notación: (p v q)
Significados: o
Ejemplo: "Tomamosté o café" 

3. Disyunción Exclusiva:
Simbolo: v
Notación: (p v q)
Significados: O....o
Ejemplo: "O es de día o es de
noche" 

4. Condicional:
Simbolo: →
Notación: (p → q)
Significados: Entonces, Por lo tanto, En
consecuencia, Por consiguiente, Si..., ; Si...,
entonces. 
Ejemplo: "Si estudias, aprobarás la asignatura " 

5. Bicondicional:
Simbolo: ‹–›
Notación: (p ‹–› q)Significados: Si y solo si , solamante
si, cuando y solo cuando, solamente
cuando, únicamente cuando. 
Ejemplo: "Pierdes peso si y solo
si haces dieta "

6. Negación:
Simbolo: Notación: (-p)
Significados: No, es falso que, no ocurre que,
no sucede que, no es el caso que. 
Ejemplo: "María no presentó la prueba de
lógica"

 
TABLAS DE VERDAD
Estas tablas pueden construirse haciendo una...