Lgica matemtica

La lgica matemtica es una parte de la lgica y la matemtica, que consiste en el estudio

matemtico de la lgica, y en la aplicacin de dicho estudio a otras reas de la matemtica y de las
ciencias. La lgica matemtica tiene estrechas conexiones con las ciencias de la computacin y
la lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican
o definen nociones intuitivas de objetos matemticos como conjuntos, nmeros,demostraciones,
y algoritmos, utilizando un lenguaje formal.
La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la
demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha
jugado un papel fundamental en el estudio de los fundamentos de las matemticas. Actualmente se
usan indiferentemente como sinnimos las expresiones: lgica simblica (o logstica), lgica
matemtica, lgica teortica y lgica formal.

La lgica matemtica no es la lgica de las matemticas sino la matemtica de la lgica. Incluye

aquellas partes de la lgica que pueden ser modeladas y estudiadas matemticamente.
Objeto de la Lgica
El Pensamiento como Objeto de la Lgica
A quien se le atribuye ser el padre de la lgica?
La lgica es conocida como una de las ciencias mas antiguas, tanto es as que se le atribuye
a Aristteles la paternidad de esta disciplina, sin embargo, los lgico no estn todava de
acuerdo con el objeto de esta ciencia, debido a que existe un problema semntico, es decir
que existen varias disciplinas sobre esta ciencia lo que crea confusin. Es preciso por ello
determinar con exactitud su objeto para poderdefinirla.

Lgica como mtodo

Cientficamente hablando, la lgica es un valioso medio para ordenar conceptualmente las ideas que
tenemos sobre las cosas y las relaciones que surgen de estas mismas cosas. Es este sentido, la
lgica es ciencia y mtodo a la vez.
Adems dentro de su rama puramente formal, la Lgica no es mas que la indagacin sistemtica de
los principios de todo razonamiento vlido.

La Lgica como Ciencia Formal

Basndose en la distinciones entre contenido y forma, como considera el
filosofo Kant la lgica?
Kant la considera como una ciencia formal, es decir, aquella ciencia que estudia las formas del
pensamiento prescindiendo de todo contenido.
Basndose en los contenidos y formas, cual es la tarea de la lgica?
La tarea de la lgica consiste segn esta doctrina, en fijar dichas formas en cualquier clase de
pensamiento, ya se trate de pensamientos simples, ya se trate de otros ms complejos y
desarrollados. En este sentido es una ciencia terica, especulativa, porque obtiene sus resultados
pro procesos de abstraccin y de anlisis.

CARACTERISTICAS:
Percibe los objetos y su funcin en el entorno.
1) Domina los conceptos de cantidad, tiempo y causa y efecto.

2) Utiliza smbolos abstractos para representar objetos y conceptos concretos.

3) Demuestra habilidad para encontrar soluciones lgicas a los problemas.

En los individuos especialmente dotados en esta forma de inteligencia, el proceso de
resolucin de problemas es a menudo es extraordinariamente rpido: el cientfico
competente maneja simultneamente muchas variables y crea numerosas hiptesis que
son evaluadas sucesivamente y posteriormente son aceptadas o rechazadas.

4) Crea nuevos modelos o percibe nuevas facetas en ciencia o matemticas.

5) Demuestra inters por carreras como ciencias econmicas, tecnologa informtica,

derecho, ingeniera y qumica.

Un enunciado: es un conjunto de smbolos por medio de los cuales expresamos lo pensado en un

juicio, ya sea en formal oral o escrita. Enunciados Abiertos o simples: son aquellos que tiene un
nico valor de verdad. Es el que no tiene otro enunciado como parte componente. Ejemplo: Las
rosas son rojas.

PROPOSICIONES SIMPLES

Una proposicin simple es una afirmacin conformada por una sola oracin gramatical. La proposicin r: Un tringulo
equiltero es aquel cuyos lados tienen la misma medida, es una proposicin simple, puesto que est conformada por una
sola oracin.

Ejemplos:

a) p: 5 + 7 = 12; Es una proposicin simple ya que est formada por una sola oracin

b) q: Colombia est ubicada en Suramrica y Canad est ubicada en Norteamrica; No es una proposicin simple ya que
est formada por dos oraciones gramaticales.
1) Carlos Fuentes es un escritor. (Simple)
2) El 2 o el 3 son divisores de 48. (Simple)
Clasificacion
Las proposiciones se pueden dividir en dos tipos bsicos:
1.- Proposicin simple.
En la proposicin simple, se da una afirmacin con el resultado implcito
a) El gorro azul.
2.- Proposicin compuesta.
En la proposicin compuesta se da la proposicin lleva las interjecciones o conexiones (y- o) y de
esta se pueden separar oraciones como:
a) El lpiz es rojo o amarillo.
b) Hctor es comerciante y Vctor es abogado.

proposicin abierta
Son aquellas en las que el(los) sujeto(s) es incgnito Se caracterizan por ser verdaderas para
algunos sujetos y falsa para otros.
 Ejemplo: Sea x un sujeto denido en un conjunto incgnito y considere las expresiones matemticas
denidas para x que pueden considerarse como proposiciones abiertas.
Ejemplos
a. x+2=4
b. x25x+6 = 0
c. x29 = (x3)(x+3)
d. x2= 9 y x1 = 0
De las proposiciones anteriores se puede armar que
a. x+2=4es verdadera para x= 2 y falsa para otros valores de x.
b. x25x+6=0es verdadera para x=2 o x=3, y falsa para otros valores de x.
c. x29=(x3)(x+3) es verdadera para todo valor de x.
d. x2=9 y x1 = 0 es falsa para todo valor de x.
PROPOSICIONES COMPUESTAS: tambien denominadas moleculares. Son aquellas que estn
formadas por dos o ms proposiciones simples unidas por los operadores lgicos.

Una proposicin compuesta es una frase que consta de uno o varios sujetos y de un predicado que
afirma algo en torno a dichos sujetos.Los sujetos de una proposicon simple deben ser todos terminos
singulares. El predicado debe contener un verbo que exprese la accion sobre
lossujetos.En matematicas se usan ciertos simbolos para representar predicados de uso frecuente
como: el simbolo _, como representante del predicado es igual a , y el simbolo < como sustituto
de es menor que.
Ejemplos:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jvenes o universitarios.
Si el mircoles prximo me saco la lotera entonces te regalare un auto.

Clculo proposicional.
Denominado tambin lgica proposicional: se dene como la ciencia que trata de los principios
vlidos del razonamiento y la argumentacin. El estudio de lgica es el esfuerzo por determinar las
condiciones que justican a una persona para pasar de una proposicin dada, llamadas premisas, a
una conclusin que se deriva de aquellas. Segn L.Garca, 1990, la Lgica proposicionalestudia
las operaciones proposicionales y la deduccin proposicional.
Ejemplos de clculo proposicional:
Una proposicin es toda sentencia a la que se le puede asignar un valor de verdad, es decir, que se
puede decir que es falsa o verdadera por ejemplo:
El pasto es verde Se puede decir que es verdadero o falso segn el color del pasto.
El agua esta fra Se puede decir que es verdadero si al tocarla est fra.

tablas de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de
una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a
sus componentes.
conjuncin
En razonamiento formal, una conjuncin lgica ( ) entre dos proposiciones es un conector
lgico cuyo valor de la verdadresulta en cierto slo si ambas proposiciones son ciertas, y en falso de
cualquier otra forma. Existen diferentes contextos donde se utiliza la conjuncin lgica.
Ejemplo
disyuncin lgica
En razonamiento formal, una disyuncin lgica ( ) (en especifico, una disyuncin inclusiva)
entre dos proposiciones es unconector lgico cuyo valor de la verdad resulta en falso slo si ambas
proposiciones son falsas, y en cierto de cualquier otra forma. Existen diferentes contextos dnde se
utiliza la disyuncin lgica.
En lenguajes formales, la palabra "" se utiliza en espaol para simbolizar una disyuncin lgica. Se
debe distinguir entre el "" inclusivo y el "" exclusivo, este artculo se refiere al "" inclusivo. La
nocin equivalente en la teora de conjuntos es la unin ( ). En lgebra Booleana, la disyuncin
como operador binario entre dos variables se representa con el smbolo de ms ( + ).
En electrnica, una puerta OR es una puerta lgica que implementa la disyuncin lgica.
Ejemplo

Ejemplos de disyuncin:
Sea p = Voy al cine, q = Voy a cenar, c = Gastar algo de dinero. p^q => c Si voy al cine o voy a
cenar entonces gastar algo de dinero; la conclusin de gastar algo de dinero es verdadera si la
persona va al cine aunque no vaya a cenar, pero tambin es verdadera si solamente va a cenar y no
va al cine. La nica forma en que la conclusin de gastar algo de dinero sea falsa, es que no vaya la
cine ni a cenar. Sea p = Camino bajo la lluvia, q= Me mojan con una manguera, c= Estar mojado.
p^q=>c
Sea p=El foco verde est encendido q = El foco rojo est encendido c = Hay corriente elctrica
p^q=>c Si el foco verde est encendido o el foco rojo est encendido entonces hay corriente
elctrica, por lo tanto la afirmacin es verdadera. Esta afirmacin es verdadera siempre que uno de
los dos focos o ambos estn encendidos, si los dos estn apagados entonces no hay corriente
elctrica.

La implicacin es la conectiva lgica ms difcil de comprender y de asociar con una construccin del
lenguaje natural. Se representa con el smbolo y la expresin
 implica
Si , entonces

La implicacin es una estructura en donde una proposicin es consecuencia lgica de otra. La forma
de representarla es P => Q, y se lee P implica lgicamente a Q o Q es una implicacin lgica de
P. Otra forma de leer esta estructura es Si P entonces Q. El significado es que la proposicin de la
izquierda es verdadera, entonces la proposicin de la derecha es verdadera. P recibe el nombre de
precedente y Q de consecuente y la tabla de verdad de la implicacin es la siguiente: P Q P => Q V
V V V F F F V V F F V

Ejemplo
a: x es un elemento del conjunto vacio b: x es un elemento del conjunto X y queremos demostrar que
a => b es verdadero para todo elemento x. Sabemos que el conjunto vaco no tiene elementos, por lo
que a es falsa, y x puede o no ser un elemento del conjunto X, es decir b puede o no ser una
proposicin verdadera.
En cualquier caso, tomando los renglones 3 y 4 de la tabla de verdad concluimos que la implicacin
es verdadera, por lo que el conjunto vaco es un subconjunto de cualqueir conjunto.
Otro ejemplo es el siguiente: Si Juan es Profesor entonces Mara es mujer. Esta condicional es
verdadera, ya que el consecuente Mara es mujer es verdadera, independientemente del valor del
antecedente.

Ejemplo reciproca inversa y contrarecproca

Implicacin contraria: ~p (~q)
Implicacin recproca: q p
Implicacin contra recproca: ~q (~p)

Ejemplo:
Dadas las proposiciones p: Es un animal mamfero
q: Tiene pelo entonces:
Implicacin directa: Si es mamfero entonces tiene pelo
Implicacin contraria: Si no es mamfero entonces no tiene pelo
Implicacin recproca: Si tiene pelo entonces es mamfero
Implicacin contra recproca: Si no tiene pelo entonces no es mamfero
TAUTOLOGA: Una proposicin compuesta es una tautologa si es verdadera para todas las
asignaciones de valores de verdad para sus proposiciones componentes. Dicho de otra forma,
su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la
forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el
caso:
CONTRADICCIN: Se entiende por proposicin contradictoria, o contradiccin, aquella
proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho
de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la
forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con
otras. Sea el caso:

CONTINGENCIA:Se entiende por verdad contingente, o verdad de hecho, aquella proposicin

que puede ser verdadera o falsa,(combinacin entre tautologa y contradiccin) segn los
valores de las proposiciones que la integran. Sea el caso:

Acerca de estos anuncios