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 e inferir
resultados matemticas que puedan ser aplicados en investigaciones; en ciencias de la
computacin para verificar si son o no correctos los programas; y en las ciencias sociales y
en la vida cotidiana, para resolver una multitud de problemas.
La lgica matemtica pretende hacer que todas las relaciones reales se vuelvan formales;
pretende reducirlas a una expresin matemtica que pueda ser calculada como en las
matemticas. Por esa razn es que se le llama tambin lgebra de la lgica.
Considera la lgica matemtica como punto de partida las relaciones de inclusin
(producto lgico) y de exclusin (suma lgica).
A partir de esas relaciones se puede establecer un sistema de simbolizacin como el del
lgebra en el cual pueda expresarse toda proposicin del lenguaje y de la ciencia.
Por ese medio pretenden analizar a un nivel metalgico (ms que lgico) todo tipo de
razonamiento desde la forma cuantitativa de ese mismo razonamiento.

lgebra de la lgica
Parte de la lgica matemtica basada en la aplicacin de los mtodos algebraicos al estudio
de los objetos lgicos: clases y proposiciones. Por una parte, la proposicin expresa un
sentido (juicio); por otra, designa una verdad (V) o una mentira (M). As, las proposiciones El
Volga desemboca en el mar Caspio y 2 x 2= 4 expresan un sentido diferente, pero ambas
designan una verdad (tienen el significado de V).
El lgebra de la lgica utiliza la notacin simblica (Simbolismo lgico). Adems de los
smbolos de las proposiciones, se emplean smbolos para las operaciones: conjuncin,
disyuncin, implicacin, negacin, con los cuales el lgebra de la lgica forma unas
expresiones partiendo de otras.
Una expresin ser compuesta si ha sido formada por otras mediante operaciones
algebraicas lgicas; en el caso contrario, ser simple. Dos expresiones se llaman

equivalentes si en cada combinacin posible de significados de las expresiones simples en

ellas contenidas presentan significados iguales. As A B es equivalente a A B, dado que
en las cuatro posibles combinaciones de significados de V y M para A y B: VV, VM, MV, MM, A
B presenta el mismo significado que A B.

PROPOSICIONES Y FUNCIONES.
En el caso de la lgica matemtica de proposiciones no analizadas, los elementos del
razonamiento lgico son de dos clases:
a) Variables de proposicin, que representan el contenido fctico del lenguaje.
b) Funciones de proposicin, que representan las operaciones lgico-matemticas que
pueden realizarse entre las variables de proposicin.

VALOR DE VERDAD.
Una proposicin simple puede ser verdadera o falsa, pero no verdadera y falsa a la vez.
Las proposiciones complejas que estn compuestas de dos o ms proposiciones simples,
pueden
tener
diversas
posibilidades
de
verdad.
Si es n el nmero de proposiciones simples que integran la proposicin compleja, el
nmero de posibilidades de verdad de la proposicin compleja vendr indicado por 2n.
Cada una de las proposiciones simples puede simbolizarse por una letra minscula de la p
en adelante, as: p, q, r, s, ..., p, q, ..., p, q.

TABLA DE VERDAD.
Si ordenamos las posibilidades de verdad de una proposicin, nos encontramos son su tabla
de verdad.
La tabla de verdad nos refleja grficamente las condiciones de verdad de una proposicin.
Aqu unos ejemplos:
p

Aplicaciones
Debido a su importancia la lgica se aplica a varias reas entre ellas la ingeniera, en la
electrnica para el diseo de circuitos mediante compuertas lgicas y en programacin para
el diseo de programas que requieren la unin de operadores lgicos.
Las compuertas lgicas son una aplicacin de la lgica llevada al diseo de circuitos.

Los operadores lgicos utilizados en programacin son los mismos de la lgica de

proposiciones. La lgica computacional es la misma lgica matemtica aplicada al contexto
de las ciencias de la computacin. Su uso es fundamental a varios niveles: en los circuitos
computacionales, en la programacin lgica y en el anlisis y optimizacin (de recursos
temporales
y
espaciales)
de
algoritmos.

Una de las aplicaciones ms comunes de la lgica proposicional es la que se usa en los

juegos, ya sean de azar o estrategia, su aplicacin en este campo ha sido estudiada durante
muchos aos, por muchos cientficos y matemticos que por medio de la lgica buscan
obtener los mejores resultados en los juegos.
Los jugadores plantean estrategias para ganar en estos juegos, pero estas estrategias solo
forman parte de lo que es la lgica proposicional.
Los acertijos que estn basados en la lgica proposicional retan a las personas a obtener la
respuesta correcta a partir de un conjunto de oraciones, las cuales pueden ser verdaderas o
falsas segn los condicionantes del propio acertijo.
Una de las aplicaciones de la lgica proposicional se da en los sistemas de inteligencia
artificial (IA).

UNIVERSIDAD NACIONAL AUTNOMA DE

MXICO

FACULTAD DE ESTUDIOS SUPERIORES CUAUTITLN

LICENCIATURA EN INFORMTICA
REA III CIENCIAS SOCIALES

MATEMTICAS II. LGICA MATEMTICA

PROFESOR: RIGOBERTO GARCA

ALUMNOS:
SNCHEZ FLORES KAREN GEAZUL
PONCE DE LEN CASTILLO JORGE ARTURO
ORTEGA HERNNDEZ EDITH MINERVA
HERNNDEZ SANTOS LUIS ALBERTO
DE LA BARRERA ALBERTO

SEGUNDO SEMESTRE:
(GRUPO: 2252 TURNO VESPERTINO)

VIERNES 05 DE FEBRERO DEL 2016