BIBLIOGRAFIAS

FUENTES

http://www.aulafacil.com/cursos/l8572/arte-humanidades/filosofia/filosofia-facil/logica-matematica-generalidades

http://logicmathematical.blogspot.com/p/camilo.html

http://es.slideshare.net/frank290798/qu-es-la-lgica-matemtica

http://logicaconector.blogspot.com/2011/12/conectores-logicos.html

http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-matematica.pdf

CONECTORES LOGICOS

CONECTORES 

La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces q, se representa por p → q, y su tabla de verdad está dada por:

p	q	p→q
V	V	V
V	F	F
F	V	V
F	F	V

La bicondicional de dos proposiciones p, q da lugar a la proposición; p si y sólo si q, se representa por p ↔ q su tabla de verdad está dada por:

p	q	p ↔ q
V	V	V
V	F	F
F	V	F
F	F	V

ejemplo de implicacion, entonces o condicional => *si el pc funciona. *puedo estudiar mas facilmente. si el pc funcuina entonces puedo estudiar mas facilmente *si tengo aire acondicionado en el salon. *los equipos corren menos riesgos de sobrecalentamiento. si tengo aireacondicionado en el salon entonces los equipos corren menos riesgos de sobrecalentamiento. ejemplo de bicondicional, si y solo si <=> *el bombillo led de la targeta de red del pc *enciende si el cable de red esta conectado el bombillo led de la targeta de red del pc enciende solo si el cable de red esta conectado. si tengo

PARA QUE SIRVE LA LÓGICA

Para qué sirve la lógica Matemática 

sirve para resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyándose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilización de los mismos.

CONCEPTO DE LÓGICA

Que es Lógica Matemática 

Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un lenguaje analítico.


La lógica matemática nos ayuda a establecer criterios de verdad, equivalencias lógicas tales como el silogismo, hacer demostraciones de teoremas que participan en el análisis de argumentos planteados. 


Dentro de la misma, se complementa también de la heurística para resolver problemas y es muy útil en matemáticas. 


Suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.

PORTADA

Lógica Matemática

Edinson Villamizar

Enrique Alba

Usos de Conjuntos Discretos en la Resolución

 de Problemas

Luz M. Velásquez Gualdron 

Universidad Autonoma Bucaramanga

2015