Lgica Matemtica

Concepto:
La Lgica Matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel
elemental, la Lgica proporciona reglas y tcnicas para determinar si es o no valido un
argumento dado. El razonamiento lgico se emplea en Matemticas para demostrar
teoremas, sin embargo, se usa en forma constante para realizar cualquier actividad en la
vida.
Es la disciplina que estudia mtodos de anlisis y razonamiento; utilizando el lenguaje de
las matemticas como un lenguaje analtico. La lgica matemtica nos ayuda a establecer
criterios de verdad, equivalencias lgicas tales como el silogismo, hacer demostraciones
de teoremas que participan en el anlisis de argumentos planteados.
Tipos de enunciados
Una proposicin o enunciado es una oracin que puede ser falsa o verdadera pero no
ambas a la vez. Toda proposicin consta de tres partes: un sujeto, un verbo y un
complemento referido al verbo.
La proposicin es un elemento fundamental de la Lgica Matemtica. A continuacin, se
tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica por qu
algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una
letra minscula, dos puntos y la proposicin propiamente dicha.
En general, las proposiciones pueden ser:
Simples si slo tienen un sujeto, un verbo y un complemento.
En caso contrario, son proposiciones Compuestas.
Cerradas si tienen determinado el sujeto.
Abiertas si no lo tienen determinado.
Afirmativas o Negativas. Segn lo afirmen o nieguen.
Verdaderas o Falsas segn correspondan o no a la realidad
h: "Ana come pizza y bebe refresco", es una proposicin compuesta, cerrada y afirmativa.
j: "Ella no nada muy rpido", es una proposicin simple, abierta y negativa.
k: Cuernavaca no est al norte del D.F. y no hace fro", es una proposicin compuesta,
cerrada, negativa y verdadera.
l: 7 + 3 =10 es una proposicin simple, cerrada, afirmativa y verdadera.
m: 2 x 2 es una proposicin simple, abierta y negativa.
n: a + b = 6 es una proposicin compuesta, abierta y afirmativa.
Proposiciones simples y Compuestas
Proposiciones simples: Se denominan proposiciones simples aquellas oraciones que no
utilizan conectivos lgicos.
Estos son algunos ejemplos:
p: El eclipse es un fenmeno natural.
q: La luna es un satlite de la tierra.
r: 2 es el inverso multiplicativo de 2.
s: -3 es el inverso aditivo de 3.
El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F), pero
no los dos valores al mismo tiempo, pues dejara de ser proposicin.
Proposiciones Compuestas:
Las proposiciones compuestas son aquellas que se obtienen combinando dos o ms
proposiciones simples mediante trminos de enlace.
Estos son algunos ejemplos de proposiciones compuestas:
p: Est lloviendo.
q: El sol brilla.
p q: Est lloviendo y el sol brilla

s: Llueve.
r: Hace fro.
s r: Si llueve entonces hace fro

p: Un tringulo es equiltero.
q: Un tringulo tiene sus tres lados iguales.
p q: Un tringulo es equiltero si y slo si tiene sus tres lados iguales.

Conectores Lgicos
los smbolos que sirven para enlazar dos o ms proposiciones simples, se llaman
conectivos lgicos, estos son: la conjuncin, la disyuncin, la negacin, el condicional y
el bicondicional.
Conjuncin (operador and)
Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener
un resultado verdadero. Se le conoce como multiplicacin lgica y su smbolo es (and).
Ejemplo.
Sea el siguiente enunciado: "Voy al cine cuando hay una buena pelcula y cuando tengo
dinero " Sean:
p: Voy al cine. q: Hay una buena pelcula. r: Tengo dinero.
De tal manera que la representacin del enunciado anterior usando simbologa lgica es
como sigue: p = qr, Su tabla de verdad es como sigue:
Donde. 1 = verdadero 0 = falso
En la tabla anterior el valor de q=1 significa que hay una buena pelcula, r=1 significa
que tengo dinero y p=qr=1 significa que voy ir al cine. Se puede notar que con cualquiera
de las dos proposiciones que valga cero implica que no asisto al cine.
Disyuncin (operador or)
Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones
es verdadera. Se conoce como suma lgica y su smbolo es (or).

Ejemplo.
Sea el siguiente enunciado: Para ir a Toluca puedo tomar la carretera federal o tomar la
autopista de cuota
Sean: p: Ir a Toluca. q: Tomar la carretera federal. r: Tomar la autopista de cuota.
En la tabla anterior el valor de q=1 significa tomar la carretera federal, r=1 significa tomar
la autopista de cuota y p=qr=1 significa ir a Toluca. Se puede notar que con cualquiera
de las dos proposiciones que valga uno implica que llego a Toluca.

Negacin (operador not)

Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera
y se le aplica el operador not se obtendr su negacin (falso) y viceversa. Este operador
se indica por medio del smbol .

Ejemplo.
Sea el siguiente enunciado: El len es el rey de la selva Sean:
p: El len es el rey de la selva. p: El len no es el rey de la selva.
En la tabla anterior el valor de p=1 significa que el len es el rey de la selva, y p=0
significa que el len no lo es
Proposiciones condicionales
Una implicacin o proposicin condicional, es aquella que est formada por dos
proposiciones simples (o compuesta) p y q. Se indica de la siguiente manera:
pq (se lee "si p entonces q")

Ejemplo.
Un profesionista dice "Si ahorro me podr comprar una casa en tres aos ". Una
declaracin como esta se conoce como condicional.
Sean:
p: Ahorro. q: Podr comprar una casa en tres aos.
De tal manera que el enunciado se puede expresar como: pq
Proposicin bicondicional
Sean p y q dos proposiciones. Una doble implicacin o proposicin es bicondicional
cuando p es verdadera si y solo si q es tambin verdadera. O bien p es falsa si y slo si q
tambin lo es. Se indica de la siguiente manera:
pq (se lee "p si y slo si q")

Ejemplo.
Sea el siguiente enunciado: "Una persona puede votar, si y slo si, tiene credencial de
elector"
Donde: p: Una persona puede votar. q: Tiene credencial de elector.
Tablas de verdad
Definicin
Una tabla de verdad es una representacin esquemtica de las relaciones entre
proposiciones; sirve para determinar los valores de verdad de proposiciones compuestas,
las cuales dependen de los conectivos utilizados y de los valores de verdad de sus
proposiciones simples.
Ejemplo.
Dada la siguiente proposicin: [(pq)(qr)](rq). elaborar su tabla de verdad.
Solucin.

Bibliografia:
http://logicmathematical.blogspot.com/p/objetivos.html
http://132.248.164.227/publicaciones/docs/apuntes_matematicas/36.%20Logica%20Ma
tematica.pdf
https://edumatematicas.files.wordpress.com/2012/05/modulo-logica-matematicas-
unad.pdf
http://www.sidem.edu.pe/Biblioteca/Biblioteca_Computacion/I%20COMPUTACION/
MATERIALES/MATEMATICA%20%20I.pdf